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()

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