org.eclipse.ocl.xtext.completeoclcs

Interface OperationContextDeclCS

All Superinterfaces:

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

All Known Implementing Classes:

OperationContextDeclCSImpl

public interface OperationContextDeclCS
extends FeatureContextDeclCS, TemplateableElementCS

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

The following features are supported:

• Owned Bodies
• Owned Parameters
• Owned Postconditions
• Owned Preconditions
• Owned Result
• Referred Operation

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS()

Generated

Model

Method Summary

Modifier and Type	Method and Description
org.eclipse.emf.common.util.EList<ExpSpecificationCS>	getOwnedBodies() Returns the value of the 'Owned Bodies' containment reference list.
org.eclipse.emf.common.util.EList<ParameterCS>	getOwnedParameters() Returns the value of the 'Owned Parameters' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getOwnedPostconditions() Returns the value of the 'Owned Postconditions' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintCS>	getOwnedPreconditions() Returns the value of the 'Owned Preconditions' containment reference list.
VariableCS	getOwnedResult() Returns the value of the 'Owned Result' containment reference.
Operation	getReferredOperation() Returns the value of the 'Referred Operation' reference.
void	setOwnedResult(VariableCS value) Sets the value of the 'Owned Result' containment reference.

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

getOwnedType, setOwnedType

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

getOwnedPathName, setOwnedPathName

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

getOriginalXmiId, getOwnedAnnotations, setOriginalXmiId

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

getPivot, setPivot

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

accept, getCsi, getDescription, getParent, setCsi

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

eClass

Methods inherited from interface org.eclipse.ocl.pivot.utilities.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.pivot.utilities.MorePivotable

getMorePivots

Methods inherited from interface org.eclipse.ocl.xtext.basecs.TemplateableElementCS

getOwnedSignature, setOwnedSignature

Method Detail

getReferredOperation

Operation getReferredOperation()

Returns the value of the 'Referred 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 'Referred Operation' reference.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_ReferredOperation()

Generated

Model

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

getOwnedParameters

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

Returns the value of the 'Owned 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 'Owned Parameters' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_OwnedParameters()

Generated

Model

containment="true"

getOwnedResult

VariableCS getOwnedResult()

Returns the value of the 'Owned 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 'Owned Result' containment reference.

See Also:

setOwnedResult(VariableCS), CompleteOCLCSPackage.getOperationContextDeclCS_OwnedResult()

Generated

Model

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

setOwnedResult

void setOwnedResult(VariableCS value)

Sets the value of the 'Owned Result' containment reference.

Parameters:

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

See Also:

getOwnedResult()

Generated

getOwnedPreconditions

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

Returns the value of the 'Owned 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 'Owned Preconditions' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_OwnedPreconditions()

Generated

Model

containment="true"

getOwnedPostconditions

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

Returns the value of the 'Owned 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 'Owned Postconditions' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_OwnedPostconditions()

Generated

Model

containment="true"

getOwnedBodies

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

Returns the value of the 'Owned 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 'Owned Bodies' containment reference list.

See Also:

CompleteOCLCSPackage.getOperationContextDeclCS_OwnedBodies()

Generated

Model

containment="true"