public class ClausesCheck extends java.lang.Object implements SemanticCheck
exceptions and can be
retrieved by getCheckExceptions().| Constructor and Description |
|---|
ClausesCheck() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<CheckException> |
getCheckExceptions() |
void |
runChecks(Start rootNode)
The following requirements for the machine clauses are checked:
In MACHINEs, REFINEMENTs and IMPLEMENATATIONs different clauses are
not allowed.
If one of the CONCRETE_CONSTANTS, CONSTANTS or ABSTRACT_CONSTANTS
clauses is present, then the PROPERTIES clause must be present.
If one of the CONCRETE_VARIABLES, VARIABLES or ABSTRACT_VARIABLES
clauses is present, then the INVARIANT and INITIALISATION clauses must be
present.
|
void |
setOptions(ParseOptions options) |
public void runChecks(Start rootNode)
runChecks in interface SemanticCheckpublic void setOptions(ParseOptions options)
setOptions in interface SemanticCheckpublic java.util.List<CheckException> getCheckExceptions()
getCheckExceptions in interface SemanticCheck