org.objectweb.dsrg.sofa.cushion.jpfcheck
Class EnvironmentInfo

java.lang.Object
  extended by org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo

public class EnvironmentInfo
extends java.lang.Object

Container class for information related to component environments.


Field Summary
static java.lang.String DEFAULT_DESTDIR
           
static java.lang.String DEFAULT_VALUESETSCLASS
           
 java.lang.String destDir
           
 java.util.Map environmentProtocols
           
 java.lang.String valueSetsClass
           
 
Constructor Summary
EnvironmentInfo()
           
 
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
 

Field Detail

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
Constructor Detail

EnvironmentInfo

public EnvironmentInfo()
Method Detail

load

protected static EnvironmentInfo load(java.lang.String propFileName,
                                      java.io.PrintStream out)
Load information related to component environments from a property file.