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