| 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.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
IModelReference
A reference to a model element, consisting of several steps along element and attribute names.
|
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
IRuleSetDeclaration.getPreconditionConstraint()
Return the precondition constraint, if there is one.
|
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
IConditionalAction.getIf()
Returns the condition.
|
IConstraint |
IRemoveAction.getWhere()
Return a where clause if there is one.
|
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
ConditionalActionImpl.getIf() |
IConstraint |
RemoveActionImpl.getWhere() |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IArithmeticExpression
An arithmetic expression takes two arguments and applies an operator to them.
|
interface |
IBinaryOperatorStatement
A binary operator statement is either an and, or, iff or implies statement.
|
interface |
IBinaryPredicate
A binary predicate compares two expressions for the purpose of returning a
Boolean result.
|
interface |
IBooleanLiteral
"true" or "false".
|
interface |
ICastExpression
An expression that converts a type to a sub-type.
|
interface |
ICollectionIndex
A statement to return an item at a specific index in a collection.
|
interface |
IDecimalNumber
A decimal (floating point) number that occurred as a literal in an expression.
|
interface |
IExistsStatement
One of the "exists" statements.
|
interface |
IExpression
An expression is a mathematical formula, a call-out, a fragment application
or simply a basic type like a string or model element.
|
interface |
IForallStatement
A constraint that expresses that a sub-constraint holds for every member of a
collection identified by a model reference.
|
interface |
IFunctionalExpression
An expression that uses a function to compute a result.
|
interface |
IGlobalExistsStatement
A "global" exists statement.
|
interface |
IIdentifier
An identifier can occur in an expression, and is a model reference, literal
string or a number.
|
interface |
IIfThenStatement
An if-then statement contains a boolean if clause, a then clause and an
optional else clause.
|
interface |
IIntegerNumber
An integer number that occurred as a literal in an expression.
|
interface |
IIsInPredicate
"is in" returns true if a value is in a
comma-separated list of identifiers.
|
interface |
IIsNotInPredicate
"is not in" returns true if a value is NOT in a
comma-separated list of identifiers.
|
interface |
IIsSubtypePredicate
Checks if a model reference refers to a sub-type of a specified type.
|
interface |
ILiteralString
A literal, quoted string.
|
interface |
IMultipleExistsStatement
An assertion that multiple model elements are present.
|
interface |
IMultipleNotExistsStatement
An assertion that multiple model elements are not present.
|
interface |
INotExistsStatement
A constraint that expresses that an attribute does not exist, or a collection
is empty.
|
interface |
IOperatorInvocation
An operator invocation is an expression that makes use of an external
undefined operator - mostly a scripted a programmed extension.
|
interface |
IPredicate
A predicate is an abstract constraint that returns true by comparing
expressions and values.
|
interface |
ISelectionExpression
A selection expression: "the element where constraint".
|
interface |
IValidationFragmentApplication
A fragment application is used inside a rule to obtain the value of a
fragment.
|
interface |
IVariableDeclaration
A variable declaration statement.
|
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
IConditionalReport.getCondition()
Return the "if" condition.
|
IConstraint |
IValidationFragmentDeclaration.getConstraint()
Get the fragment constraint.
|
IConstraint |
ISelectionExpression.getConstraint()
Get the constraint that must hold for an element to be selected.
|
IConstraint |
IGlobalExistsStatement.getConstraint()
Return the constraint to check relative to the object being iterated
over.
|
IConstraint |
IForallStatement.getConstraint()
Return the constraint being checked for all elements in the collection.
|
IConstraint |
IExistsStatement.getConstraint()
Return the constraint to check relative to each collection member being
iterated over.
|
IConstraint |
IConstraintRuleDeclaration.getConstraint()
Get the rule constraint.
|
IConstraint |
IIfThenStatement.getElse()
Return the else clause.
|
IConstraint |
IIfThenStatement.getIf()
Return the if clause.
|
IConstraint |
IBinaryOperatorStatement.getLeft()
Return the left parameter.
|
IConstraint |
IBinaryOperatorStatement.getRight()
Return the right parameter.
|
IConstraint |
IIfThenStatement.getThen()
Return the then clause.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ArithmeticExpressionImpl |
class |
BinaryOperatorStatementImpl |
class |
BinaryPredicateImpl |
class |
BooleanLiteralImpl |
class |
CastExpressionImpl |
class |
CollectionIndexImpl |
class |
ConstraintImpl |
class |
DecimalNumberImpl |
class |
ExistsStatementImpl |
class |
ForallStatementImpl |
class |
FunctionalExpressionImpl |
class |
GlobalExistsStatementImpl |
class |
IfThenStatementImpl |
class |
IntegerNumberImpl |
class |
IsInPredicateImpl |
class |
IsNotInPredicateImpl |
class |
IsSubtypePredicateImpl |
class |
LiteralStringImpl |
class |
ModelReferenceImpl
Implementation of a model reference.
|
class |
MultipleExistsStatementImpl |
class |
MultipleNotExistsStatementImpl |
class |
NotExistsStatementImpl |
class |
OperatorInvocationImpl |
class |
SelectionExpressionImpl |
class |
ValidationFragmentApplicationImpl |
class |
VariableDeclarationImpl |
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
ConditionalReportImpl.getCondition() |
IConstraint |
ValidationFragmentDeclarationImpl.getConstraint() |
IConstraint |
SelectionExpressionImpl.getConstraint() |
IConstraint |
GlobalExistsStatementImpl.getConstraint() |
IConstraint |
ForallStatementImpl.getConstraint() |
IConstraint |
ExistsStatementImpl.getConstraint() |
IConstraint |
ConstraintRuleDeclarationImpl.getConstraint() |
IConstraint |
IfThenStatementImpl.getElse() |
IConstraint |
IfThenStatementImpl.getIf() |
IConstraint |
BinaryOperatorStatementImpl.getLeft() |
IConstraint |
BinaryOperatorStatementImpl.getRight() |
IConstraint |
IfThenStatementImpl.getThen() |
| Modifier and Type | Method and Description |
|---|---|
IConstraint |
RuleSetDeclarationImpl.getPreconditionConstraint() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AntlrModelResolver.eliminateExistenceWithBackreference(IConstraint constraint,
IModelElement context) |
Copyright © 2006-2013. All Rights Reserved.