Modifier and Type | Interface and Description |
---|---|
interface |
AssociationClassCallExp
A representation of the model object 'Association Class Call Exp'.
|
interface |
FeatureCallExp
A representation of the model object 'Feature Call Exp'.
|
interface |
IterateExp
A representation of the model object 'Iterate Exp'.
|
interface |
IteratorExp
A representation of the model object 'Iterator Exp'.
|
interface |
LoopExp
A representation of the model object 'Loop Exp'.
|
interface |
NavigationCallExp
A representation of the model object 'Navigation Call 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 |
PropertyCallExp
A representation of the model object 'Property Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
Type |
SelfType.specializeIn(CallExp expr,
Type selfType) |
Type |
Type.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Class and Description |
---|---|
class |
AssociationClassCallExpImpl
An implementation of the model object 'Association Class Call Exp'.
|
class |
CallExpImpl
An implementation of the model object 'Call Exp'.
|
class |
FeatureCallExpImpl
An implementation of the model object 'Feature Call Exp'.
|
class |
IterateExpImpl
An implementation of the model object 'Iterate Exp'.
|
class |
IteratorExpImpl
An implementation of the model object 'Iterator Exp'.
|
class |
LoopExpImpl
An implementation of the model object 'Loop Exp'.
|
class |
NavigationCallExpImpl
An implementation of the model object 'Navigation Call Exp'.
|
class |
OperationCallExpImpl
An implementation of the model object 'Operation Call Exp'.
|
class |
OppositePropertyCallExpImpl
An implementation of the model object 'Opposite Property Call Exp'.
|
class |
PropertyCallExpImpl
An implementation of the model object 'Property Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
Type |
TypeImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
SelfTypeImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
ClassImpl.specializeIn(CallExp callExpr,
Type selfType) |
Type |
TemplateParameterImpl.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
Type |
AbstractExecutorType.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
Type |
TemplateParameterSubstitutionHelper.resolveBodyType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type bodyType)
Return the actual type of te body of callExp for which the regular library modeling suggests bodyType.
|
boolean |
TemplateParameterSubstitutionHelper.resolveReturnNullity(PivotMetamodelManager metamodelManager,
CallExp callExp,
boolean returnIsRequired)
Return the actual return nullity of callExp for which the regular library modeling suggests returnIsRequired.
|
Type |
TemplateParameterSubstitutionHelper.resolveReturnType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type returnType)
Return the actual return type of callExp for which the regular library modeling suggests returnType.
|
void |
TemplateParameterSubstitutionHelper.resolveUnmodeledTemplateParameterSubstitutions(TemplateParameterSubstitutionVisitor templateParameterSubstitutions,
CallExp callExp)
Add any templateParameter substitutions to templateParameterSubstitutions that the regular library modeling omits.
|
static Type |
TemplateParameterSubstitutionVisitor.specializeType(Type type,
CallExp callExp,
EnvironmentFactoryInternal environmentFactory,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings under the
supervision of a metamodelManager and using selfType as the value of OclSelf.
|
Type |
PivotMetamodelManager.specializeType(Type type,
CallExp callExp,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings
using selfType as the value of OclSelf.
|
Modifier and Type | Method and Description |
---|---|
Diagnostic |
LibraryValidator.validate(StandardLibrary standardLibrary,
CallExp callExp) |
Constructor and Description |
---|
EvaluatorMultipleIterationManager(Executor invokingExecutor,
CallExp callExp,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
Object accumulatorValue,
TypedElement... referredIterators) |
EvaluatorSingleIterationManager(Executor invokingExecutor,
CallExp callExp,
OCLExpression body,
CollectionValue collectionValue,
TypedElement accumulator,
Object accumulatorValue,
TypedElement referredIterator) |
Modifier and Type | Method and Description |
---|---|
T |
PivotSwitch.caseCallExp(CallExp object)
Returns the result of interpreting the object as an instance of 'Call Exp'.
|
boolean |
PivotValidator.validateCallExp_validateTypeIsNotInvalid(CallExp callExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the validateTypeIsNotInvalid constraint of 'Call Exp'.
|
boolean |
PivotValidator.validateCallExp(CallExp callExp,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
R |
Visitor.visitCallExp(CallExp object) |
R |
AbstractWrappingVisitor.visitCallExp(CallExp object) |
R |
AbstractNullVisitor.visitCallExp(CallExp object)
Deprecated.
|
R |
AbstractMergedVisitor.visitCallExp(CallExp object) |
R |
AbstractExtendingVisitor.visitCallExp(CallExp object) |
R |
AbstractDelegatingVisitor.visitCallExp(CallExp object) |
Modifier and Type | Method and Description |
---|---|
static OCLExpression |
PivotUtil.getOwnedSource(CallExp object) |
static Feature |
PivotUtil.getReferredFeature(CallExp callExp) |
static Operation |
PivotUtil.getReferredOperation(CallExp callExp) |
void |
PivotHelper.setOperationReturnType(CallExp asCallExp,
Operation asOperation)
Set the operation/iteration return type and nullity in the asCallExp.
|
Modifier and Type | Method and Description |
---|---|
ElementCS |
EssentialOCLDeclarationVisitor.visitCallExp(CallExp object) |
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.