org.eclipse.ocl.expressions
Interface OperationCallExp<C,O>

All Superinterfaces:

ASTNode, CallExp<C>, CallingASTNode, org.eclipse.emf.ecore.EObject, FeatureCallExp<C>, org.eclipse.emf.common.notify.Notifier, OCLExpression<C>, TypedElement<C>, Visitable

All Known Subinterfaces:

OperationCallExp, OperationCallExp

All Known Implementing Classes:

OperationCallExpImpl, OperationCallExpImpl, OperationCallExpImpl

public interface OperationCallExp<C,O>
extends FeatureCallExp<C>

A representation of the model object 'Operation Call Exp'.

The following features are supported:

• Argument
• Referred Operation
• Operation Code

See Also:

ExpressionsPackage.getOperationCallExp()

Generated

Model

Method Summary

boolean	checkArgumentCount(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) arguments->size() = refParams->size()
boolean	checkArgumentsConform(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) arguments->forall (a | a.type.conformsTo (self.refParams->at (arguments->indexOf (a)).type))
org.eclipse.emf.common.util.EList<OCLExpression<C>>	getArgument() Returns the value of the 'Argument' containment reference list.
int	getOperationCode() Returns the value of the 'Operation Code' attribute.
O	getReferredOperation() Returns the value of the 'Referred Operation' reference.
void	setOperationCode(int value) Sets the value of the 'Operation Code' attribute.
void	setReferredOperation(O value) Sets the value of the 'Referred Operation' reference.

Methods inherited from interface org.eclipse.ocl.expressions.FeatureCallExp

isMarkedPre, setMarkedPre

Methods inherited from interface org.eclipse.ocl.expressions.CallExp

getSource, setSource

Methods inherited from interface org.eclipse.ocl.utilities.TypedElement

getName, getType, setName, setType

Methods inherited from interface org.eclipse.ocl.utilities.Visitable

accept

Methods inherited from interface org.eclipse.ocl.utilities.CallingASTNode

getPropertyEndPosition, getPropertyStartPosition, setPropertyEndPosition, setPropertyStartPosition

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

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

getArgument

org.eclipse.emf.common.util.EList<OCLExpression<C>> getArgument()

Returns the value of the 'Argument' containment reference list. The list contents are of type OCLExpression<C>.

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

Returns:

the value of the 'Argument' containment reference list.

See Also:

ExpressionsPackage.getOperationCallExp_Argument()

Generated

Model

containment="true"

getReferredOperation

O getReferredOperation()

Returns the value of the 'Referred Operation' reference.

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

Returns:

the value of the 'Referred Operation' reference.

See Also:

setReferredOperation(Object), ExpressionsPackage.getOperationCallExp_ReferredOperation()

Generated

Model

kind="reference"

setReferredOperation

void setReferredOperation(O value)

Sets the value of the 'Referred Operation' reference.

Parameters:

value - the new value of the 'Referred Operation' reference.

See Also:

getReferredOperation()

Generated

getOperationCode

int getOperationCode()

Returns the value of the 'Operation Code' attribute.

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

Returns:

the value of the 'Operation Code' attribute.

See Also:

setOperationCode(int), ExpressionsPackage.getOperationCallExp_OperationCode()

Generated

Model

transient="true" volatile="true"

setOperationCode

void setOperationCode(int value)

Sets the value of the 'Operation Code' attribute.

Parameters:

value - the new value of the 'Operation Code' attribute.

See Also:

getOperationCode()

Generated

checkArgumentsConform

boolean checkArgumentsConform(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

arguments->forall (a | a.type.conformsTo (self.refParams->at (arguments->indexOf (a)).type))

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkArgumentCount

boolean checkArgumentCount(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

arguments->size() = refParams->size()

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model