|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface MessageExp<C,COA,SSA>
A representation of the model object 'Message Exp'.
The following features are supported:
ExpressionsPackage.getMessageExp()
Method Summary | |
---|---|
boolean |
checkHasOperationOrSignal(DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->size() + sentSignal->size() = 1 |
boolean |
checkOperationArguments(DiagnosticChain diagnostics,
Map<Object,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(DiagnosticChain diagnostics,
Map<Object,Object> context)
sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->indexOf (a)).type)) |
boolean |
checkTargetDefinesOperation(DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation) |
boolean |
checkTargetNotCollection(DiagnosticChain diagnostics,
Map<Object,Object> context)
not target.type.oclIsKindOf(CollectionType) |
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.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.ocl.utilities.Visitable |
---|
accept |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
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, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
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, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Method Detail |
---|
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()
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(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkSignalArguments(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkTargetDefinesOperation(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkHasOperationOrSignal(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkTargetNotCollection(DiagnosticChain diagnostics, Map<Object,Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |