Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CHECK_TYPE |
"check_type" |
public static final java.lang.String |
PROPERTY |
"property" |
public static final java.lang.String |
SELECTED_COMPONENTS |
"selected_components" |
public static final java.lang.String |
SELECTED_PROPERTIES |
"selected_properties" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FEI_EXT |
".fei" |
public static final java.lang.String |
FILES_FOLD |
"Files" |
public static final java.lang.String |
OCRA_FOLD |
"NuSMV3-OCRA" |
public static final java.lang.String |
OSS_EXT |
".oss" |
public static final java.lang.String |
RES_FOLD |
"Results" |
public static final java.lang.String |
SMV_EXT |
".smv" |
public static final java.lang.String |
TEMP_FOLD |
"Temp" |
public static final java.lang.String |
UML_EXT |
".uml" |
public static final java.lang.String |
XSAP_FOLD |
"NuSMV3-XSAP" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PLUGIN_ID |
"org.polarsys.chess.service" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DOMAIN |
"org.polarsys.chess.service.commands.domain" |
public static final java.lang.String |
SWITCH |
"org.polarsys.chess.service.commands.switchState" |