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 SemanticCheck
public void setOptions(ParseOptions options)
setOptions
in interface SemanticCheck
public java.util.List<CheckException> getCheckExceptions()
getCheckExceptions
in interface SemanticCheck