public class ExecutorOperation extends AbstractExecutorOperation
Modifier and Type | Field and Description |
---|---|
protected LibraryFeature |
implementation |
protected int |
index |
protected ParameterTypes |
parameterTypes |
protected TemplateParameters |
typeParameters |
type
name
Constructor and Description |
---|
ExecutorOperation(java.lang.String name,
ParameterTypes parameterTypes,
Type type,
int index,
TemplateParameters typeParameters,
LibraryFeature implementation) |
Modifier and Type | Method and Description |
---|---|
LanguageExpression |
getBodyExpression()
Returns the value of the 'Body Expression' containment reference.
|
LibraryFeature |
getImplementation()
Returns the value of the 'Implementation' attribute.
|
int |
getIndex()
Return the index of this operation in the operation dispatch table.
|
CompleteInheritance |
getInheritance(StandardLibrary standardLibrary)
Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.
|
java.lang.String |
getName()
Returns the value of the 'Name' attribute.
|
OperationId |
getOperationId() |
java.util.List<Constraint> |
getOwnedConstraints()
Returns the value of the 'Owned Constraints' containment reference list.
|
java.util.List<Parameter> |
getOwnedParameters()
Returns the value of the 'Owned Parameters' containment reference list.
|
java.util.List<Constraint> |
getOwnedPostconditions()
Returns the value of the 'Owned Postconditions' containment reference list.
|
java.util.List<Constraint> |
getOwnedPreconditions()
Returns the value of the 'Owned Preconditions' containment reference list.
|
ParametersId |
getParametersId()
Return the unique identity of the ordered list of parameters of this operation.
|
ParameterTypes |
getParameterTypes()
Return the ordered list of parameters of this operation.
|
TypeId |
getTypeId() |
TemplateParameters |
getTypeParameters()
Return the ordered list of type parameters of this operation.
|
boolean |
isIsStatic()
Returns the value of the 'Is Static' attribute.
|
java.lang.String |
toString() |
getOwnedBindings, getOwnedSignature, getPrecedence, getRaisedExceptions, getRedefinedOperations, getUnspecializedElement, isIsInvalidating, isIsTransient, isIsTypeof, isIsValidating, setBodyExpression, setIsInvalidating, setIsTransient, setIsTypeof, setIsValidating, setOwnedSignature, setOwningClass, setPrecedence, setUnspecializedElement, validateCompatibleReturn, validateLoadableImplementation, validateUniquePostconditionName, validateUniquePreconditionName
getImplementationClass, getOwningClass, setImplementation, setImplementationClass, setIsStatic, validateNameIsNotNull, validateTypeIsNotInvalid, validateTypeIsNotNull
CompatibleBody, getType, isIsMany, isIsRequired, setIsRequired, setType
setName
accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getOwningClass
getImplementationClass, setImplementation, setImplementationClass, setIsStatic, validateNameIsNotNull, validateTypeIsNotInvalid, validateTypeIsNotNull
CompatibleBody, getType, isIsMany, isIsRequired, setIsRequired, setType
setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
@NonNull protected final ParameterTypes parameterTypes
protected final int index
@NonNull protected final LibraryFeature implementation
@NonNull protected final TemplateParameters typeParameters
public ExecutorOperation(@NonNull java.lang.String name, @NonNull ParameterTypes parameterTypes, @NonNull Type type, int index, @NonNull TemplateParameters typeParameters, @Nullable LibraryFeature implementation)
@NonNull public LibraryFeature getImplementation()
Feature
If the meaning of the 'Implementation' attribute isn't clear, there really should be more of a description here...
getImplementation
in interface Feature
getImplementation
in class AbstractExecutorFeature
Feature.setImplementation(LibraryFeature)
,
PivotPackage.getFeature_Implementation()
public LanguageExpression getBodyExpression()
Operation
If the meaning of the 'Body Expression' containment reference isn't clear, there really should be more of a description here...
getBodyExpression
in interface Operation
getBodyExpression
in class AbstractExecutorOperation
Operation.setBodyExpression(LanguageExpression)
,
PivotPackage.getOperation_BodyExpression()
public final int getIndex()
Operation
getIndex
in interface Operation
getIndex
in class AbstractExecutorOperation
@NonNull public final CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Operation
getInheritance
in interface Operation
getInheritance
in class AbstractExecutorOperation
public final java.lang.String getName()
NamedElement
getName
in interface NamedElement
getName
in interface Nameable
getName
in class AbstractExecutorNamedElement
NamedElement.setName(String)
,
PivotPackage.getNamedElement_Name()
@NonNull public OperationId getOperationId()
getOperationId
in interface Operation
getOperationId
in class AbstractExecutorOperation
@NonNull public java.util.List<Constraint> getOwnedConstraints()
Namespace
Constraint
.
If the meaning of the 'Owned Rule' containment reference list isn't clear, there really should be more of a description here...
Specifies a set of Constraints owned by this Namespace.getOwnedConstraints
in interface Namespace
getOwnedConstraints
in class AbstractExecutorOperation
PivotPackage.getNamespace_OwnedConstraints()
@NonNull public java.util.List<Parameter> getOwnedParameters()
Operation
Parameter
.
It is bidirectional and its opposite is 'Owning Operation
'.
The ordered set of formal Parameters of this BehavioralFeature.
The parameters owned by this Operation.
getOwnedParameters
in interface Operation
getOwnedParameters
in class AbstractExecutorOperation
PivotPackage.getOperation_OwnedParameters()
,
Parameter.getOwningOperation()
@NonNull public java.util.List<Constraint> getOwnedPostconditions()
Operation
Constraint
.
It is bidirectional and its opposite is 'Owning Post Context
'.
If the meaning of the 'Owned Postconditions' containment reference list isn't clear, there really should be more of a description here...
An optional set of Constraints specifying the state of the system when the Operation is completed.getOwnedPostconditions
in interface Operation
getOwnedPostconditions
in class AbstractExecutorOperation
PivotPackage.getOperation_OwnedPostconditions()
,
Constraint.getOwningPostContext()
@NonNull public java.util.List<Constraint> getOwnedPreconditions()
Operation
Constraint
.
It is bidirectional and its opposite is 'Owning Pre Context
'.
If the meaning of the 'Owned Preconditions' containment reference list isn't clear, there really should be more of a description here...
An optional set of Constraints on the state of the system when the Operation is invoked.getOwnedPreconditions
in interface Operation
getOwnedPreconditions
in class AbstractExecutorOperation
PivotPackage.getOperation_OwnedPreconditions()
,
Constraint.getOwningPreContext()
@NonNull public ParametersId getParametersId()
Operation
getParametersId
in interface Operation
getParametersId
in class AbstractExecutorOperation
@NonNull public ParameterTypes getParameterTypes()
Operation
getParameterTypes
in interface Operation
getParameterTypes
in class AbstractExecutorOperation
@NonNull public TypeId getTypeId()
getTypeId
in interface TypedElement
getTypeId
in class AbstractExecutorTypedElement
@NonNull public TemplateParameters getTypeParameters()
Operation
getTypeParameters
in interface Operation
getTypeParameters
in class AbstractExecutorOperation
public boolean isIsStatic()
Feature
"false"
.
If the meaning of the 'Is Static' attribute isn't clear, there really should be more of a description here...
Specifies whether this Feature characterizes individual instances classified by the Classifier (false) or the Classifier itself (true).isIsStatic
in interface Feature
isIsStatic
in class AbstractExecutorFeature
Feature.setIsStatic(boolean)
,
PivotPackage.getFeature_IsStatic()
public java.lang.String toString()
toString
in class AbstractExecutorTypedElement