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:

See Also:
ExpressionsPackage.getMessageExp()
Generated
Model

Method Summary
 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