| Package | Description |
|---|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| 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.
|
Copyright © 2006-2013. All Rights Reserved.