|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Operation
A representation of the model object 'Operation'.
PivotPackage.getOperation()
The following features are supported:
Method Summary | |
---|---|
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)
|
Methods inherited from interface org.eclipse.ocl.examples.pivot.Feature |
---|
getImplementation, getImplementationClass, setImplementation, setImplementationClass |
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedMultiplicityElement |
---|
CompatibleBody, isMany, makeParameter |
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement |
---|
getType, isRequired, setIsRequired, setType |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
getName, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable |
---|
accept, eClass |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement |
---|
getTypeId |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement |
---|
getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement |
Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement |
---|
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainOperation |
---|
getIndex, getInheritance, getOperationId, getParametersId, getParameterTypes, getTypeParameters |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainFeature |
---|
getImplementation, isStatic |
Method Detail |
---|
@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()
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()
@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()
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()
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)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |