org.eclipse.ocl.examples.pivot
Interface Operation

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Feature, java.lang.Iterable<Operation>, MonikeredElement, MultiplicityElement, 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, java.lang.Iterable<Operation>

A representation of the model object 'Operation'.

See Also:

PivotPackage.getOperation()

Generated

Model

Method Summary

Parameter	createOwnedParameter() Creates a new Parameter and appends it to the 'Owned Parameter' containment reference list.
Class	getClass_() Returns the value of the 'Class' container reference.
org.eclipse.emf.common.util.EList<Parameter>	getOwnedParameters() Returns the value of the 'Owned Parameter' containment reference list.
Precedence	getPrecedence() Returns the value of the 'Precedence' reference.
org.eclipse.emf.common.util.EList<Type>	getRaisedExceptions() Returns the value of the 'Raised Exception' reference list.
void	setClass_(Class value) Sets the value of the 'Class' container reference.
void	setPrecedence(Precedence value) Sets the value of the 'Precedence' reference.
boolean	validateTestConstraint(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.ownedParameter->size() = 1

Methods inherited from interface org.eclipse.ocl.examples.pivot.Feature

getImplementation, getImplementationClass, setImplementation, setImplementationClass

Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement

getType, setType

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotations, getOwnedRules, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.MonikeredElement

getMoniker, hasMoniker, setMoniker

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

createOwnedComment, getETarget, getOwnedComments

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.pivot.MultiplicityElement

getLower, getUpper, includesCardinality, includesMultiplicity, isMultivalued, isOrdered, isUnique, lowerBound, setIsOrdered, setIsUnique, setLower, setUpper, upperBound, validateLowerGe0, validateUpperGeLower

Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement

createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBindings, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

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

Model

ordered="false"

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

getRaisedExceptions

org.eclipse.emf.common.util.EList<Type> getRaisedExceptions()

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

Model

ordered="false"

getOwnedParameters

org.eclipse.emf.common.util.EList<Parameter> getOwnedParameters()

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.

Returns:

the value of the 'Owned Parameter' containment reference list.

See Also:

PivotPackage.getOperation_OwnedParameter(), Parameter.getOperation()

Generated

Model

opposite="operation" containment="true"

createOwnedParameter

Parameter createOwnedParameter()

Creates a new Parameter and appends it to the 'Owned Parameter' containment reference list.

Returns:

The new Parameter.

See Also:

getOwnedParameters()

Generated

getClass_

Class getClass_()

Returns the value of the 'Class' container reference. It is bidirectional and its opposite is 'Owned Operation'. The class that owns the operation.

Returns:

the value of the 'Class' container reference.

See Also:

setClass_(org.eclipse.ocl.examples.pivot.Class), PivotPackage.getOperation_Class(), Class.getOwnedOperations()

Generated

Model

opposite="ownedOperation" transient="false" ordered="false"

setClass_

void setClass_(Class value)

Sets the value of the 'Class' container reference.

Parameters:

value - the new value of the 'Class' container reference.

See Also:

getClass_()

Generated

validateTestConstraint

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

self.ownedParameter->size() = 1

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model