Interface Summary |
IArithmeticExpression |
An arithmetic expression takes two arguments and applies an operator to them. |
IBinaryOperatorStatement |
A binary operator statement is either an and, or, iff or implies statement. |
IBinaryPredicate |
A binary predicate compares two expressions for the purpose of returning a
Boolean result. |
IBooleanLiteral |
"true" or "false". |
ICardinalityConstraint |
A cardinality constraint: one, one or more, and so on. |
ICastExpression |
An expression that converts a type to a sub-type. |
ICollectionIndex |
A statement to return an item at a specific index in a collection. |
ICompoundReport |
A list of reporting statements that should be processed in sequence, possibly
by concatenation. |
IConcatenatedReport |
A concatenation of expressions that should result in a report string. |
IConditionalReport |
An if-then-else reporting statement. |
IConstraint |
A constraint occurs in a rule or fragment declaration, or recursively
elsewhere. |
IConstraintRuleDeclaration |
Declaration of a constraint type rule. |
IDecimalNumber |
A decimal (floating point) number that occurred as a literal in an
expression. |
IExistsStatement |
One of the "exists" statements. |
IExpression |
An expression is a mathematical formula, a call-out, a fragment application
or simply a basic type like a string or model element. |
IForallStatement |
A constraint that expresses that a sub-constraint holds for every member of a
collection identified by a model reference. |
IFunctionalExpression |
An expression that uses a function to compute a result. |
IGlobalExistsStatement |
A "global" exists statement. |
IIdentifier |
An identifier can occur in an expression, and is a model reference, literal
string or a number. |
IIfThenStatement |
An if-then statement contains a boolean if clause, a then clause and an
optional else clause. |
IIntegerNumber |
An integer number that occurred as a literal in an expression. |
IIsInPredicate |
"is in" returns true if a value is in a
comma-separated list of identifiers. |
IIsNotInPredicate |
"is not in" returns true if a value is NOT in a
comma-separated list of identifiers. |
IIsSubtypePredicate |
Checks if a model reference refers to a sub-type of a specified type. |
ILiteralString |
A literal, quoted string. |
IMultipleExistsStatement |
An assertion that multiple model elements are present. |
IMultipleNotExistsStatement |
An assertion that multiple model elements are not present. |
INotExistsStatement |
A constraint that expresses that an attribute does not exist, or a collection
is empty. |
INRLConstraintDetailVisitor |
A more complete visitor class with callbacks for each type of node that can
be found in the AST for constraint files. |
IOperatorInvocation |
An operator invocation is an expression that makes use of an external
undefined operator - mostly a scripted a programmed extension. |
IPredicate |
A predicate is an abstract constraint that returns true by comparing
expressions and values. |
ISelectionExpression |
A selection expression: "the element where constraint". |
ISimpleReport |
A "simple report" is a report that can occur in a compound report, but cannot
contain further compound reports. |
IValidationFragmentApplication |
A fragment application is used inside a rule to obtain the value of a
fragment. |
IValidationFragmentDeclaration |
Declaration of a validation fragment, a sub-constraint that is attached to a model
element. |
IVariableDeclaration |
A variable declaration statement. |