|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.objectweb.* |
---|
org.objectweb.dsrg.sofa.cushion.ActionInterface | ||
---|---|---|
public static final int |
ACTION_ERROR |
-1 |
public static final int |
BAD_PARAMETERS |
-2 |
public static final int |
NOT_ENOUGH_PARAMETERS |
-4 |
public static final int |
SUCCESS |
0 |
public static final int |
TOO_MANY_PARAMETERS |
-3 |
org.objectweb.dsrg.sofa.cushion.CommandLineParser | ||
---|---|---|
public static final java.lang.String |
DESC_OPT_VERSIONTAG_SPEC |
"[--|<tag>|-v <version>]" |
public static final java.lang.String |
DESC_STRICT_TAG_SPEC |
"<tag>" |
public static final java.lang.String |
DESC_STRICT_VERSION_SPEC |
"-v <version>" |
public static final java.lang.String |
EXAMPLE_TAG |
"stable.1.3.16" |
public static final java.lang.String |
EXAMPLE_VERSION |
"-v 62cdb7020ff920e5aa642c3d4066950dd1f01f4d" |
org.objectweb.dsrg.sofa.cushion.jpfcheck.EnvironmentInfo | ||
---|---|---|
public static final java.lang.String |
DEFAULT_DESTDIR |
"_env" |
public static final java.lang.String |
DEFAULT_VALUESETSCLASS |
"org.ow2.dsrg.fm.envgen.EmptyValueSet" |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |