Package net.sourceforge.nrl.parser.ast.constraints

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.
 

Class Summary
INRLConstraintDetailVisitor.Stub Extend from this if you don't want to implement the full interface.
 

Enum Summary
IArithmeticExpression.Operator The available arithmetic operators.
IBinaryOperatorStatement.Operator Available operators.
IBinaryPredicate.Predicate Available predicates
ICardinalityConstraint.QualifierEnum  
IFunctionalExpression.Function Available functions
 



Copyright © 2006-2010 Christian Nentwich and others