|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.ocleditor.* |
org.ocleditor.internal.core.IResourceIDs | ||
public static final java.lang.String |
BUILDER_ID |
"org.ocleditor.oclbuilder" |
public static final java.lang.String |
MARKER_ID |
"org.ocleditor.oclmarker" |
public static final java.lang.String |
NATURE_ID |
"org.ocleditor.oclnature" |
public static final java.lang.String |
PARSE_LISTENER_ID |
"org.ocleditor.parselisteners" |
public static final java.lang.String |
PARSER_ID |
"org.ocleditor.oclparser" |
public static final boolean |
TRACE_ENABLED |
true |
org.ocleditor.internal.ui.editor.OclPartitionScanner | ||
public static final java.lang.String |
OCL_COMMENT |
"__ocl_comment" |
public static final java.lang.String |
OCL_DEFAULT |
"__ocl_default" |
org.ocleditor.parser.IOclParseRunListener | ||
public static final int |
SYNTAXCHECK |
1 |
public static final int |
TYPECHECK |
2 |
org.ocleditor.serviceability.PluginTrace | ||
public static final int |
BUILDER |
1 |
public static final int |
PARSER |
2 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |