org.eclipse.ocl.pivot

Interface MessageExp

All Superinterfaces:

Element, Nameable, NamedElement, OCLExpression, TypedElement, Visitable

All Known Implementing Classes:

MessageExpImpl

public interface MessageExp
extends OCLExpression

A representation of the model object 'Message Exp'.

The following features are supported:

• Owned Arguments
• Owned Called Operation
• Owned Sent Signal
• Owned Target

See Also:

PivotPackage.getMessageExp()

EMF generated code

Method Summary

Modifier and Type	Method and Description
List<OCLExpression>	getOwnedArguments() Returns the value of the 'Owned Arguments' containment reference list.
CallOperationAction	getOwnedCalledOperation() Returns the value of the 'Owned Called Operation' containment reference.
SendSignalAction	getOwnedSentSignal() Returns the value of the 'Owned Sent Signal' containment reference.
OCLExpression	getOwnedTarget() Returns the value of the 'Owned Target' containment reference.
void	setOwnedCalledOperation(CallOperationAction value) Sets the value of the 'Owned Called Operation' containment reference.
void	setOwnedSentSignal(SendSignalAction value) Sets the value of the 'Owned Sent Signal' containment reference.
void	setOwnedTarget(OCLExpression value) Sets the value of the 'Owned Target' containment reference.
boolean	validateOneCallOrOneSend(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTargetIsNotACollection(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from interface org.eclipse.ocl.pivot.OCLExpression

getTypeValue, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

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

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Method Detail

getOwnedTarget

OCLExpression getOwnedTarget()

Returns the value of the 'Owned Target' containment reference.

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

Returns:

the value of the 'Owned Target' containment reference.

See Also:

setOwnedTarget(OCLExpression), PivotPackage.getMessageExp_OwnedTarget()

EMF generated code

setOwnedTarget

void setOwnedTarget(OCLExpression value)

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

Parameters:

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

See Also:

getOwnedTarget()

EMF generated code

getOwnedArguments

List<OCLExpression> getOwnedArguments()

Returns the value of the 'Owned Arguments' containment reference list. The list contents are of type OCLExpression.

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 'Owned Arguments' containment reference list.

See Also:

PivotPackage.getMessageExp_OwnedArguments()

EMF generated code

getOwnedCalledOperation

CallOperationAction getOwnedCalledOperation()

Returns the value of the 'Owned Called Operation' containment reference.

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

Returns:

the value of the 'Owned Called Operation' containment reference.

See Also:

setOwnedCalledOperation(CallOperationAction), PivotPackage.getMessageExp_OwnedCalledOperation()

EMF generated code

setOwnedCalledOperation

void setOwnedCalledOperation(CallOperationAction value)

Sets the value of the 'Owned Called Operation' containment reference.

Parameters:

value - the new value of the 'Owned Called Operation' containment reference.

See Also:

getOwnedCalledOperation()

EMF generated code

getOwnedSentSignal

SendSignalAction getOwnedSentSignal()

Returns the value of the 'Owned Sent Signal' containment reference.

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

Returns:

the value of the 'Owned Sent Signal' containment reference.

See Also:

setOwnedSentSignal(SendSignalAction), PivotPackage.getMessageExp_OwnedSentSignal()

EMF generated code

setOwnedSentSignal

void setOwnedSentSignal(SendSignalAction value)

Sets the value of the 'Owned Sent Signal' containment reference.

Parameters:

value - the new value of the 'Owned Sent Signal' containment reference.

See Also:

getOwnedSentSignal()

EMF generated code

validateOneCallOrOneSend

boolean validateOneCallOrOneSend(DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code

validateTargetIsNotACollection

boolean validateTargetIsNotACollection(DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

EMF generated code