org.eclipse.ocl.examples.xtext.completeocl.completeoclcs
Interface OperationContextDeclCS

All Superinterfaces:

ContextDeclCS, ElementCS, org.eclipse.emf.ecore.EObject, FeatureContextDeclCS, ModelElementCS, MorePivotable, org.eclipse.emf.common.notify.Notifier, PathNameDeclCS, Pivotable, PivotableElementCS, PivotObject, VisitableCS

All Known Implementing Classes:

OperationContextDeclCSImpl

public interface OperationContextDeclCS
extends FeatureContextDeclCS

A representation of the model object 'Operation Context Decl CS'.

The following features are supported:

• Operation
• Parameters
• Result
• Preconditions
• Postconditions
• Bodies

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS()

Generated

Model

Method Summary

org.eclipse.emf.common.util.EList<ExpSpecificationCS>	getBodies() Returns the value of the 'Bodies' containment reference list.
Operation	getOperation() Returns the value of the 'Operation' reference.
org.eclipse.emf.common.util.EList<ParameterCS>	getParameters() Returns the value of the 'Parameters' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getPostconditions() Returns the value of the 'Postconditions' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getPreconditions() Returns the value of the 'Preconditions' containment reference list.
VariableCS	getResult() Returns the value of the 'Result' containment reference.
void	setResult(VariableCS value) Sets the value of the 'Result' containment reference.

Methods inherited from interface org.eclipse.ocl.examples.xtext.completeocl.completeoclcs.FeatureContextDeclCS

getClass_, getOwnedType, setClass, setOwnedType

Methods inherited from interface org.eclipse.ocl.examples.xtext.completeocl.completeoclcs.PathNameDeclCS

getPathName, setPathName

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.pivot.util.MorePivotable

getMorePivots

Method Detail

getOperation

Operation getOperation()

Returns the value of the 'Operation' reference.

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

Returns:

the value of the 'Operation' reference.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_Operation()

Generated

Model

resolveProxies="false" transient="true" changeable="false" volatile="true" derived="true"

getParameters

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

Returns the value of the 'Parameters' containment reference list. The list contents are of type ParameterCS.

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

Returns:

the value of the 'Parameters' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_Parameters()

Generated

Model

containment="true"

getResult

VariableCS getResult()

Returns the value of the 'Result' containment reference.

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

Returns:

the value of the 'Result' containment reference.

See Also:

setResult(VariableCS), CompleteOCLCSPackage.getOperationContextDeclCS_Result()

Generated

Model

containment="true" transient="true" derived="true"

setResult

void setResult(VariableCS value)

Sets the value of the 'Result' containment reference.

Parameters:

value - the new value of the 'Result' containment reference.

See Also:

getResult()

Generated

getPreconditions

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

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

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

Returns:

the value of the 'Preconditions' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_Preconditions()

Generated

Model

containment="true"

getPostconditions

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

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

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

Returns:

the value of the 'Postconditions' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_Postconditions()

Generated

Model

containment="true"

getBodies

org.eclipse.emf.common.util.EList<ExpSpecificationCS> getBodies()

Returns the value of the 'Bodies' containment reference list. The list contents are of type ExpSpecificationCS.

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

Returns:

the value of the 'Bodies' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_Bodies()

Generated

Model

containment="true"