public interface Operation extends Feature, Namespace, TemplateableElement
The following features are supported:
PivotPackage.getOperation()
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<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.
|
Class |
getOwningClass()
Returns the value of the 'Owning Class' container 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.
|
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 |
setOwningClass(Class value)
Sets the value of the '
Owning Class ' container reference. |
void |
setPrecedence(Precedence value)
Sets the value of the '
Precedence ' 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, 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
eAdapters, eDeliver, eNotify, eSetDeliver
getOwnedConstraints
getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement
@NonNull java.util.List<Type> getRaisedExceptions()
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.
PivotPackage.getOperation_RaisedExceptions()
java.util.List<Operation> getRedefinedOperations()
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.PivotPackage.getOperation_RedefinedOperations()
@NonNull java.util.List<Parameter> getOwnedParameters()
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.
PivotPackage.getOperation_OwnedParameters()
,
Parameter.getOwningOperation()
java.util.List<Constraint> getOwnedPostconditions()
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.PivotPackage.getOperation_OwnedPostconditions()
,
Constraint.getOwningPostContext()
java.util.List<Constraint> getOwnedPreconditions()
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.PivotPackage.getOperation_OwnedPreconditions()
,
Constraint.getOwningPreContext()
Precedence getPrecedence()
If the meaning of the 'Precedence' reference isn't clear, there really should be more of a description here...
setPrecedence(Precedence)
,
PivotPackage.getOperation_Precedence()
void setPrecedence(Precedence value)
Precedence
' reference.
value
- the new value of the 'Precedence' reference.getPrecedence()
LanguageExpression getBodyExpression()
If the meaning of the 'Body Expression' containment reference isn't clear, there really should be more of a description here...
setBodyExpression(LanguageExpression)
,
PivotPackage.getOperation_BodyExpression()
void setBodyExpression(LanguageExpression value)
Body Expression
' containment reference.
value
- the new value of the 'Body Expression' containment reference.getBodyExpression()
boolean isIsInvalidating()
"false"
.
If the meaning of the 'Is Invalidating' attribute isn't clear, there really should be more of a description here...
setIsInvalidating(boolean)
,
PivotPackage.getOperation_IsInvalidating()
void setIsInvalidating(boolean value)
Is Invalidating
' attribute.
value
- the new value of the 'Is Invalidating' attribute.isIsInvalidating()
boolean isIsTypeof()
"false"
.
If the meaning of the 'Is Typeof' attribute isn't clear, there really should be more of a description here...
setIsTypeof(boolean)
,
PivotPackage.getOperation_IsTypeof()
void setIsTypeof(boolean value)
Is Typeof
' attribute.
value
- the new value of the 'Is Typeof' attribute.isIsTypeof()
boolean isIsValidating()
"false"
.
If the meaning of the 'Is Validating' attribute isn't clear, there really should be more of a description here...
setIsValidating(boolean)
,
PivotPackage.getOperation_IsValidating()
void setIsValidating(boolean value)
Is Validating
' attribute.
value
- the new value of the 'Is Validating' attribute.isIsValidating()
Class getOwningClass()
Owned Operations
'.
The Class that owns this operation, if any.
getOwningClass
in interface Feature
setOwningClass(org.eclipse.ocl.pivot.Class)
,
PivotPackage.getOperation_OwningClass()
,
Class.getOwnedOperations()
void setOwningClass(Class value)
Owning Class
' container reference.
value
- the new value of the 'Owning Class' container reference.getOwningClass()
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 validateUniquePreconditionName(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)
int getIndex()
@Nullable CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
@NonNull OperationId getOperationId()
@NonNull ParametersId getParametersId()
@NonNull ParameterTypes getParameterTypes()
@NonNull TemplateParameters getTypeParameters()