|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use net.sourceforge.nrl.parser.ast.constraints | |
---|---|
net.sourceforge.nrl.parser.ast | The fully resolved abstract syntax tree (AST) representation of the constraint language. |
net.sourceforge.nrl.parser.ast.action | The fully resolved extended abstract syntax tree (AST) representation for the action language. |
net.sourceforge.nrl.parser.ast.action.impl | |
net.sourceforge.nrl.parser.ast.constraints | |
net.sourceforge.nrl.parser.ast.constraints.impl | |
net.sourceforge.nrl.parser.ast.impl | The ANTLR v3 implementation of the AST, including a JFlex lexer and ANTLR v3 parser. |
net.sourceforge.nrl.parser.type | Abstract type assignment and type checking for the completed AST. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast | |
---|---|
IConstraint
A constraint occurs in a rule or fragment declaration, or recursively elsewhere. |
|
IExpression
An expression is a mathematical formula, a call-out, a fragment application or simply a basic type like a string or model element. |
|
IIdentifier
An identifier can occur in an expression, and is a model reference, literal string or a number. |
|
INRLConstraintDetailVisitor
A more complete visitor class with callbacks for each type of node that can be found in the AST for constraint files. |
|
IVariableDeclaration
A variable declaration statement. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast.action | |
---|---|
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. |
|
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. |
|
ISelectionExpression
A selection expression: "the element where constraint". |
|
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. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast.action.impl | |
---|---|
IConstraint
A constraint occurs in a rule or fragment declaration, or recursively elsewhere. |
|
IExpression
An expression is a mathematical formula, a call-out, a fragment application or simply a basic type like a string or model element. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast.constraints | |
---|---|
IArithmeticExpression
An arithmetic expression takes two arguments and applies an operator to them. |
|
IArithmeticExpression.Operator
The available arithmetic operators. |
|
IBinaryOperatorStatement
A binary operator statement is either an and, or, iff or implies statement. |
|
IBinaryOperatorStatement.Operator
Available operators. |
|
IBinaryPredicate
A binary predicate compares two expressions for the purpose of returning a Boolean result. |
|
IBinaryPredicate.Predicate
Available predicates |
|
IBooleanLiteral
"true" or "false". |
|
ICardinalityConstraint
A cardinality constraint: one, one or more, and so on. |
|
ICardinalityConstraint.QualifierEnum
|
|
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. |
|
IFunctionalExpression.Function
Available functions |
|
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. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast.constraints.impl | |
---|---|
IArithmeticExpression
An arithmetic expression takes two arguments and applies an operator to them. |
|
IArithmeticExpression.Operator
The available arithmetic operators. |
|
IBinaryOperatorStatement
A binary operator statement is either an and, or, iff or implies statement. |
|
IBinaryOperatorStatement.Operator
Available operators. |
|
IBinaryPredicate
A binary predicate compares two expressions for the purpose of returning a Boolean result. |
|
IBinaryPredicate.Predicate
Available predicates |
|
IBooleanLiteral
"true" or "false". |
|
ICardinalityConstraint
A cardinality constraint: one, one or more, and so on. |
|
ICardinalityConstraint.QualifierEnum
|
|
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. |
|
IFunctionalExpression.Function
Available functions |
|
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. |
|
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. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.ast.impl | |
---|---|
IConstraint
A constraint occurs in a rule or fragment declaration, or recursively elsewhere. |
|
IValidationFragmentDeclaration
Declaration of a validation fragment, a sub-constraint that is attached to a model element. |
|
IVariableDeclaration
A variable declaration statement. |
Classes in net.sourceforge.nrl.parser.ast.constraints used by net.sourceforge.nrl.parser.type | |
---|---|
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. |
|
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. |
|
ISelectionExpression
A selection expression: "the element where constraint". |
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |