| 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.internal.evaluation | |
| org.eclipse.ocl.internal.helper | |
| org.eclipse.ocl.parser | |
| org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
| org.eclipse.ocl.utilities |
Abstract API for OCL AST utilities and extensions of the UML metamodel.
|
| Modifier and Type | Method and Description |
|---|---|
Variable<C,PM> |
AbstractEnvironment.getSelfVariable() |
Variable<C,PM> |
Environment.getSelfVariable()
Gets the self variable, looking it up in a parent environment if necessary.
|
Variable<C,PM> |
AbstractEnvironment.VariableEntry.getVariable() |
Variable<C,PM> |
AbstractEnvironment.lookup(String name) |
Variable<C,PM> |
Environment.lookup(String name)
Obtains the Variable bound to a variable name.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForAssociationClass(String name) |
Variable<C,PM> |
Environment.lookupImplicitSourceForAssociationClass(String name)
Return an implicit variable that references the
named association class.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForOperation(String name,
List<? extends TypedElement<C>> args) |
Variable<C,PM> |
Environment.lookupImplicitSourceForOperation(String name,
List<? extends TypedElement<C>> args)
Return an implicit variable declaration that defines the specified
operation signature.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForProperty(String name) |
Variable<C,PM> |
Environment.lookupImplicitSourceForProperty(String name)
Return the most appropriate matching variable to use as the implicit
source of a call to the specified property.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForSignal(String name,
List<? extends TypedElement<C>> args) |
Variable<C,PM> |
Environment.lookupImplicitSourceForSignal(String name,
List<? extends TypedElement<C>> args)
Return an implicit variable declaration that defines the specified
signal reception signature.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForState(List<String> path) |
Variable<C,PM> |
Environment.lookupImplicitSourceForState(List<String> path)
Finds the best-matching implicit variable to use as a source for
the unqualified oclIsInState() invocation with the specified
state qualified name path.
|
Variable<C,PM> |
AbstractEnvironment.lookupLocal(String name) |
Variable<C,PM> |
Environment.lookupLocal(String name)
Obtains the Variable bound to a local variable name.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<Variable<C,PM>> |
AbstractEnvironment.getVariables() |
Collection<Variable<C,PM>> |
Environment.getVariables()
Returns the
Variables registered explicitly in me and any
parents that I may have. |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AbstractEnvironment.addedVariable(String name,
Variable<C,PM> variable,
boolean isExplicit)
Persists the specified variable in my resource.
|
boolean |
AbstractEnvironment.addElement(String name,
Variable<C,PM> elem,
boolean isExplicit) |
boolean |
Environment.addElement(String name,
Variable<C,PM> elem,
boolean explicit)
Adds a variable declaration to the environment.
|
P |
Environment.defineAttribute(C owner,
Variable<C,PM> variable,
CT constraint)
In processing an additional attribute definition, constructs the
property and associates it with its definition constraint.
|
protected void |
AbstractEnvironment.removedVariable(String name,
Variable<C,PM> variable,
boolean isExplicit)
Removes the specified variable from my resource.
|
void |
AbstractEnvironment.setSelfVariable(Variable<C,PM> var) |
void |
Environment.setSelfVariable(Variable<C,PM> var)
Sets the "self" variable that is the implicit source of any property,
operation, or association class call.
|
Object |
EvaluationVisitorDecorator.visitVariable(Variable<C,PM> variable)
Delegates to my decorated visitor.
|
Object |
EvaluationVisitorImpl.visitVariable(Variable<C,PM> vd)
Callback for a VariableDeclaration visit.
|
| Modifier and Type | Method and Description |
|---|---|
O |
Environment.defineOperation(C owner,
String name,
C type,
List<Variable<C,PM>> params,
CT constraint)
In processing an additional operation definition, constructs the
operation and associates it with its definition constraint.
|
| Modifier and Type | Method and Description |
|---|---|
<C,PM> Variable<C,PM> |
ExpressionsFactory.createVariable()
Returns a new object of class 'Variable'.
|
Variable<C,PM> |
VariableExp.getReferredVariable()
Returns the value of the 'Referred Variable' reference.
|
Variable<C,PM> |
IterateExp.getResult()
Returns the value of the 'Result' containment reference.
|
Variable<C,PM> |
LetExp.getVariable()
Returns the value of the 'Variable' containment reference.
|
| Modifier and Type | Method and Description |
|---|---|
void |
VariableExp.setReferredVariable(Variable<C,PM> value)
Sets the value of the '
Referred Variable' reference. |
void |
IterateExp.setResult(Variable<C,PM> value)
Sets the value of the '
Result' containment reference. |
void |
LetExp.setVariable(Variable<C,PM> value)
Sets the value of the '
Variable' containment reference. |
| Modifier and Type | Class and Description |
|---|---|
class |
VariableImpl<C,PM>
An implementation of the model object 'Variable'.
|
| Modifier and Type | Field and Description |
|---|---|
protected Variable<C,PM> |
VariableExpImpl.referredVariable
The cached value of the '
Referred Variable' reference. |
protected Variable<C,PM> |
IterateExpImpl.result
The cached value of the '
Result' containment reference. |
protected Variable<C,PM> |
LetExpImpl.variable
The cached value of the '
Variable' containment reference. |
| Modifier and Type | Method and Description |
|---|---|
Variable<C,PM> |
VariableExpImpl.basicGetReferredVariable() |
<C,PM> Variable<C,PM> |
ExpressionsFactoryImpl.createVariable() |
Variable<C,PM> |
VariableExpImpl.getReferredVariable() |
Variable<C,PM> |
IterateExpImpl.getResult() |
Variable<C,PM> |
LetExpImpl.getVariable() |
| Modifier and Type | Method and Description |
|---|---|
NotificationChain |
IterateExpImpl.basicSetResult(Variable<C,PM> newResult,
NotificationChain msgs) |
NotificationChain |
LetExpImpl.basicSetVariable(Variable<C,PM> newVariable,
NotificationChain msgs) |
void |
VariableExpImpl.setReferredVariable(Variable<C,PM> newReferredVariable) |
void |
IterateExpImpl.setResult(Variable<C,PM> newResult) |
void |
LetExpImpl.setVariable(Variable<C,PM> newVariable) |
| Modifier and Type | Method and Description |
|---|---|
static <C,PM,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableOperations.accept(Variable<C,PM> variable,
U v) |
static <C,PM> boolean |
VariableOperations.checkInitType(Variable<C,PM> variable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
initExpression->notEmpty() implies initExpression.type.conformsTo (type)
|
static <C,PM> String |
VariableOperations.getName(Variable<C,PM> variable) |
static <C,PM> C |
VariableOperations.getType(Variable<C,PM> variable) |
static <C,PM> void |
VariableOperations.setName(Variable<C,PM> variable,
String name) |
static <C,PM> void |
VariableOperations.setType(Variable<C,PM> variable,
C type) |
| Modifier and Type | Method and Description |
|---|---|
<C,PM> T |
ExpressionsSwitch.caseVariable(Variable<C,PM> object)
Returns the result of interpreting the object as an instance of 'Variable'.
|
boolean |
ExpressionsValidator.validateVariable_checkInitType(Variable<?,?> variable,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkInitType constraint of 'Variable'.
|
boolean |
ExpressionsValidator.validateVariable(Variable<?,?> variable,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
| Modifier and Type | Method and Description |
|---|---|
Object |
TracingEvaluationVisitor.visitVariable(Variable<C,PM> variable) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
IterationTemplate.advanceIterators(List<Variable<C,PM>> iterators,
Iterator<?>[] javaIters,
Collection<?> c,
int curr) |
Object |
IterationTemplate.evaluate(Collection<?> coll,
List<Variable<C,PM>> iterators,
OCLExpression<C> body,
String resultName) |
protected Object |
IterationTemplate.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected Object |
IterationTemplateAny.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected Object |
IterationTemplateClosure.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal)
Recursively evaluates the iterator body expression.
|
protected Object |
IterationTemplateCollect.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected Object |
IterationTemplateCollectNested.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected Object |
IterationTemplateExists.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object body) |
protected Object |
IterationTemplateForAll.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object body) |
protected Object |
IterationTemplateIsUnique.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected Object |
IterationTemplateOne.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object body) |
protected Object |
IterationTemplateReject.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object body) |
protected Object |
IterationTemplateSelect.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object body) |
protected Object |
IterationTemplateSortedBy.evaluateResult(List<Variable<C,PM>> iterators,
String resultName,
Object bodyVal) |
protected void |
IterationTemplate.initializeIterators(List<Variable<C,PM>> iterators,
Iterator<?>[] javaIters,
Collection<?> c) |
protected void |
IterationTemplate.removeIterators(List<Variable<C,PM>> iterators) |
| Modifier and Type | Method and Description |
|---|---|
List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitVariable(Variable<C,PM> variabledeclaration) |
| Modifier and Type | Method and Description |
|---|---|
<C,PM> Variable<C,PM> |
OCLFactoryWithHistory.createVariable() |
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 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) |
Variable<C,PM> |
OCLAnalyzer.parseVariableDeclarationCS(boolean addToEnvironment)
Parses the input as a VariableDeclarationCS.
|
protected Variable<C,PM> |
AbstractOCLAnalyzer.variableDeclarationCS(VariableCS variableDeclarationCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
boolean addToEnvironment)
VariableDeclarationCS
|
| Modifier and Type | Method and Description |
|---|---|
protected List<Variable<C,PM>> |
AbstractOCLAnalyzer.parametersCS(List<VariableCS> parameters,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
ParametersCS
|
protected List<Variable<C,PM>> |
AbstractOCLAnalyzer.variableDeclarationListCS(List<VariableCS> variableDeclarationCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
boolean addToEnvironment)
VariableDeclarationListCS
|
| Modifier and Type | Method and Description |
|---|---|
protected VariableExp<C,PM> |
AbstractOCLAnalyzer.createVariableExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cst,
Variable<C,PM> var)
Creates a variable expression with the variable that it references.
|
Boolean |
ValidationVisitor.visitVariable(Variable<C,PM> vd)
Callback for a VariableDeclaration visit.
|
| Modifier and Type | Method and Description |
|---|---|
protected String |
ToStringVisitor.handleVariable(Variable<C,PM> vd,
String initResult)
Callback for the Variable visit.
|
| Modifier and Type | Method and Description |
|---|---|
<C,PM> Variable<C,PM> |
OCLFactory.createVariable()
Returns a new object of class 'Variable'.
|
Variable<C,PM> |
ExpressionInOCL.getContextVariable()
Returns the value of the 'Context Variable' containment reference.
|
Variable<C,PM> |
ExpressionInOCL.getResultVariable()
Returns the value of the 'Result Variable' containment reference.
|
| Modifier and Type | Method and Description |
|---|---|
protected T |
AbstractVisitor.handleVariable(Variable<C,PM> variable,
T initResult)
Visits the specified variable with the results of visiting
its initializer (if any).
|
void |
ExpressionInOCL.setContextVariable(Variable<C,PM> value)
Sets the value of the '
Context Variable' containment reference. |
void |
ExpressionInOCL.setResultVariable(Variable<C,PM> value)
Sets the value of the '
Result Variable' containment reference. |
T |
AbstractVisitor.visitVariable(Variable<C,PM> variable)
Visits the variable's initialization expression (if any).
|
T |
Visitor.visitVariable(Variable<C,PM> variable) |
Copyright © 2015 Open eHealth Foundation. All rights reserved.