public class AbstractExecutorOperation extends AbstractExecutorFeature implements Operation
type
name
Constructor and Description |
---|
AbstractExecutorOperation(java.lang.String name,
Type executorType) |
Modifier and Type | Method and Description |
---|---|
LanguageExpression |
getBodyExpression()
Returns the value of the 'Body Expression' containment reference.
|
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.
|
OperationId |
getOperationId() |
java.util.List<TemplateBinding> |
getOwnedBindings()
Returns the value of the 'Owned Bindings' containment reference list.
|
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.
|
TemplateSignature |
getOwnedSignature()
Returns the value of the 'Owned Signature' containment reference.
|
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.
|
Precedence |
getPrecedence()
Returns the value of the 'Precedence' reference.
|
java.util.List<Type> |
getRaisedExceptions()
Returns the value of the 'Raised Exceptions' reference list.
|
java.util.List<Operation> |
getRedefinedOperations()
Returns the value of the 'Redefined Operations' reference list.
|
TemplateParameters |
getTypeParameters()
Return the ordered list of type parameters of this operation.
|
TemplateableElement |
getUnspecializedElement()
Returns the value of the 'Unspecialized Element' reference.
|
boolean |
isIsInvalidating()
Returns the value of the 'Is Invalidating' attribute.
|
boolean |
isIsTypeof()
Returns the value of the 'Is Typeof' attribute.
|
boolean |
isIsValidating()
Returns the value of the 'Is Validating' attribute.
|
void |
setBodyExpression(LanguageExpression value)
Sets the value of the '
Body Expression ' containment reference. |
void |
setIsInvalidating(boolean value)
Sets the value of the '
Is Invalidating ' attribute. |
void |
setIsTypeof(boolean value)
Sets the value of the '
Is Typeof ' attribute. |
void |
setIsValidating(boolean value)
Sets the value of the '
Is Validating ' attribute. |
void |
setOwnedSignature(TemplateSignature value)
Sets the value of the '
Owned Signature ' containment reference. |
void |
setOwningClass(Class value)
Sets the value of the '
Owning Class ' container reference. |
void |
setPrecedence(Precedence value)
Sets the value of the '
Precedence ' reference. |
void |
setUnspecializedElement(TemplateableElement value)
Sets the value of the '
Unspecialized Element ' reference. |
boolean |
validateCompatibleReturn(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateLoadableImplementation(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateUniquePostconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
boolean |
validateUniquePreconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
getImplementation, getImplementationClass, getOwningClass, isIsStatic, setImplementation, setImplementationClass, setIsStatic, validateTypeIsNotInvalid
CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType, toString
getName, 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
getImplementation, getImplementationClass, isIsStatic, setImplementation, setImplementationClass, setIsStatic, validateTypeIsNotInvalid
CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType
getName, 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 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
PivotPackage.getNamespace_OwnedConstraints()
public java.util.List<TemplateBinding> getOwnedBindings()
TemplateableElement
TemplateBinding
.
It is bidirectional and its opposite is 'Owning Element
'.
The optional TemplateBindings from this TemplateableElement to one or more templates.
getOwnedBindings
in interface TemplateableElement
PivotPackage.getTemplateableElement_OwnedBindings()
,
TemplateBinding.getOwningElement()
public TemplateSignature getOwnedSignature()
TemplateableElement
Owning Element
'.
The optional TemplateSignature specifying the formal TemplateParameters for this TemplateableElement. If a TemplateableElement has a TemplateSignature, then it is a template.
getOwnedSignature
in interface TemplateableElement
TemplateableElement.setOwnedSignature(TemplateSignature)
,
PivotPackage.getTemplateableElement_OwnedSignature()
,
TemplateSignature.getOwningElement()
public void setOwnedSignature(TemplateSignature value)
TemplateableElement
Owned Signature
' containment reference.
setOwnedSignature
in interface TemplateableElement
value
- the new value of the 'Owned Signature' containment reference.TemplateableElement.getOwnedSignature()
public TemplateableElement getUnspecializedElement()
TemplateableElement
If the meaning of the 'Unspecialized Element' reference isn't clear, there really should be more of a description here...
getUnspecializedElement
in interface TemplateableElement
TemplateableElement.setUnspecializedElement(TemplateableElement)
,
PivotPackage.getTemplateableElement_UnspecializedElement()
public void setUnspecializedElement(TemplateableElement value)
TemplateableElement
Unspecialized Element
' reference.
setUnspecializedElement
in interface TemplateableElement
value
- the new value of the 'Unspecialized Element' reference.TemplateableElement.getUnspecializedElement()
@NonNull public java.util.List<Type> getRaisedExceptions()
Operation
Type
.
The Types representing exceptions that may be raised during an invocation of this BehavioralFeature.
The Types representing exceptions that may be raised during an invocation of this operation.
getRaisedExceptions
in interface Operation
PivotPackage.getOperation_RaisedExceptions()
@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
PivotPackage.getOperation_OwnedParameters()
,
Parameter.getOwningOperation()
public Precedence getPrecedence()
Operation
If the meaning of the 'Precedence' reference isn't clear, there really should be more of a description here...
getPrecedence
in interface Operation
Operation.setPrecedence(Precedence)
,
PivotPackage.getOperation_Precedence()
public void setPrecedence(Precedence value)
Operation
Precedence
' reference.
setPrecedence
in interface Operation
value
- the new value of the 'Precedence' reference.Operation.getPrecedence()
@NonNull public java.util.List<Operation> getRedefinedOperations()
Operation
Operation
.
If the meaning of the 'Redefined Operations' reference list isn't clear, there really should be more of a description here...
The Operations that are redefined by this Operation.getRedefinedOperations
in interface Operation
PivotPackage.getOperation_RedefinedOperations()
@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
PivotPackage.getOperation_OwnedPreconditions()
,
Constraint.getOwningPreContext()
@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
PivotPackage.getOperation_OwnedPostconditions()
,
Constraint.getOwningPostContext()
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
Operation.setBodyExpression(LanguageExpression)
,
PivotPackage.getOperation_BodyExpression()
public void setBodyExpression(LanguageExpression value)
Operation
Body Expression
' containment reference.
setBodyExpression
in interface Operation
value
- the new value of the 'Body Expression' containment reference.Operation.getBodyExpression()
public boolean isIsInvalidating()
Operation
"false"
.
If the meaning of the 'Is Invalidating' attribute isn't clear, there really should be more of a description here...
isIsInvalidating
in interface Operation
Operation.setIsInvalidating(boolean)
,
PivotPackage.getOperation_IsInvalidating()
public void setIsInvalidating(boolean value)
Operation
Is Invalidating
' attribute.
setIsInvalidating
in interface Operation
value
- the new value of the 'Is Invalidating' attribute.Operation.isIsInvalidating()
public boolean isIsTypeof()
Operation
"false"
.
If the meaning of the 'Is Typeof' attribute isn't clear, there really should be more of a description here...
isIsTypeof
in interface Operation
Operation.setIsTypeof(boolean)
,
PivotPackage.getOperation_IsTypeof()
public void setIsTypeof(boolean value)
Operation
Is Typeof
' attribute.
setIsTypeof
in interface Operation
value
- the new value of the 'Is Typeof' attribute.Operation.isIsTypeof()
public boolean isIsValidating()
Operation
"false"
.
If the meaning of the 'Is Validating' attribute isn't clear, there really should be more of a description here...
isIsValidating
in interface Operation
Operation.setIsValidating(boolean)
,
PivotPackage.getOperation_IsValidating()
public void setIsValidating(boolean value)
Operation
Is Validating
' attribute.
setIsValidating
in interface Operation
value
- the new value of the 'Is Validating' attribute.Operation.isIsValidating()
public void setOwningClass(Class value)
Operation
Owning Class
' container reference.
setOwningClass
in interface Operation
value
- the new value of the 'Owning Class' container reference.Operation.getOwningClass()
public boolean validateCompatibleReturn(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Operation
validateCompatibleReturn
in interface Operation
public boolean validateLoadableImplementation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Operation
validateLoadableImplementation
in interface Operation
public boolean validateUniquePreconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Operation
validateUniquePreconditionName
in interface Operation
public boolean validateUniquePostconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
Operation
validateUniquePostconditionName
in interface Operation
public int getIndex()
Operation
@Nullable public CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Operation
getInheritance
in interface Operation
@NonNull public OperationId getOperationId()
getOperationId
in interface Operation
@NonNull public ParametersId getParametersId()
Operation
getParametersId
in interface Operation
@NonNull public ParameterTypes getParameterTypes()
Operation
getParameterTypes
in interface Operation
@NonNull public TemplateParameters getTypeParameters()
Operation
getTypeParameters
in interface Operation