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:

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"