org.eclipse.ocl.examples.xtext.base.basecs
Interface OperationCS

All Superinterfaces:

ElementCS, org.eclipse.emf.ecore.EObject, FeatureCS, ModelElementCS, Nameable, NamedElementCS, org.eclipse.emf.common.notify.Notifier, Pivotable, PivotableElementCS, PivotObject, TemplateableElementCS, TypedElementCS, VisitableCS

All Known Subinterfaces:

LibIterationCS, LibOperationCS

All Known Implementing Classes:

LibIterationCSImpl, LibOperationCSImpl, OperationCSImpl

public interface OperationCS
extends FeatureCS, TemplateableElementCS

A representation of the model object 'Operation CS'.

The following features are supported:

• Owning Class
• Owned Parameter
• Owned Exception
• Owned Precondition
• Owned Postcondition
• Owned Body Expression

See Also:

BaseCSPackage.getOperationCS()

Generated

Model

Method Summary

Operation	ast()
org.eclipse.emf.common.util.EList<SpecificationCS>	getOwnedBodyExpression() Returns the value of the 'Owned Body Expression' containment reference list.
org.eclipse.emf.common.util.EList<TypedRefCS>	getOwnedException() Returns the value of the 'Owned Exception' containment reference list.
org.eclipse.emf.common.util.EList<ParameterCS>	getOwnedParameter() Returns the value of the 'Owned Parameter' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getOwnedPostcondition() Returns the value of the 'Owned Postcondition' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getOwnedPrecondition() Returns the value of the 'Owned Precondition' containment reference list.
ClassCS	getOwningClass() Returns the value of the 'Owning Class' container reference.
void	setOwningClass(ClassCS value) Sets the value of the 'Owning Class' container reference.

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.TypedElementCS

getOwnedType, getQualifier, isOptional, setOptional, setOwnedType

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.NamedElementCS

getName, setName

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.ModelElementCS

getCsi, getOriginalXmiId, getOwnedAnnotation, setCsi, setOriginalXmiId

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.PivotableElementCS

getPivot, setPivot

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.ElementCS

accept, getDescription, getLogicalParent

Methods inherited from interface org.eclipse.ocl.examples.xtext.base.basecs.util.VisitableCS

eClass

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Pivotable

resetPivot

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.xtext.base.basecs.TemplateableElementCS

getOwnedTemplateSignature, setOwnedTemplateSignature

Method Detail

getOwnedParameter

org.eclipse.emf.common.util.EList<ParameterCS> getOwnedParameter()

Returns the value of the 'Owned Parameter' containment reference list. The list contents are of type ParameterCS. It is bidirectional and its opposite is 'Owner'.

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

Returns:

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

See Also:

BaseCSPackage.getOperationCS_OwnedParameter(), ParameterCS.getOwner()

Generated

Model

opposite="owner" containment="true"

getOwnedException

org.eclipse.emf.common.util.EList<TypedRefCS> getOwnedException()

Returns the value of the 'Owned Exception' containment reference list. The list contents are of type TypedRefCS.

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

Returns:

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

See Also:

BaseCSPackage.getOperationCS_OwnedException()

Generated

Model

containment="true"

getOwnedPrecondition

org.eclipse.emf.common.util.EList<ConstraintCS> getOwnedPrecondition()

Returns the value of the 'Owned Precondition' containment reference list. The list contents are of type ConstraintCS.

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

Returns:

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

See Also:

BaseCSPackage.getOperationCS_OwnedPrecondition()

Generated

Model

containment="true"

getOwnedPostcondition

org.eclipse.emf.common.util.EList<ConstraintCS> getOwnedPostcondition()

Returns the value of the 'Owned Postcondition' containment reference list. The list contents are of type ConstraintCS.

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

Returns:

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

See Also:

BaseCSPackage.getOperationCS_OwnedPostcondition()

Generated

Model

containment="true"

getOwnedBodyExpression

org.eclipse.emf.common.util.EList<SpecificationCS> getOwnedBodyExpression()

Returns the value of the 'Owned Body Expression' containment reference list. The list contents are of type SpecificationCS.

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

Returns:

the value of the 'Owned Body Expression' containment reference list.

See Also:

BaseCSPackage.getOperationCS_OwnedBodyExpression()

Generated

Model

containment="true"

ast

Operation ast()

Generated

Model

required="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL body='ocl::Operation {\n\t\t\t\t-- TODO\n\t\t\t\tname = name\n\t\t\t}'"

getOwningClass

ClassCS getOwningClass()

Returns the value of the 'Owning Class' container reference. It is bidirectional and its opposite is 'Owned Operation'.

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

Returns:

the value of the 'Owning Class' container reference.

See Also:

setOwningClass(ClassCS), BaseCSPackage.getOperationCS_OwningClass(), ClassCS.getOwnedOperation()

Generated

Model

opposite="ownedOperation" transient="false"

setOwningClass

void setOwningClass(ClassCS value)

Sets the value of the 'Owning Class' container reference.

Parameters:

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

See Also:

getOwningClass()

Generated