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

Packages that use EnvironmentInfo
org.objectweb.dsrg.sofa.cushion.jpfcheck   
 

Uses of EnvironmentInfo in org.objectweb.dsrg.sofa.cushion.jpfcheck
 

Methods in org.objectweb.dsrg.sofa.cushion.jpfcheck that return EnvironmentInfo
protected static EnvironmentInfo EnvironmentInfo.load(java.lang.String propFileName, java.io.PrintStream out)
          Load information related to component environments from a property file.