public interface Operation extends Feature, Namespace, TemplateableElement, ParameterableElement, DomainOperation
PivotPackage.getOperation()
Modifier and Type | Method and Description |
---|---|
OpaqueExpression |
createBodyExpression()
Creates a new
OpaqueExpression and sets the 'Body Expression' containment reference. |
OpaqueExpression |
createBodyExpression(org.eclipse.emf.ecore.EClass eClass)
Creates a new
OpaqueExpression and sets the 'Body Expression' containment reference. |
Parameter |
createOwnedParameter()
Creates a new
Parameter and appends it to the 'Owned Parameter' containment reference list. |
Constraint |
createPostcondition()
Creates a new
Constraint and appends it to the 'Postcondition' containment reference list. |
Constraint |
createPrecondition()
Creates a new
Constraint and appends it to the 'Precondition' containment reference list. |
OpaqueExpression |
getBodyExpression()
Returns the value of the 'Body Expression' containment reference.
|
Class |
getClass_()
Returns the value of the 'Class' reference.
|
java.util.List<Parameter> |
getOwnedParameter()
Returns the value of the 'Owned Parameter' containment reference list.
|
Type |
getOwningType()
Returns the value of the 'Owning Type' container reference.
|
java.util.List<Constraint> |
getPostcondition()
Returns the value of the 'Postcondition' containment reference list.
|
Precedence |
getPrecedence()
Returns the value of the 'Precedence' reference.
|
java.util.List<Constraint> |
getPrecondition()
Returns the value of the 'Precondition' containment reference list.
|
java.util.List<Type> |
getRaisedException()
Returns the value of the 'Raised Exception' reference list.
|
java.util.List<Operation> |
getRedefinedOperation()
Returns the value of the 'Redefined Operation' reference list.
|
boolean |
isInvalidating()
Returns the value of the 'Is Invalidating' attribute.
|
boolean |
isValidating()
Returns the value of the 'Is Validating' attribute.
|
void |
setBodyExpression(OpaqueExpression value)
Sets the value of the '
Body Expression ' containment reference. |
void |
setIsInvalidating(boolean value)
Sets the value of the '
Is Invalidating ' attribute. |
void |
setIsValidating(boolean value)
Sets the value of the '
Is Validating ' attribute. |
void |
setOwningType(Type value)
Sets the value of the '
Owning Type ' 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, setImplementation, setImplementationClass
CompatibleBody, isMany, makeParameter
getType, isRequired, setIsRequired, setType
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
getTypeId
createOwnedRule, getOwnedRule
createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter
getIndex, getInheritance, getOperationId, getParametersId, getParameterTypes, getTypeParameters
getImplementation, isStatic
@NonNull java.util.List<Type> getRaisedException()
Type
.
The exceptions that are declared as possible during an invocation of the operation.
PivotPackage.getOperation_RaisedException()
@NonNull java.util.List<Parameter> getOwnedParameter()
Parameter
.
It is bidirectional and its opposite is 'Operation
'.
The parameters to the operation.
getOwnedParameter
in interface DomainOperation
PivotPackage.getOperation_OwnedParameter()
,
Parameter.getOperation()
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()
@NonNull java.util.List<Operation> getRedefinedOperation()
Operation
.
If the meaning of the 'Redefined Operation' reference list isn't clear, there really should be more of a description here...
PivotPackage.getOperation_RedefinedOperation()
Parameter createOwnedParameter()
Parameter
and appends it to the 'Owned Parameter' containment reference list.
Parameter
.getOwnedParameter()
Type getOwningType()
Owned Operation
'.
If the meaning of the 'Owning Type' container reference isn't clear, there really should be more of a description here...
getOwningType
in interface DomainFeature
setOwningType(Type)
,
PivotPackage.getOperation_OwningType()
,
Type.getOwnedOperation()
void setOwningType(Type value)
Owning Type
' container reference.
value
- the new value of the 'Owning Type' container reference.getOwningType()
@NonNull java.util.List<Constraint> getPrecondition()
Constraint
.
If the meaning of the 'Precondition' containment reference list isn't clear, there really should be more of a description here...
getPrecondition
in interface DomainOperation
PivotPackage.getOperation_Precondition()
Constraint createPrecondition()
Constraint
and appends it to the 'Precondition' containment reference list.
Constraint
.getPrecondition()
@NonNull java.util.List<Constraint> getPostcondition()
Constraint
.
If the meaning of the 'Postcondition' containment reference list isn't clear, there really should be more of a description here...
getPostcondition
in interface DomainOperation
PivotPackage.getOperation_Postcondition()
Constraint createPostcondition()
Constraint
and appends it to the 'Postcondition' containment reference list.
Constraint
.getPostcondition()
OpaqueExpression getBodyExpression()
If the meaning of the 'Body Expression' containment reference isn't clear, there really should be more of a description here...
getBodyExpression
in interface DomainOperation
setBodyExpression(OpaqueExpression)
,
PivotPackage.getOperation_BodyExpression()
void setBodyExpression(OpaqueExpression value)
Body Expression
' containment reference.
value
- the new value of the 'Body Expression' containment reference.getBodyExpression()
OpaqueExpression createBodyExpression(org.eclipse.emf.ecore.EClass eClass)
OpaqueExpression
and sets the 'Body Expression' containment reference.
eClass
- The Ecore class of the OpaqueExpression
to create.OpaqueExpression
.getBodyExpression()
OpaqueExpression createBodyExpression()
OpaqueExpression
and sets the 'Body Expression' containment reference.
OpaqueExpression
.getBodyExpression()
boolean isInvalidating()
"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.isInvalidating()
boolean isValidating()
"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.isValidating()
Class getClass_()
PivotPackage.getOperation_Class()
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)