Modifier and Type | Method and Description |
---|---|
protected OCLExpression |
AS2CGVisitor.createLetExp(Variable asVariable,
OCLExpression asInit,
OCLExpression asIn)
Wrap asIn in a LetExp in which a clone of asInit is assigned to asVariable.
|
Modifier and Type | Method and Description |
---|---|
CGConstantExp |
CodeGenAnalyzer.createCGConstantExp(OCLExpression element,
CGConstant cgConstant) |
protected CGVariable |
AS2CGVisitor.createCGVariable(Variable contextVariable,
OCLExpression source) |
protected OCLExpression |
AS2CGVisitor.createLetExp(Variable asVariable,
OCLExpression asInit,
OCLExpression asIn)
Wrap asIn in a LetExp in which a clone of asInit is assigned to asVariable.
|
protected CGVariableExp |
AS2CGVisitor.generateSafeVariableExp(OCLExpression element,
CGFinalVariable cgVariable) |
Modifier and Type | Method and Description |
---|---|
protected OCLVMEvaluationEnvironment |
OCLVMExecutor.createNestedEvaluationEnvironment(EvaluationEnvironment.EvaluationEnvironmentExtension evaluationEnvironment,
NamedElement executableObject,
OCLExpression callingObject) |
java.lang.Object |
OCLVMEvaluationVisitor.evaluate(OCLExpression body) |
java.lang.Boolean |
OCLIsBreakpointableVisitor.visitOCLExpression(OCLExpression object) |
Constructor and Description |
---|
OCLVMNestedEvaluationEnvironment(OCLVMEvaluationEnvironment evaluationEnvironment,
NamedElement executableObject,
OCLExpression callingObject,
long id) |
Modifier and Type | Method and Description |
---|---|
IStepper |
OCLStepperVisitor.visitOCLExpression(OCLExpression object) |
Modifier and Type | Method and Description |
---|---|
protected static java.lang.String |
VariableFinder.getTermVariableName(OCLExpression oclExpression) |
Constructor and Description |
---|
AbstractVMEvaluationEnvironment(VMEvaluationEnvironment evaluationEnvironment,
NamedElement executableObject,
OCLExpression callingObject) |
VMNestedEvaluationEnvironment(VMEvaluationEnvironment vmEvaluationEnvironment,
NamedElement executableObject,
OCLExpression callingObject) |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
OCLResource.getOCLExpression()
Obtains the OCL expression that I store.
|
Modifier and Type | Method and Description |
---|---|
void |
OCLResource.setOCLExpression(OCLExpression expr)
Sets my contents to the specified OCL expression.
|
Modifier and Type | Interface and Description |
---|---|
interface |
AssociationClassCallExp
A representation of the model object 'Association Class Call Exp'.
|
interface |
BooleanLiteralExp
A representation of the model object 'Boolean Literal Exp'.
|
interface |
CallExp
A representation of the model object 'Call Exp'.
|
interface |
CollectionLiteralExp
A representation of the model object 'Collection Literal Exp'.
|
interface |
EnumLiteralExp
A representation of the model object 'Enum Literal Exp'.
|
interface |
FeatureCallExp
A representation of the model object 'Feature Call Exp'.
|
interface |
IfExp
A representation of the model object 'If Exp'.
|
interface |
IntegerLiteralExp
A representation of the model object 'Integer Literal Exp'.
|
interface |
InvalidLiteralExp
A representation of the model object 'Invalid Literal Exp'.
|
interface |
IterateExp
A representation of the model object 'Iterate Exp'.
|
interface |
IteratorExp
A representation of the model object 'Iterator Exp'.
|
interface |
LetExp
A representation of the model object 'Let Exp'.
|
interface |
LiteralExp
A representation of the model object 'Literal Exp'.
|
interface |
LoopExp
A representation of the model object 'Loop Exp'.
|
interface |
MapLiteralExp
A representation of the model object 'Map Literal Exp'.
|
interface |
MessageExp
A representation of the model object 'Message Exp'.
|
interface |
NavigationCallExp
A representation of the model object 'Navigation Call Exp'.
|
interface |
NullLiteralExp
A representation of the model object 'Null Literal Exp'.
|
interface |
NumericLiteralExp
A representation of the model object 'Numeric Literal Exp'.
|
interface |
OperationCallExp
A representation of the model object 'Operation Call Exp'.
|
interface |
OppositePropertyCallExp
A representation of the model object 'Opposite Property Call Exp'.
|
interface |
PrimitiveLiteralExp
A representation of the model object 'Primitive Literal Exp'.
|
interface |
PropertyCallExp
A representation of the model object 'Property Call Exp'.
|
interface |
RealLiteralExp
A representation of the model object 'Real Literal Exp'.
|
interface |
ShadowExp
A representation of the model object 'Constructor Exp'.
|
interface |
StateExp
A representation of the model object 'State Exp'.
|
interface |
StringLiteralExp
A representation of the model object 'String Literal Exp'.
|
interface |
TupleLiteralExp
A representation of the model object 'Tuple Literal Exp'.
|
interface |
TypeExp
A representation of the model object 'Type Exp'.
|
interface |
UnlimitedNaturalLiteralExp
A representation of the model object 'Unlimited Natural Literal Exp'.
|
interface |
UnspecifiedValueExp
A representation of the model object 'Unspecified Value Exp'.
|
interface |
VariableExp
A representation of the model object 'Variable Exp'.
|
Modifier and Type | Method and Description |
---|---|
OCLExpression |
ExpressionInOCL.getOwnedBody()
Returns the value of the 'Owned Body' containment reference.
|
OCLExpression |
LoopExp.getOwnedBody()
Returns the value of the 'Owned Body' containment reference.
|
OCLExpression |
IfExp.getOwnedCondition()
Returns the value of the 'Owned Condition' containment reference.
|
OCLExpression |
IfExp.getOwnedElse()
Returns the value of the 'Owned Else' containment reference.
|
OCLExpression |
CollectionRange.getOwnedFirst()
Returns the value of the 'Owned First' containment reference.
|
OCLExpression |
LetExp.getOwnedIn()
Returns the value of the 'Owned In' containment reference.
|
OCLExpression |
ShadowPart.getOwnedInit()
Returns the value of the 'Owned Init' containment reference.
|
OCLExpression |
TupleLiteralPart.getOwnedInit()
Returns the value of the 'Owned Init' containment reference.
|
OCLExpression |
Variable.getOwnedInit()
Returns the value of the 'Owned Init' containment reference.
|
OCLExpression |
CollectionItem.getOwnedItem()
Returns the value of the 'Owned Item' containment reference.
|
OCLExpression |
MapLiteralPart.getOwnedKey()
Returns the value of the 'Owned Key' containment reference.
|
OCLExpression |
CollectionRange.getOwnedLast()
Returns the value of the 'Owned Last' containment reference.
|
OCLExpression |
CallExp.getOwnedSource()
Returns the value of the 'Owned Source' containment reference.
|
OCLExpression |
MessageExp.getOwnedTarget()
Returns the value of the 'Owned Target' containment reference.
|
OCLExpression |
IfExp.getOwnedThen()
Returns the value of the 'Owned Then' containment reference.
|
OCLExpression |
MapLiteralPart.getOwnedValue()
Returns the value of the 'Owned Value' containment reference.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<OCLExpression> |
MessageExp.getOwnedArguments()
Returns the value of the 'Owned Arguments' containment reference list.
|
java.util.List<OCLExpression> |
OperationCallExp.getOwnedArguments()
Returns the value of the 'Owned Arguments' containment reference list.
|
java.util.List<OCLExpression> |
NavigationCallExp.getQualifiers()
Returns the value of the 'Qualifiers' reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
ExpressionInOCL.setOwnedBody(OCLExpression value)
Sets the value of the '
Owned Body ' containment reference. |
void |
LoopExp.setOwnedBody(OCLExpression value)
Sets the value of the '
Owned Body ' containment reference. |
void |
IfExp.setOwnedCondition(OCLExpression value)
Sets the value of the '
Owned Condition ' containment reference. |
void |
IfExp.setOwnedElse(OCLExpression value)
Sets the value of the '
Owned Else ' containment reference. |
void |
CollectionRange.setOwnedFirst(OCLExpression value)
Sets the value of the '
Owned First ' containment reference. |
void |
LetExp.setOwnedIn(OCLExpression value)
Sets the value of the '
Owned In ' containment reference. |
void |
ShadowPart.setOwnedInit(OCLExpression value)
Sets the value of the '
Owned Init ' containment reference. |
void |
TupleLiteralPart.setOwnedInit(OCLExpression value)
Sets the value of the '
Owned Init ' containment reference. |
void |
Variable.setOwnedInit(OCLExpression value)
Sets the value of the '
Owned Init ' containment reference. |
void |
CollectionItem.setOwnedItem(OCLExpression value)
Sets the value of the '
Owned Item ' containment reference. |
void |
MapLiteralPart.setOwnedKey(OCLExpression value)
Sets the value of the '
Owned Key ' containment reference. |
void |
CollectionRange.setOwnedLast(OCLExpression value)
Sets the value of the '
Owned Last ' containment reference. |
void |
CallExp.setOwnedSource(OCLExpression value)
Sets the value of the '
Owned Source ' containment reference. |
void |
MessageExp.setOwnedTarget(OCLExpression value)
Sets the value of the '
Owned Target ' containment reference. |
void |
IfExp.setOwnedThen(OCLExpression value)
Sets the value of the '
Owned Then ' containment reference. |
void |
MapLiteralPart.setOwnedValue(OCLExpression value)
Sets the value of the '
Owned Value ' containment reference. |
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
AbstractConstraintEvaluator.body |
Modifier and Type | Method and Description |
---|---|
static OCLExpression |
AbstractConstraintEvaluator.getConstraintExpression(ExpressionInOCL query)
Return the expression to be evaluated for a constraintSpecification, which is the constraintSpecification.bodyExpression
unless that is a status TuplePart PropertyCallExp in which case it is the source of the TuplePart PropertyCallExp enabling the
evaluation to compute the enriched Tuple of invariant results.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
EvaluationVisitor.evaluate(OCLExpression body) |
java.lang.Object |
Evaluator.evaluate(OCLExpression body)
Deprecated.
use Executor or EvaluationVisitor.
|
java.lang.Object |
Executor.evaluate(OCLExpression body) |
EvaluationEnvironment |
Executor.pushEvaluationEnvironment(NamedElement executableObject,
OCLExpression callingObject) |
Modifier and Type | Class and Description |
---|---|
class |
AssociationClassCallExpImpl
An implementation of the model object 'Association Class Call Exp'.
|
class |
BooleanLiteralExpImpl
An implementation of the model object 'Boolean Literal Exp'.
|
class |
CallExpImpl
An implementation of the model object 'Call Exp'.
|
class |
CollectionLiteralExpImpl
An implementation of the model object 'Collection Literal Exp'.
|
class |
EnumLiteralExpImpl
An implementation of the model object 'Enum Literal Exp'.
|
class |
FeatureCallExpImpl
An implementation of the model object 'Feature Call Exp'.
|
class |
IfExpImpl
An implementation of the model object 'If Exp'.
|
class |
IntegerLiteralExpImpl
An implementation of the model object 'Integer Literal Exp'.
|
class |
InvalidLiteralExpImpl
An implementation of the model object 'Invalid Literal Exp'.
|
class |
IterateExpImpl
An implementation of the model object 'Iterate Exp'.
|
class |
IteratorExpImpl
An implementation of the model object 'Iterator Exp'.
|
class |
LetExpImpl
An implementation of the model object 'Let Exp'.
|
class |
LiteralExpImpl
An implementation of the model object 'Literal Exp'.
|
class |
LoopExpImpl
An implementation of the model object 'Loop Exp'.
|
class |
MapLiteralExpImpl
An implementation of the model object 'Map Literal Exp'.
|
class |
MessageExpImpl
An implementation of the model object 'Message Exp'.
|
class |
NavigationCallExpImpl
An implementation of the model object 'Navigation Call Exp'.
|
class |
NullLiteralExpImpl
An implementation of the model object 'Null Literal Exp'.
|
class |
NumericLiteralExpImpl
An implementation of the model object 'Numeric Literal Exp'.
|
class |
OCLExpressionImpl
An implementation of the model object 'Ocl Expression'.
|
class |
OperationCallExpImpl
An implementation of the model object 'Operation Call Exp'.
|
class |
OppositePropertyCallExpImpl
An implementation of the model object 'Opposite Property Call Exp'.
|
class |
PrimitiveLiteralExpImpl
An implementation of the model object 'Primitive Literal Exp'.
|
class |
PropertyCallExpImpl
An implementation of the model object 'Property Call Exp'.
|
class |
RealLiteralExpImpl
An implementation of the model object 'Real Literal Exp'.
|
class |
ShadowExpImpl
An implementation of the model object 'Constructor Exp'.
|
class |
StateExpImpl
An implementation of the model object 'State Exp'.
|
class |
StringLiteralExpImpl
An implementation of the model object 'String Literal Exp'.
|
class |
TupleLiteralExpImpl
An implementation of the model object 'Tuple Literal Exp'.
|
class |
TypeExpImpl
An implementation of the model object 'Type Exp'.
|
class |
UnlimitedNaturalLiteralExpImpl
An implementation of the model object 'Unlimited Natural Literal Exp'.
|
class |
UnspecifiedValueExpImpl
An implementation of the model object 'Unspecified Value Exp'.
|
class |
VariableExpImpl
An implementation of the model object 'Variable Exp'.
|
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
ExpressionInOCLImpl.ownedBody
The cached value of the '
Owned Body ' containment reference. |
protected OCLExpression |
LoopExpImpl.ownedBody
The cached value of the '
Owned Body ' containment reference. |
protected OCLExpression |
IfExpImpl.ownedCondition
The cached value of the '
Owned Condition ' containment reference. |
protected OCLExpression |
IfExpImpl.ownedElse
The cached value of the '
Owned Else ' containment reference. |
protected OCLExpression |
CollectionRangeImpl.ownedFirst
The cached value of the '
Owned First ' containment reference. |
protected OCLExpression |
LetExpImpl.ownedIn
The cached value of the '
Owned In ' containment reference. |
protected OCLExpression |
ShadowPartImpl.ownedInit
The cached value of the '
Owned Init ' containment reference. |
protected OCLExpression |
TupleLiteralPartImpl.ownedInit
The cached value of the '
Owned Init ' containment reference. |
protected OCLExpression |
VariableImpl.ownedInit
The cached value of the '
Owned Init ' containment reference. |
protected OCLExpression |
CollectionItemImpl.ownedItem
The cached value of the '
Owned Item ' containment reference. |
protected OCLExpression |
MapLiteralPartImpl.ownedKey
The cached value of the '
Owned Key ' containment reference. |
protected OCLExpression |
CollectionRangeImpl.ownedLast
The cached value of the '
Owned Last ' containment reference. |
protected OCLExpression |
CallExpImpl.ownedSource
The cached value of the '
Owned Source ' containment reference. |
protected OCLExpression |
MessageExpImpl.ownedTarget
The cached value of the '
Owned Target ' containment reference. |
protected OCLExpression |
IfExpImpl.ownedThen
The cached value of the '
Owned Then ' containment reference. |
protected OCLExpression |
MapLiteralPartImpl.ownedValue
The cached value of the '
Owned Value ' containment reference. |
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<OCLExpression> |
MessageExpImpl.ownedArguments
The cached value of the '
Owned Arguments ' containment reference list. |
protected org.eclipse.emf.common.util.EList<OCLExpression> |
OperationCallExpImpl.ownedArguments
The cached value of the '
Owned Arguments ' containment reference list. |
protected org.eclipse.emf.common.util.EList<OCLExpression> |
NavigationCallExpImpl.qualifiers
The cached value of the '
Qualifiers ' reference list. |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
ExpressionInOCLImpl.getOwnedBody() |
OCLExpression |
LoopExpImpl.getOwnedBody() |
OCLExpression |
IfExpImpl.getOwnedCondition() |
OCLExpression |
IfExpImpl.getOwnedElse() |
OCLExpression |
CollectionRangeImpl.getOwnedFirst() |
OCLExpression |
LetExpImpl.getOwnedIn() |
OCLExpression |
ShadowPartImpl.getOwnedInit() |
OCLExpression |
TupleLiteralPartImpl.getOwnedInit() |
OCLExpression |
VariableImpl.getOwnedInit() |
OCLExpression |
CollectionItemImpl.getOwnedItem() |
OCLExpression |
MapLiteralPartImpl.getOwnedKey() |
OCLExpression |
CollectionRangeImpl.getOwnedLast() |
OCLExpression |
CallExpImpl.getOwnedSource() |
OCLExpression |
MessageExpImpl.getOwnedTarget() |
OCLExpression |
IfExpImpl.getOwnedThen() |
OCLExpression |
MapLiteralPartImpl.getOwnedValue() |
Modifier and Type | Method and Description |
---|---|
java.util.List<OCLExpression> |
MessageExpImpl.getOwnedArguments() |
java.util.List<OCLExpression> |
OperationCallExpImpl.getOwnedArguments() |
java.util.List<OCLExpression> |
NavigationCallExpImpl.getQualifiers() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
ExpressionInOCLImpl.basicSetOwnedBody(OCLExpression newOwnedBody,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
LoopExpImpl.basicSetOwnedBody(OCLExpression newOwnedBody,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
IfExpImpl.basicSetOwnedCondition(OCLExpression newOwnedCondition,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
IfExpImpl.basicSetOwnedElse(OCLExpression newOwnedElse,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
CollectionRangeImpl.basicSetOwnedFirst(OCLExpression newOwnedFirst,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
LetExpImpl.basicSetOwnedIn(OCLExpression newOwnedIn,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ShadowPartImpl.basicSetOwnedInit(OCLExpression newOwnedInit,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
TupleLiteralPartImpl.basicSetOwnedInit(OCLExpression newOwnedInit,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
VariableImpl.basicSetOwnedInit(OCLExpression newOwnedInit,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
CollectionItemImpl.basicSetOwnedItem(OCLExpression newOwnedItem,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
MapLiteralPartImpl.basicSetOwnedKey(OCLExpression newOwnedKey,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
CollectionRangeImpl.basicSetOwnedLast(OCLExpression newOwnedLast,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
CallExpImpl.basicSetOwnedSource(OCLExpression newOwnedSource,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
MessageExpImpl.basicSetOwnedTarget(OCLExpression newOwnedTarget,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
IfExpImpl.basicSetOwnedThen(OCLExpression newOwnedThen,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
MapLiteralPartImpl.basicSetOwnedValue(OCLExpression newOwnedValue,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
ExpressionInOCLImpl.setOwnedBody(OCLExpression newOwnedBody) |
void |
LoopExpImpl.setOwnedBody(OCLExpression newOwnedBody) |
void |
IfExpImpl.setOwnedCondition(OCLExpression newOwnedCondition) |
void |
IfExpImpl.setOwnedElse(OCLExpression newOwnedElse) |
void |
CollectionRangeImpl.setOwnedFirst(OCLExpression newOwnedFirst) |
void |
LetExpImpl.setOwnedIn(OCLExpression newOwnedIn) |
void |
ShadowPartImpl.setOwnedInit(OCLExpression newOwnedInit) |
void |
TupleLiteralPartImpl.setOwnedInit(OCLExpression newOwnedInit) |
void |
VariableImpl.setOwnedInit(OCLExpression newOwnedInit) |
void |
CollectionItemImpl.setOwnedItem(OCLExpression newOwnedItem) |
void |
MapLiteralPartImpl.setOwnedKey(OCLExpression newOwnedKey) |
void |
CollectionRangeImpl.setOwnedLast(OCLExpression newOwnedLast) |
void |
CallExpImpl.setOwnedSource(OCLExpression newOwnedSource) |
void |
MessageExpImpl.setOwnedTarget(OCLExpression newOwnedTarget) |
void |
IfExpImpl.setOwnedThen(OCLExpression newOwnedThen) |
void |
MapLiteralPartImpl.setOwnedValue(OCLExpression newOwnedValue) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractBase2ASConversion.setType(OCLExpression pivotElement,
Type type,
boolean isRequired,
Type typeValue) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
DelegateInstaller.createExpression(OCLExpression bodyExpression,
org.eclipse.emf.common.util.URI ecoreURI) |
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
BasicEvaluationEnvironment.callingObject |
Modifier and Type | Method and Description |
---|---|
protected EvaluationEnvironment.EvaluationEnvironmentExtension |
AbstractExecutor.createNestedEvaluationEnvironment(EvaluationEnvironment.EvaluationEnvironmentExtension evaluationEnvironment,
NamedElement executableObject,
OCLExpression callingObject) |
java.lang.Object |
AbstractEvaluationVisitorDecorator.evaluate(OCLExpression body)
Delegates to my decorated visitor.
|
java.lang.Object |
AbstractExecutor.evaluate(OCLExpression body) |
java.lang.Object |
BasicEvaluationVisitor.evaluate(OCLExpression body) |
EvaluationEnvironment |
AbstractExecutor.pushEvaluationEnvironment(NamedElement executableObject,
OCLExpression callingObject) |
Constructor and Description |
---|
BasicEvaluationEnvironment(EvaluationEnvironment.EvaluationEnvironmentExtension parent,
NamedElement executableObject,
OCLExpression callingObject) |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
QueryImpl.getExpression() |
Modifier and Type | Method and Description |
---|---|
Value |
ExecutorManager.evaluate(OCLExpression body) |
Value |
ExecutorManager.evaluateIteration(Type returnType,
CollectionValue sourceVal,
TypedElement accumulator,
OCLExpression body,
TypedElement[] iterators) |
EvaluationEnvironment |
ExecutorManager.pushEvaluationEnvironment(NamedElement executableObject,
OCLExpression callingObject) |
Modifier and Type | Method and Description |
---|---|
IfExp |
PivotMetamodelManager.createIfExp(OCLExpression asCondition,
OCLExpression asThen,
OCLExpression asElse) |
IfExp |
PivotMetamodelManager.createIfExp(OperationCallExp asCondition,
OCLExpression asThen,
OCLExpression asElse) |
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.precedenceVisit(OCLExpression expression,
Precedence newPrecedence) |
java.lang.Object |
EssentialOCLPrettyPrintVisitor.visitOCLExpression(OCLExpression object) |
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
AbstractEvaluatorIterationManager.body |
Constructor and Description |
---|
AbstractEvaluatorIterationManager(Evaluator evaluator,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulatorVariable,
java.lang.Object accumulatorValue)
Deprecated.
|
AbstractEvaluatorIterationManager(Executor executor,
CallExp callExp,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulatorVariable,
java.lang.Object accumulatorValue) |
EvaluatorMultipleIterationManager(Evaluator invokingExecutor,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
java.lang.Object accumulatorValue,
TypedElement... referredIterators)
Deprecated.
supply a callExp
|
EvaluatorMultipleIterationManager(Executor invokingExecutor,
CallExp callExp,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
java.lang.Object accumulatorValue,
TypedElement... referredIterators) |
EvaluatorSingleIterationManager(Evaluator invokingEvaluator,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
java.lang.Object accumulatorValue,
TypedElement referredIterator)
Deprecated.
supply a callExp
|
EvaluatorSingleIterationManager(Executor invokingExecutor,
CallExp callExp,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
java.lang.Object accumulatorValue,
TypedElement referredIterator) |
Modifier and Type | Method and Description |
---|---|
T |
PivotSwitch.caseOCLExpression(OCLExpression object)
Returns the result of interpreting the object as an instance of 'OCL Expression'.
|
boolean |
PivotValidator.validateOCLExpression(OCLExpression oclExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
R |
AbstractDelegatingVisitor.visitOCLExpression(OCLExpression object) |
R |
AbstractExtendingVisitor.visitOCLExpression(OCLExpression object) |
R |
AbstractMergedVisitor.visitOCLExpression(OCLExpression object) |
R |
AbstractNullVisitor.visitOCLExpression(OCLExpression object)
Deprecated.
|
R |
AbstractWrappingVisitor.visitOCLExpression(OCLExpression object) |
R |
Visitor.visitOCLExpression(OCLExpression object) |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
Query.getExpression()
Obtains the expression that I evaluate (or check as a boolean constraint).
|
Modifier and Type | Method and Description |
---|---|
static ExpressionInOCL |
PivotUtil.createExpressionInOCL(Variable asContextVariable,
OCLExpression asExpression,
Variable... asParameterVariables) |
static LetExp |
PivotUtil.createLetExp(Variable asVariable,
OCLExpression asIn) |
static NavigationCallExp |
PivotUtil.createNavigationCallExp(OCLExpression asSource,
Property asProperty) |
static OperationCallExp |
PivotUtil.createOperationCallExp(OCLExpression asSource,
Operation asOperation,
OCLExpression... asArguments) |
static OperationCallExp |
PivotUtil.createOperationCallExp(OCLExpression asSource,
Operation asOperation,
OCLExpression... asArguments) |
static PropertyCallExp |
PivotUtil.createPropertyCallExp(OCLExpression asSource,
Property asProperty) |
static Variable |
PivotUtil.createVariable(java.lang.String name,
OCLExpression asInitExpression) |
static Variable |
PivotUtil.createVariable(java.lang.String name,
Type asType,
boolean isRequired,
OCLExpression asInitExpression) |
static void |
PivotUtil.setBody(ExpressionInOCL expressionInOCL,
OCLExpression oclExpression,
java.lang.String stringExpression)
Define oclExpression as the bodyExpression of an expressionInOCL, and if non-null
also define stringExpression as the OCL-languaged body.
|
void |
OCL.validate(OCLExpression expression)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
OCLExpression |
CS2ASConversion.addBadExpressionError(ModelElementCS csElement,
java.lang.String boundMessage) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
BaseLabelProvider.text(OCLExpression ele) |
Modifier and Type | Method and Description |
---|---|
protected ExpCS |
EssentialOCLDeclarationVisitor.createExpCS(OCLExpression oclExpression) |
protected NavigatingArgCS |
EssentialOCLDeclarationVisitor.createNavigatingArgCS(java.lang.String prefix,
NamedElement asNamedElement,
TypedElement asTypedElement,
OCLExpression csInit) |
protected NavigatingArgCS |
EssentialOCLDeclarationVisitor.createNavigatingArgCS(java.lang.String prefix,
OCLExpression csExp) |
protected boolean |
EssentialOCLDeclarationVisitor.isLowerPrecedence(OCLExpression asExp,
Precedence asThatPrecedence) |
ElementCS |
EssentialOCLDeclarationVisitor.visitOCLExpression(OCLExpression object) |
Modifier and Type | Field and Description |
---|---|
protected OCLExpression |
BinaryOperationMatcher.asArgument |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<OCLExpression> |
OperationMatcher.asArguments |
Modifier and Type | Method and Description |
---|---|
protected abstract OCLExpression |
AbstractOperationMatcher.getArgument(int i) |
protected OCLExpression |
BinaryOperationMatcher.getArgument(int i) |
protected OCLExpression |
OperationMatcher.getArgument(int i) |
protected OCLExpression |
UnaryOperationMatcher.getArgument(int i) |
Modifier and Type | Method and Description |
---|---|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.createImplicitSourceVariableExp(AbstractNameExpCS csNameExp,
Type owningType) |
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.doVisitBinaryOperatorCS(InfixExpCS csOperator) |
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.doVisitNavigationOperatorCS(InfixExpCS csOperator) |
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveBestInvocation(OCLExpression sourceExp,
RoundBracketedClauseCS csRoundBracketedClause,
EssentialOCLCSLeft2RightVisitor.Invocations invocations)
Resolve an invocation such as name() or source.name(...) or source->name(...) to the best candidate from invocations.
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveExplicitSourceNavigation(OCLExpression sourceExp,
NameExpCS csNameExp)
Resolve an invocation such as source.name or source->name
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveImplicitAsSet(OCLExpression sourceExp,
Type sourceType,
InfixExpCS csOperator) |
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveInvocation(OCLExpression sourceExp,
RoundBracketedClauseCS csRoundBracketedClause)
Resolve an invocation such as name() or source.name(...) or source->name(...)
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveShadowExp(NameExpCS csNameExp) |
Modifier and Type | Method and Description |
---|---|
protected OperationCallExp |
EssentialOCLCSLeft2RightVisitor.createCoercionCallExp(OCLExpression sourceExp,
Operation coercion) |
protected Operation |
EssentialOCLCSLeft2RightVisitor.getExampleOperation(EssentialOCLCSLeft2RightVisitor.Invocations invocations,
OCLExpression sourceExp,
RoundBracketedClauseCS csRoundBracketedClause) |
protected OperationCallExp |
EssentialOCLCSLeft2RightVisitor.refreshOperationCallExp(AbstractNameExpCS csNameExp,
OCLExpression sourceExp) |
protected OppositePropertyCallExp |
EssentialOCLCSLeft2RightVisitor.refreshOppositePropertyCallExp(NameExpCS csNameExp,
OCLExpression sourceExp,
Property property) |
protected PropertyCallExp |
EssentialOCLCSLeft2RightVisitor.refreshPropertyCallExp(NameExpCS csNameExp,
OCLExpression sourceExp,
Property property) |
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveBestInvocation(OCLExpression sourceExp,
RoundBracketedClauseCS csRoundBracketedClause,
EssentialOCLCSLeft2RightVisitor.Invocations invocations)
Resolve an invocation such as name() or source.name(...) or source->name(...) to the best candidate from invocations.
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveExplicitSourceNavigation(OCLExpression sourceExp,
NameExpCS csNameExp)
Resolve an invocation such as source.name or source->name
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveImplicitAsSet(OCLExpression sourceExp,
Type sourceType,
InfixExpCS csOperator) |
protected IteratorExp |
EssentialOCLCSLeft2RightVisitor.resolveImplicitCollect(OCLExpression sourceExp,
InfixExpCS csOperator)
Return a non-null implicit collect() call if a sourceExp for a csElement requires an implicit collect.
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveInvocation(OCLExpression sourceExp,
RoundBracketedClauseCS csRoundBracketedClause)
Resolve an invocation such as name() or source.name(...) or source->name(...)
|
protected LoopExp |
EssentialOCLCSLeft2RightVisitor.resolveIterationCallExp(AbstractNameExpCS csNameExp,
OCLExpression sourceExp,
Iteration iteration) |
protected void |
EssentialOCLCSLeft2RightVisitor.resolveIterationIterators(RoundBracketedClauseCS csRoundBracketedClause,
OCLExpression source,
LoopExp expression) |
protected CallExp |
EssentialOCLCSLeft2RightVisitor.resolvePropertyCallExp(OCLExpression sourceExp,
NameExpCS csNameExp,
Property property) |