org.jmlspecs.jml4.compiler
Interface JmlConstants
- All Known Implementing Classes:
- JmlAssignableClause, JmlClause, JmlConstraintClause, JmlDivergesClause, JmlEnsuresClause, JmlInDataGroupClause, JmlInitiallyClause, JmlInvariantForType, JmlLoopInvariant, JmlLoopVariant, JmlMapsIntoClause, JmlRepresentsClause, JmlRequiresClause, JmlSignalsClause, JmlSignalsOnlyClause, JmlTypeBodyDeclaration
public interface JmlConstants
JML_LEVEL_NO_JML
static final long JML_LEVEL_NO_JML
- See Also:
- Constant Field Values
JML_LEVEL_NNTS
static final long JML_LEVEL_NNTS
- See Also:
- Constant Field Values
JML_LEVEL_DBC
static final long JML_LEVEL_DBC
- See Also:
- Constant Field Values
SLASH
static final char SLASH
- See Also:
- Constant Field Values
SQUOTE
static final char SQUOTE
- See Also:
- Constant Field Values
JML_ANON
static final char[] JML_ANON
EMPTY_STRING
static final java.lang.String EMPTY_STRING
- See Also:
- Constant Field Values
COMMA
static final java.lang.String COMMA
- See Also:
- Constant Field Values
SPACE
static final java.lang.String SPACE
- See Also:
- Constant Field Values
SEMICOLON
static final java.lang.String SEMICOLON
- See Also:
- Constant Field Values
THIS
static final java.lang.String THIS
- See Also:
- Constant Field Values
SUPER
static final java.lang.String SUPER
- See Also:
- Constant Field Values
PARSE
static final int PARSE
- See Also:
- Constant Field Values
RESOLVE
static final int RESOLVE
- See Also:
- Constant Field Values
CODE_ANALYSIS
static final int CODE_ANALYSIS
- See Also:
- Constant Field Values
CODE_GENERATION
static final int CODE_GENERATION
- See Also:
- Constant Field Values
ALL_PROCESSING_STAGES
static final int ALL_PROCESSING_STAGES
- See Also:
- Constant Field Values
LAST_PROCESSING_STAGE
static final int LAST_PROCESSING_STAGE
- See Also:
- Constant Field Values
ENABLE_SPEC_MERGE
static final boolean ENABLE_SPEC_MERGE
- See Also:
- Constant Field Values