org.eclipse.ocl.examples.pivot
Interface Operation

All Superinterfaces:
DomainElement, DomainFeature, DomainNamedElement, DomainNamespace, DomainOperation, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, Feature, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, ParameterableElement, PivotObject, TemplateableElement, TypedElement, TypedMultiplicityElement, Visitable
All Known Subinterfaces:
Iteration
All Known Implementing Classes:
IterationImpl, OperationImpl

public interface Operation
extends Feature, Namespace, TemplateableElement, ParameterableElement, DomainOperation

A representation of the model object 'Operation'.

See Also:
PivotPackage.getOperation()
Extends:
org.eclipse.ocl.examples.domain.elements.DomainOperation An operation is owned by a class and may be invoked in the context of objects that are instances of that class. It is a typed element and a multiplicity element. Operation specializes TemplateableElement in order to support specification of template operations and bound operations. Operation specializes ParameterableElement to specify that an operation can be exposed as a formal template parameter, and provided as an actual parameter in a binding of a template.

The following features are supported:

Generated

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

getRaisedException

@NonNull
java.util.List<Type> getRaisedException()
Returns the value of the 'Raised Exception' reference list. The list contents are of type Type. The exceptions that are declared as possible during an invocation of the operation.

Returns:
the value of the 'Raised Exception' reference list.
See Also:
PivotPackage.getOperation_RaisedException()
Generated

getOwnedParameter

@NonNull
java.util.List<Parameter> getOwnedParameter()
Returns the value of the 'Owned Parameter' containment reference list. The list contents are of type Parameter. It is bidirectional and its opposite is 'Operation'. The parameters to the operation.

Specified by:
getOwnedParameter in interface DomainOperation
Returns:
the value of the 'Owned Parameter' containment reference list.
See Also:
PivotPackage.getOperation_OwnedParameter(), Parameter.getOperation()
Generated

getPrecedence

Precedence getPrecedence()
Returns the value of the 'Precedence' reference.

If the meaning of the 'Precedence' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Precedence' reference.
See Also:
setPrecedence(Precedence), PivotPackage.getOperation_Precedence()
Generated

setPrecedence

void setPrecedence(Precedence value)
Sets the value of the 'Precedence' reference.

Parameters:
value - the new value of the 'Precedence' reference.
See Also:
getPrecedence()
Generated

getRedefinedOperation

@NonNull
java.util.List<Operation> getRedefinedOperation()
Returns the value of the 'Redefined Operation' reference list. The list contents are of type Operation.

If the meaning of the 'Redefined Operation' reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Redefined Operation' reference list.
See Also:
PivotPackage.getOperation_RedefinedOperation()
Generated

getOwningType

Type getOwningType()
Returns the value of the 'Owning Type' container reference. It is bidirectional and its opposite is 'Owned Operation'.

If the meaning of the 'Owning Type' container reference isn't clear, there really should be more of a description here...

Specified by:
getOwningType in interface DomainFeature
Returns:
the value of the 'Owning Type' container reference.
See Also:
setOwningType(Type), PivotPackage.getOperation_OwningType(), Type.getOwnedOperation()
Generated

setOwningType

void setOwningType(Type value)
Sets the value of the 'Owning Type' container reference.

Parameters:
value - the new value of the 'Owning Type' container reference.
See Also:
getOwningType()
Generated

getPrecondition

@NonNull
java.util.List<Constraint> getPrecondition()
Returns the value of the 'Precondition' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Precondition' containment reference list isn't clear, there really should be more of a description here...

Specified by:
getPrecondition in interface DomainOperation
Returns:
the value of the 'Precondition' containment reference list.
See Also:
PivotPackage.getOperation_Precondition()
Generated

getPostcondition

@NonNull
java.util.List<Constraint> getPostcondition()
Returns the value of the 'Postcondition' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Postcondition' containment reference list isn't clear, there really should be more of a description here...

Specified by:
getPostcondition in interface DomainOperation
Returns:
the value of the 'Postcondition' containment reference list.
See Also:
PivotPackage.getOperation_Postcondition()
Generated

getBodyExpression

OpaqueExpression getBodyExpression()
Returns the value of the 'Body Expression' containment reference.

If the meaning of the 'Body Expression' containment reference isn't clear, there really should be more of a description here...

Specified by:
getBodyExpression in interface DomainOperation
Returns:
the value of the 'Body Expression' containment reference.
See Also:
setBodyExpression(OpaqueExpression), PivotPackage.getOperation_BodyExpression()
Generated

setBodyExpression

void setBodyExpression(OpaqueExpression value)
Sets the value of the 'Body Expression' containment reference.

Parameters:
value - the new value of the 'Body Expression' containment reference.
See Also:
getBodyExpression()
Generated

isInvalidating

boolean isInvalidating()
Returns the value of the 'Is Invalidating' attribute. The default value is "false".

If the meaning of the 'Is Invalidating' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Is Invalidating' attribute.
See Also:
setIsInvalidating(boolean), PivotPackage.getOperation_IsInvalidating()
Generated

setIsInvalidating

void setIsInvalidating(boolean value)
Sets the value of the 'Is Invalidating' attribute.

Parameters:
value - the new value of the 'Is Invalidating' attribute.
See Also:
isInvalidating()
Generated

isValidating

boolean isValidating()
Returns the value of the 'Is Validating' attribute. The default value is "false".

If the meaning of the 'Is Validating' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Is Validating' attribute.
See Also:
setIsValidating(boolean), PivotPackage.getOperation_IsValidating()
Generated

setIsValidating

void setIsValidating(boolean value)
Sets the value of the 'Is Validating' attribute.

Parameters:
value - the new value of the 'Is Validating' attribute.
See Also:
isValidating()
Generated

getClass_

Class getClass_()
Returns the value of the 'Class' reference. The class that owns the operation.

Returns:
the value of the 'Class' reference.
See Also:
PivotPackage.getOperation_Class()
Generated

validateCompatibleReturn

boolean validateCompatibleReturn(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLoadableImplementation

boolean validateLoadableImplementation(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUniquePreconditionName

boolean validateUniquePreconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUniquePostconditionName

boolean validateUniquePostconditionName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        java.util.Map<java.lang.Object,java.lang.Object> context)

Generated