public interface Operation extends Feature, Namespace, TemplateableElement
PivotPackage.getOperation()
The following features are supported:
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() |
List<Parameter> |
getOwnedParameters()
Returns the value of the 'Owned Parameters' containment reference list.
|
List<Constraint> |
getOwnedPostconditions()
Returns the value of the 'Owned Postconditions' containment reference list.
|
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.
|
List<Type> |
getRaisedExceptions()
Returns the value of the 'Raised Exceptions' reference list.
|
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 |
isIsTransient()
Returns the value of the 'Is Transient' 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 |
setIsTransient(boolean value)
Sets the value of the '
Is Transient ' 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(DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLoadableImplementation(DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUniquePostconditionName(DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUniquePreconditionName(DiagnosticChain diagnostics,
Map<Object,Object> context) |
getImplementation, getImplementationClass, isIsStatic, setImplementation, setImplementationClass, setIsStatic, validateNameIsNotNull, validateTypeIsNotInvalid, validateTypeIsNotNull
CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
getOwnedConstraints
getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement
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()
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()
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()
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()
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 isIsTransient()
"false"
.
If the meaning of the 'Is Transient' attribute isn't clear, there really should be more of a description here...
setIsTransient(boolean)
,
PivotPackage.getOperation_IsTransient()
void setIsTransient(boolean value)
Is Transient
' attribute.
value
- the new value of the 'Is Transient' attribute.isIsTransient()
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(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean validateLoadableImplementation(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean validateUniquePreconditionName(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean validateUniquePostconditionName(DiagnosticChain diagnostics, Map<Object,Object> context)
int getIndex()
CompleteInheritance getInheritance(StandardLibrary standardLibrary)
OperationId getOperationId()
ParametersId getParametersId()
ParameterTypes getParameterTypes()
TemplateParameters getTypeParameters()
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.