org.eclipse.ocl.expressions

Interface MessageExp<C,COA,SSA>

All Superinterfaces:

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

All Known Subinterfaces:

MessageExp, MessageExp

All Known Implementing Classes:

MessageExpImpl, MessageExpImpl, MessageExpImpl

public interface MessageExp<C,COA,SSA>
extends OCLExpression<C>, CallingASTNode

A representation of the model object 'Message Exp'.

The following features are supported:

• Target
• Argument
• Called Operation
• Sent Signal

See Also:

ExpressionsPackage.getMessageExp()

Generated

Model

Method Summary

Methods

Modifier and Type	Method and Description
boolean	checkHasOperationOrSignal(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) calledOperation->size() + sentSignal->size() = 1
boolean	checkOperationArguments(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) calledOperation->notEmpty() implies argument->forall (a | a.type.conformsTo (self.calledOperation.operation.ownedParameter-> select( kind = ParameterDirectionKind::in ) ->at (argument->indexOf (a)).type))
boolean	checkSignalArguments(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->indexOf (a)).type))
boolean	checkTargetDefinesOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation)
boolean	checkTargetNotCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) not target.type.oclIsKindOf(CollectionType)
org.eclipse.emf.common.util.EList<OCLExpression<C>>	getArgument() Returns the value of the 'Argument' containment reference list.
COA	getCalledOperation() Returns the value of the 'Called Operation' containment reference.
SSA	getSentSignal() Returns the value of the 'Sent Signal' containment reference.
OCLExpression<C>	getTarget() Returns the value of the 'Target' containment reference.
void	setCalledOperation(COA value) Sets the value of the 'Called Operation' containment reference.
void	setSentSignal(SSA value) Sets the value of the 'Sent Signal' containment reference.
void	setTarget(OCLExpression<C> value) Sets the value of the 'Target' containment reference.

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

getTarget

OCLExpression<C> getTarget()

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

See Also:

setTarget(OCLExpression), ExpressionsPackage.getMessageExp_Target()

Generated

Model

containment="true"

setTarget

void setTarget(OCLExpression<C> value)

Sets the value of the 'Target' containment reference.

Parameters:

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

See Also:

getTarget()

Generated

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.getMessageExp_Argument()

Generated

Model

containment="true"

getCalledOperation

COA getCalledOperation()

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

See Also:

setCalledOperation(Object), ExpressionsPackage.getMessageExp_CalledOperation()

Generated

Model

kind="reference" containment="true"

setCalledOperation

void setCalledOperation(COA value)

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

Parameters:

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

See Also:

getCalledOperation()

Generated

getSentSignal

SSA getSentSignal()

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

See Also:

setSentSignal(Object), ExpressionsPackage.getMessageExp_SentSignal()

Generated

Model

kind="reference" containment="true"

setSentSignal

void setSentSignal(SSA value)

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

Parameters:

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

See Also:

getSentSignal()

Generated

checkOperationArguments

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

calledOperation->notEmpty() implies argument->forall (a | a.type.conformsTo (self.calledOperation.operation.ownedParameter-> select( kind = ParameterDirectionKind::in ) ->at (argument->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

checkSignalArguments

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

sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->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

checkTargetDefinesOperation

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

calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation)

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkHasOperationOrSignal

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

calledOperation->size() + sentSignal->size() = 1

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkTargetNotCollection

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

not target.type.oclIsKindOf(CollectionType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model