public interface MessageExp<C,COA,SSA> extends OCLExpression<C>, CallingASTNode
The following features are supported:
ExpressionsPackage.getMessageExp()
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. |
getName, getType, setName, setType
getPropertyEndPosition, getPropertyStartPosition, setPropertyEndPosition, setPropertyStartPosition
getEndPosition, getStartPosition, setEndPosition, setStartPosition
OCLExpression<C> getTarget()
If the meaning of the 'Target' containment reference isn't clear, there really should be more of a description here...
setTarget(OCLExpression)
,
ExpressionsPackage.getMessageExp_Target()
void setTarget(OCLExpression<C> value)
Target
' containment reference.
value
- the new value of the 'Target' containment reference.getTarget()
org.eclipse.emf.common.util.EList<OCLExpression<C>> getArgument()
OCLExpression
<C>.
If the meaning of the 'Argument' containment reference list isn't clear, there really should be more of a description here...
ExpressionsPackage.getMessageExp_Argument()
COA getCalledOperation()
If the meaning of the 'Called Operation' containment reference isn't clear, there really should be more of a description here...
setCalledOperation(Object)
,
ExpressionsPackage.getMessageExp_CalledOperation()
void setCalledOperation(COA value)
Called Operation
' containment reference.
value
- the new value of the 'Called Operation' containment reference.getCalledOperation()
SSA getSentSignal()
If the meaning of the 'Sent Signal' containment reference isn't clear, there really should be more of a description here...
setSentSignal(Object)
,
ExpressionsPackage.getMessageExp_SentSignal()
void setSentSignal(SSA value)
Sent Signal
' containment reference.
value
- the new value of the 'Sent Signal' containment reference.getSentSignal()
boolean checkOperationArguments(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkSignalArguments(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkTargetDefinesOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkHasOperationOrSignal(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkTargetNotCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.