org.eclipse.ocl.cst

Interface OperationContextDeclCS

All Superinterfaces:

ContextDeclCS, CSTNode, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

OperationContextDeclCSImpl

public interface OperationContextDeclCS
extends ContextDeclCS

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

The following features are supported:

• Operation CS
• Pre Post Or Body Decls

See Also:

CSTPackage.getOperationContextDeclCS()

Generated

Model

Method Summary

Modifier and Type	Method and Description
OperationCS	getOperationCS() Returns the value of the 'Operation CS' containment reference.
org.eclipse.emf.common.util.EList<PrePostOrBodyDeclCS>	getPrePostOrBodyDecls() Returns the value of the 'Pre Post Or Body Decls' containment reference list.
void	setOperationCS(OperationCS value) Sets the value of the 'Operation CS' containment reference.

Methods inherited from interface org.eclipse.ocl.cst.CSTNode

getAst, getEndOffset, getEndToken, getStartOffset, getStartToken, setAst, setEndOffset, setEndToken, setStartOffset, setStartToken

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

Method Detail

getOperationCS

OperationCS getOperationCS()

Returns the value of the 'Operation CS' containment reference.

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

Returns:

the value of the 'Operation CS' containment reference.

See Also:

setOperationCS(OperationCS), CSTPackage.getOperationContextDeclCS_OperationCS()

Generated

Model

containment="true"

setOperationCS

void setOperationCS(OperationCS value)

Sets the value of the 'Operation CS' containment reference.

Parameters:

value - the new value of the 'Operation CS' containment reference.

See Also:

getOperationCS()

Generated

getPrePostOrBodyDecls

org.eclipse.emf.common.util.EList<PrePostOrBodyDeclCS> getPrePostOrBodyDecls()

Returns the value of the 'Pre Post Or Body Decls' containment reference list. The list contents are of type PrePostOrBodyDeclCS.

If the meaning of the 'Pre Post Or Body Decls' containment reference list isn't clear, there really should be more of a description here...

Returns:

the value of the 'Pre Post Or Body Decls' containment reference list.

See Also:

CSTPackage.getOperationContextDeclCS_PrePostOrBodyDecls()

Generated

Model

containment="true" required="true"