org.objectweb.dolphin.resources
Class DolphinResourcesManagment
java.lang.Object
org.objectweb.dolphin.resources.DolphinResourcesManagment
- public class DolphinResourcesManagment
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DolphinResourcesManagment
public DolphinResourcesManagment()
createConfiguration
public static void createConfiguration()
createProperties
public static void createProperties(java.lang.String url,
java.lang.String name,
java.lang.String params)
getConfigurationPath
public static java.lang.String getConfigurationPath()
getWorkspace
public static java.lang.String getWorkspace()
setWorkspace
public static void setWorkspace(java.lang.String path)
exist
public static boolean exist(java.io.File file)
copyFile
public static boolean copyFile(java.io.File src,
java.io.File dest)
showMessage
public static void showMessage(java.lang.String message)
getProperty
public static java.lang.String getProperty(java.lang.String name,
java.lang.String key)
setExternalProperty
public static boolean setExternalProperty(java.lang.String url,
java.lang.String key,
java.lang.String value)
getExternalProperty
public static java.lang.String getExternalProperty(java.lang.String url,
java.lang.String key)