org.objectweb.dsrg.sofa.cushion.jpfcheck
Class EnvironmentInfo
java.lang.Object
org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo
public class EnvironmentInfo
- extends java.lang.Object
Container class for information related to component environments.
Method Summary |
protected static EnvironmentInfo |
load(java.lang.String propFileName,
java.io.PrintStream out)
Load information related to component environments from a property file. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
environmentProtocols
public java.util.Map environmentProtocols
valueSetsClass
public java.lang.String valueSetsClass
destDir
public java.lang.String destDir
DEFAULT_DESTDIR
public static final java.lang.String DEFAULT_DESTDIR
- See Also:
- Constant Field Values
DEFAULT_VALUESETSCLASS
public static final java.lang.String DEFAULT_VALUESETSCLASS
- See Also:
- Constant Field Values
EnvironmentInfo
public EnvironmentInfo()
load
protected static EnvironmentInfo load(java.lang.String propFileName,
java.io.PrintStream out)
- Load information related to component environments from a property file.