|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |