| Package | Description |
|---|---|
| org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
| org.eclipse.ocl.expressions |
Specification of the Expressions package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
| org.eclipse.ocl.expressions.impl |
Implementation of the Expressions package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
| org.eclipse.ocl.expressions.operations | |
| org.eclipse.ocl.expressions.util |
Generated utilities for working with instances the Expressions model.
|
| org.eclipse.ocl.helper |
Definition of the OCL Helper API for syntax completion support and a simplified
parsing model for embedded OCL constraints and expressions.
|
| org.eclipse.ocl.internal | |
| org.eclipse.ocl.internal.evaluation | |
| org.eclipse.ocl.internal.helper | |
| org.eclipse.ocl.parser | |
| org.eclipse.ocl.utilities |
Abstract API for OCL AST utilities and extensions of the UML metamodel.
|
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
Query.getExpression()
Obtains the expression that I evaluate (or check as a boolean constraint).
|
protected OCLExpression<C> |
AbstractEvaluationVisitor.getOperationBody(O operation)
Obtains the body of the specified operation's def or body expression,
if any.
|
protected OCLExpression<C> |
AbstractEvaluationVisitor.getPropertyBody(P property)
Obtains the body of the specified property's def or der expression,
if any.
|
| Modifier and Type | Method and Description |
|---|---|
protected Object |
AbstractEvaluationVisitor.call(O operation,
OCLExpression<C> body,
Object target,
Object[] args)
Invokes the specified additional operation on a target object.
|
boolean |
OCL.check(Object context,
OCLExpression<C> constraint)
Checks whether a constraint, specified simply as an OCL expression, is
satisfied by an object.
|
Query<C,CLS,E> |
OCL.createQuery(OCLExpression<C> query)
Creates a new
Query encapsulating a query expression with the
current environment and extent map. |
Object |
OCL.evaluate(Object context,
OCLExpression<C> expression)
Evaluates a query expression on a context object (which is bound to the
self variable).
|
<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
Environment.Registry.getEnvironmentFor(OCLExpression<C> expression)
Obtains a suitable environment for introspection of the specified
expression.
|
boolean |
Environment.isInPostcondition(OCLExpression<C> exp)
Checks whether the specified OCL expression is in an operation
postcondition constraint.
|
protected Object |
AbstractEvaluationVisitor.navigate(P property,
OCLExpression<C> derivation,
Object target)
Obtains an object's value of the specified additional property.
|
protected Object |
AbstractEvaluationVisitor.safeVisitExpression(OCLExpression<C> exp)
Evaluates
exp. |
void |
OCL.validate(OCLExpression<C> expression)
Validates an OCL expression, which may have been loaded from some
resource or constructed via the API (perhaps by translation from some
other language).
|
Object |
AbstractEvaluationVisitor.visitExpression(OCLExpression<C> expression)
This default implementation simply asks the expression to
accept
me.
|
Object |
EvaluationVisitor.visitExpression(OCLExpression<C> expression)
Evaluates the specified expression on the current "self" context
object.
|
Object |
EvaluationVisitorDecorator.visitExpression(OCLExpression<C> expression)
Delegates to my decorated visitor.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
AssociationClassCallExp<C,P>
A representation of the model object 'Association Class Call Exp'.
|
interface |
BooleanLiteralExp<C>
A representation of the model object 'Boolean Literal Exp'.
|
interface |
CallExp<C>
A representation of the model object 'Call Exp'.
|
interface |
CollectionLiteralExp<C>
A representation of the model object 'Collection Literal Exp'.
|
interface |
EnumLiteralExp<C,EL>
A representation of the model object 'Enum Literal Exp'.
|
interface |
FeatureCallExp<C>
A representation of the model object 'Feature Call Exp'.
|
interface |
IfExp<C>
A representation of the model object 'If Exp'.
|
interface |
IntegerLiteralExp<C>
A representation of the model object 'Integer Literal Exp'.
|
interface |
InvalidLiteralExp<C>
A representation of the model object 'Invalid Literal Exp'.
|
interface |
IterateExp<C,PM>
A representation of the model object 'Iterate Exp'.
|
interface |
IteratorExp<C,PM>
A representation of the model object 'Iterator Exp'.
|
interface |
LetExp<C,PM>
A representation of the model object 'Let Exp'.
|
interface |
LiteralExp<C>
A representation of the model object 'Literal Exp'.
|
interface |
LoopExp<C,PM>
A representation of the model object 'Loop Exp'.
|
interface |
MessageExp<C,COA,SSA>
A representation of the model object 'Message Exp'.
|
interface |
NavigationCallExp<C,P>
A representation of the model object 'Navigation Call Exp'.
|
interface |
NullLiteralExp<C>
A representation of the model object 'Null Literal Exp'.
|
interface |
NumericLiteralExp<C>
A representation of the model object 'Numeric Literal Exp'.
|
interface |
OperationCallExp<C,O>
A representation of the model object 'Operation Call Exp'.
|
interface |
PrimitiveLiteralExp<C>
A representation of the model object 'Primitive Literal Exp'.
|
interface |
PropertyCallExp<C,P>
A representation of the model object 'Property Call Exp'.
|
interface |
RealLiteralExp<C>
A representation of the model object 'Real Literal Exp'.
|
interface |
StateExp<C,S>
A representation of the model object 'State Exp'.
|
interface |
StringLiteralExp<C>
A representation of the model object 'String Literal Exp'.
|
interface |
TupleLiteralExp<C,P>
A representation of the model object 'Tuple Literal Exp'.
|
interface |
TypeExp<C>
A representation of the model object 'Type Exp'.
|
interface |
UnlimitedNaturalLiteralExp<C>
A representation of the model object 'Unlimited Natural Literal Exp'.
|
interface |
UnspecifiedValueExp<C>
A representation of the model object 'Unspecified Value Exp'.
|
interface |
VariableExp<C,PM>
A representation of the model object 'Variable Exp'.
|
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
LoopExp.getBody()
Returns the value of the 'Body' containment reference.
|
OCLExpression<C> |
IfExp.getCondition()
Returns the value of the 'Condition' containment reference.
|
OCLExpression<C> |
IfExp.getElseExpression()
Returns the value of the 'Else Expression' containment reference.
|
OCLExpression<C> |
CollectionRange.getFirst()
Returns the value of the 'First' containment reference.
|
OCLExpression<C> |
LetExp.getIn()
Returns the value of the 'In' containment reference.
|
OCLExpression<C> |
Variable.getInitExpression()
Returns the value of the 'Init Expression' containment reference.
|
OCLExpression<C> |
CollectionItem.getItem()
Returns the value of the 'Item' containment reference.
|
OCLExpression<C> |
CollectionRange.getLast()
Returns the value of the 'Last' containment reference.
|
OCLExpression<C> |
CallExp.getSource()
Returns the value of the 'Source' containment reference.
|
OCLExpression<C> |
MessageExp.getTarget()
Returns the value of the 'Target' containment reference.
|
OCLExpression<C> |
IfExp.getThenExpression()
Returns the value of the 'Then Expression' containment reference.
|
OCLExpression<C> |
TupleLiteralPart.getValue()
Returns the value of the 'Value' containment reference.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LoopExp.setBody(OCLExpression<C> value)
Sets the value of the '
Body' containment reference. |
void |
IfExp.setCondition(OCLExpression<C> value)
Sets the value of the '
Condition' containment reference. |
void |
IfExp.setElseExpression(OCLExpression<C> value)
Sets the value of the '
Else Expression' containment reference. |
void |
CollectionRange.setFirst(OCLExpression<C> value)
Sets the value of the '
First' containment reference. |
void |
LetExp.setIn(OCLExpression<C> value)
Sets the value of the '
In' containment reference. |
void |
Variable.setInitExpression(OCLExpression<C> value)
Sets the value of the '
Init Expression' containment reference. |
void |
CollectionItem.setItem(OCLExpression<C> value)
Sets the value of the '
Item' containment reference. |
void |
CollectionRange.setLast(OCLExpression<C> value)
Sets the value of the '
Last' containment reference. |
void |
CallExp.setSource(OCLExpression<C> value)
Sets the value of the '
Source' containment reference. |
void |
MessageExp.setTarget(OCLExpression<C> value)
Sets the value of the '
Target' containment reference. |
void |
IfExp.setThenExpression(OCLExpression<C> value)
Sets the value of the '
Then Expression' containment reference. |
void |
TupleLiteralPart.setValue(OCLExpression<C> value)
Sets the value of the '
Value' containment reference. |
| Modifier and Type | Class and Description |
|---|---|
class |
AssociationClassCallExpImpl<C,P>
An implementation of the model object 'Association Class Call Exp'.
|
class |
BooleanLiteralExpImpl<C>
An implementation of the model object 'Boolean Literal Exp'.
|
class |
CallExpImpl<C>
An implementation of the model object 'Call Exp'.
|
class |
CollectionLiteralExpImpl<C>
An implementation of the model object 'Collection Literal Exp'.
|
class |
EnumLiteralExpImpl<C,EL>
An implementation of the model object 'Enum Literal Exp'.
|
class |
FeatureCallExpImpl<C>
An implementation of the model object 'Feature Call Exp'.
|
class |
IfExpImpl<C>
An implementation of the model object 'If Exp'.
|
class |
IntegerLiteralExpImpl<C>
An implementation of the model object 'Integer Literal Exp'.
|
class |
InvalidLiteralExpImpl<C>
An implementation of the model object 'Invalid Literal Exp'.
|
class |
IterateExpImpl<C,PM>
An implementation of the model object 'Iterate Exp'.
|
class |
IteratorExpImpl<C,PM>
An implementation of the model object 'Iterator Exp'.
|
class |
LetExpImpl<C,PM>
An implementation of the model object 'Let Exp'.
|
class |
LiteralExpImpl<C>
An implementation of the model object 'Literal Exp'.
|
class |
LoopExpImpl<C,PM>
An implementation of the model object 'Loop Exp'.
|
class |
MessageExpImpl<C,COA,SSA>
An implementation of the model object 'Message Exp'.
|
class |
NavigationCallExpImpl<C,P>
An implementation of the model object 'Navigation Call Exp'.
|
class |
NullLiteralExpImpl<C>
An implementation of the model object 'Null Literal Exp'.
|
class |
NumericLiteralExpImpl<C>
An implementation of the model object 'Numeric Literal Exp'.
|
class |
OCLExpressionImpl<C>
An implementation of the model object 'OCL Expression'.
|
class |
OperationCallExpImpl<C,O>
An implementation of the model object 'Operation Call Exp'.
|
class |
PrimitiveLiteralExpImpl<C>
An implementation of the model object 'Primitive Literal Exp'.
|
class |
PropertyCallExpImpl<C,P>
An implementation of the model object 'Property Call Exp'.
|
class |
RealLiteralExpImpl<C>
An implementation of the model object 'Real Literal Exp'.
|
class |
StateExpImpl<C,S>
An implementation of the model object 'State Exp'.
|
class |
StringLiteralExpImpl<C>
An implementation of the model object 'String Literal Exp'.
|
class |
TupleLiteralExpImpl<C,P>
An implementation of the model object 'Tuple Literal Exp'.
|
class |
TypeExpImpl<C>
An implementation of the model object 'Type Exp'.
|
class |
UnlimitedNaturalLiteralExpImpl<C>
An implementation of the model object 'Unlimited Natural Literal Exp'.
|
class |
UnspecifiedValueExpImpl<C>
An implementation of the model object 'Unspecified Value Exp'.
|
class |
VariableExpImpl<C,PM>
An implementation of the model object 'Variable Exp'.
|
| Modifier and Type | Field and Description |
|---|---|
protected OCLExpression<C> |
LoopExpImpl.body
The cached value of the '
Body' containment reference. |
protected OCLExpression<C> |
IfExpImpl.condition
The cached value of the '
Condition' containment reference. |
protected OCLExpression<C> |
IfExpImpl.elseExpression
The cached value of the '
Else Expression' containment reference. |
protected OCLExpression<C> |
CollectionRangeImpl.first
The cached value of the '
First' containment reference. |
protected OCLExpression<C> |
LetExpImpl.in
The cached value of the '
In' containment reference. |
protected OCLExpression<C> |
VariableImpl.initExpression
The cached value of the '
Init Expression' containment reference. |
protected OCLExpression<C> |
CollectionItemImpl.item
The cached value of the '
Item' containment reference. |
protected OCLExpression<C> |
CollectionRangeImpl.last
The cached value of the '
Last' containment reference. |
protected OCLExpression<C> |
CallExpImpl.source
The cached value of the '
Source' containment reference. |
protected OCLExpression<C> |
MessageExpImpl.target
The cached value of the '
Target' containment reference. |
protected OCLExpression<C> |
IfExpImpl.thenExpression
The cached value of the '
Then Expression' containment reference. |
protected OCLExpression<C> |
TupleLiteralPartImpl.value
The cached value of the '
Value' containment reference. |
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
LoopExpImpl.getBody() |
OCLExpression<C> |
IfExpImpl.getCondition() |
OCLExpression<C> |
IfExpImpl.getElseExpression() |
OCLExpression<C> |
CollectionRangeImpl.getFirst() |
OCLExpression<C> |
LetExpImpl.getIn() |
OCLExpression<C> |
VariableImpl.getInitExpression() |
OCLExpression<C> |
CollectionItemImpl.getItem() |
OCLExpression<C> |
CollectionRangeImpl.getLast() |
OCLExpression<C> |
CallExpImpl.getSource() |
OCLExpression<C> |
MessageExpImpl.getTarget() |
OCLExpression<C> |
IfExpImpl.getThenExpression() |
OCLExpression<C> |
TupleLiteralPartImpl.getValue() |
| Modifier and Type | Method and Description |
|---|---|
NotificationChain |
LoopExpImpl.basicSetBody(OCLExpression<C> newBody,
NotificationChain msgs) |
NotificationChain |
IfExpImpl.basicSetCondition(OCLExpression<C> newCondition,
NotificationChain msgs) |
NotificationChain |
IfExpImpl.basicSetElseExpression(OCLExpression<C> newElseExpression,
NotificationChain msgs) |
NotificationChain |
CollectionRangeImpl.basicSetFirst(OCLExpression<C> newFirst,
NotificationChain msgs) |
NotificationChain |
LetExpImpl.basicSetIn(OCLExpression<C> newIn,
NotificationChain msgs) |
NotificationChain |
VariableImpl.basicSetInitExpression(OCLExpression<C> newInitExpression,
NotificationChain msgs) |
NotificationChain |
CollectionItemImpl.basicSetItem(OCLExpression<C> newItem,
NotificationChain msgs) |
NotificationChain |
CollectionRangeImpl.basicSetLast(OCLExpression<C> newLast,
NotificationChain msgs) |
NotificationChain |
CallExpImpl.basicSetSource(OCLExpression<C> newSource,
NotificationChain msgs) |
NotificationChain |
MessageExpImpl.basicSetTarget(OCLExpression<C> newTarget,
NotificationChain msgs) |
NotificationChain |
IfExpImpl.basicSetThenExpression(OCLExpression<C> newThenExpression,
NotificationChain msgs) |
NotificationChain |
TupleLiteralPartImpl.basicSetValue(OCLExpression<C> newValue,
NotificationChain msgs) |
void |
LoopExpImpl.setBody(OCLExpression<C> newBody) |
void |
IfExpImpl.setCondition(OCLExpression<C> newCondition) |
void |
IfExpImpl.setElseExpression(OCLExpression<C> newElseExpression) |
void |
CollectionRangeImpl.setFirst(OCLExpression<C> newFirst) |
void |
LetExpImpl.setIn(OCLExpression<C> newIn) |
void |
VariableImpl.setInitExpression(OCLExpression<C> newInitExpression) |
void |
CollectionItemImpl.setItem(OCLExpression<C> newItem) |
void |
CollectionRangeImpl.setLast(OCLExpression<C> newLast) |
void |
CallExpImpl.setSource(OCLExpression<C> newSource) |
void |
MessageExpImpl.setTarget(OCLExpression<C> newTarget) |
void |
IfExpImpl.setThenExpression(OCLExpression<C> newThenExpression) |
void |
TupleLiteralPartImpl.setValue(OCLExpression<C> newValue) |
| Modifier and Type | Method and Description |
|---|---|
static <C,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionOperations.accept(OCLExpression<C> oclExpression,
U v) |
static <C> String |
OCLExpressionOperations.getName(OCLExpression<C> oclExpression) |
static <C> C |
OCLExpressionOperations.getType(OCLExpression<C> oclExpression) |
static <C> void |
OCLExpressionOperations.setName(OCLExpression<C> oclExpression,
String name) |
static <C> void |
OCLExpressionOperations.setType(OCLExpression<C> oclExpression,
C type) |
| Modifier and Type | Method and Description |
|---|---|
<C> T |
ExpressionsSwitch.caseOCLExpression(OCLExpression<C> object)
Returns the result of interpreting the object as an instance of 'OCL Expression'.
|
boolean |
ExpressionsValidator.validateOCLExpression(OCLExpression<?> oclExpression,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
OCLHelper.createQuery(String expression)
Creates a query expression in the current classifier context.
|
| Modifier and Type | Method and Description |
|---|---|
<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
EnvironmentRegistryImpl.getEnvironmentFor(OCLExpression<C> expression) |
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
QueryImpl.getExpression() |
| Modifier and Type | Method and Description |
|---|---|
Object |
IterationTemplate.evaluate(Collection<?> coll,
List<Variable<C,PM>> iterators,
OCLExpression<C> body,
String resultName) |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
IterationTemplateClosure.getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v,
OCLExpression<C> body) |
Object |
TracingEvaluationVisitor.visitExpression(OCLExpression<C> expression) |
| Constructor and Description |
|---|
QueryImpl(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment,
OCLExpression<C> expr,
Map<CLS,? extends Set<? extends E>> extentMap) |
| Modifier and Type | Method and Description |
|---|---|
protected List<Choice> |
OCLSyntaxHelper.getChoices(OCLExpression<C> expression,
ConstraintKind constraintType)
returns the syntax help choices applicable for the passed OCLExpression
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
HelperUtil.getConstraintContext(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
Object element,
OCLExpression<C> expr) |
| Modifier and Type | Method and Description |
|---|---|
protected OCLExpression<C> |
AbstractOCLAnalyzer.arrowOperationCallExpCS(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
OperationCallExpCS for an ->
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.createImplicitSource(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
List<OCLExpression<C>> args) |
protected OCLExpression<C> |
AbstractOCLAnalyzer.getCollectionSourceExpression(OCLExpressionCS oclExpressionCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
OCLExpressionCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.getLoopBody(OCLExpression<C> expr) |
protected OCLExpression<C> |
AbstractOCLAnalyzer.letExp(LetExpCS letExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
LetExpCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.letExpCSRecursive(LetExpCS letExpCS,
int index,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
Constructs the LetExp
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.literalExpCS(LiteralExpCS literalExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
LiteralExpCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.messageExpCS(MessageExpCS messageExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
MessageExpCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.modelPropertyCallExpCS(FeatureCallExpCS modelPropertyCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
ModelPropertyCallExpCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.oclExpressionCS(OCLExpressionCS oclExpressionCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
OCLExpressionCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.oclIsInStateOperationCallExpCS(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
OperationCallExpCS for oclIsInState
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.operationCallExpCS(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
OperationCallExpCS
|
OCLExpression<C> |
OCLAnalyzer.parseAST(OCLExpressionCS cst,
ConstraintKind constraintType)
Parses the specified concrete syntax model to an abstract syntax model.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.propertyCallExpCS(CallExpCS propertyCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
PropertyCallExpCS
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.simpleNameCS(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source)
Parses a simpleNameCS token.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.simpleUndefinedName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
String simpleName)
The error case for simpleNameCS, which is called when the name
cannot be resolved to any suitable expression.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.staticOperationCallExpCS(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env) |
protected OCLExpression<C> |
AbstractOCLAnalyzer.variableExpCS(VariableExpCS variableExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
VariableExpCS
|
| Modifier and Type | Method and Description |
|---|---|
protected List<OCLExpression<C>> |
AbstractOCLAnalyzer.argumentsCS(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env) |
protected List<OCLExpression<C>> |
AbstractOCLAnalyzer.qualifiersCS(List<OCLExpressionCS> arguments,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> navigation)
QualifiersCS
|
| Modifier and Type | Method and Description |
|---|---|
protected IteratorExp<C,PM> |
AbstractOCLAnalyzer.createImplicitCollect(OCLExpression<C> source,
FeatureCallExp<C> propertyCall,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cstNode)
Creates an implicit
collect iterator expression for a
property call on a collection-type source expression. |
protected OperationCallExp<C,O> |
AbstractOCLAnalyzer.genOperationCallExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OperationCallExpCS operationCallExpCS,
String rule,
String operName,
OCLExpression<C> source,
C ownerType,
List<OCLExpression<C>> args)
Generate an OperationCallExp node.
|
protected Variable<C,PM> |
AbstractOCLAnalyzer.genVariableDeclaration(CSTNode cstNode,
String rule,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
String name,
C type,
OCLExpression<C> initExp,
boolean explicitFlag,
boolean addToEnvironment,
boolean isSelf)
Generate a VariableDeclaration AST node, and add it to the environment.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.getLoopBody(OCLExpression<C> expr) |
protected List<OCLExpression<C>> |
AbstractOCLAnalyzer.qualifiersCS(List<OCLExpressionCS> arguments,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> navigation)
QualifiersCS
|
protected AssociationClassCallExp<C,P> |
AbstractOCLAnalyzer.simpleAssociationClassName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
C owner,
String simpleName)
Attempts to parse a simpleNameCS as an association-class call
expression.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.simpleNameCS(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source)
Parses a simpleNameCS token.
|
protected NavigationCallExp<C,P> |
AbstractOCLAnalyzer.simpleNavigationName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
C owner,
String simpleName)
Allows subclasses to return calls that are not necessarily a
PropertyCallExp but some
other NavigationCallExp. |
protected PropertyCallExp<C,P> |
AbstractOCLAnalyzer.simplePropertyName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
C owner,
String simpleName)
Attempts to parse a simpleNameCS as a property call expression.
|
protected TypeExp<C> |
AbstractOCLAnalyzer.simpleTypeName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
C classifier,
String simpleName)
Attempts to parse a simpleNameCS as a type expression.
|
protected OCLExpression<C> |
AbstractOCLAnalyzer.simpleUndefinedName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
String simpleName)
The error case for simpleNameCS, which is called when the name
cannot be resolved to any suitable expression.
|
protected VariableExp<C,PM> |
AbstractOCLAnalyzer.simpleVariableName(SimpleNameCS simpleNameCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OCLExpression<C> source,
String simpleName)
Attempts to parse a simpleNameCS as a variable expression.
|
protected StateExp<C,S> |
AbstractOCLAnalyzer.stateExpCS(OCLExpression<C> source,
CSTNode stateExpCS,
<any> statePath,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
stateExpCS
|
| Modifier and Type | Method and Description |
|---|---|
protected OCLExpression<C> |
AbstractOCLAnalyzer.createImplicitSource(OperationCallExpCS operationCallExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
List<OCLExpression<C>> args) |
protected OperationCallExp<C,O> |
AbstractOCLAnalyzer.genOperationCallExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OperationCallExpCS operationCallExpCS,
String rule,
String operName,
OCLExpression<C> source,
C ownerType,
List<OCLExpression<C>> args)
Generate an OperationCallExp node.
|
protected Variable<C,PM> |
AbstractOCLAnalyzer.lookupImplicitSourceForOperation(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
List<OCLExpression<C>> args,
String operationName) |
protected void |
AbstractOCLAnalyzer.setQualifiers(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
String rule,
NavigationCallExp<C,P> nc,
List<OCLExpression<C>> qualifiers)
Sets the specified navigation call's qualifiers, if they are compatible
with the navigated association end or association class.
|
| Modifier and Type | Method and Description |
|---|---|
OCLExpression<C> |
ExpressionInOCL.getBodyExpression()
Returns the value of the 'Body Expression' containment reference.
|
| Modifier and Type | Method and Description |
|---|---|
void |
ExpressionInOCL.setBodyExpression(OCLExpression<C> value)
Sets the value of the '
Body Expression' containment reference. |
Copyright © 2015 Open eHealth Foundation. All rights reserved.