|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.expressions.operations.MessageExpOperations
public class MessageExpOperations
A static utility class that provides operations related to 'Message Exp' model objects.
The following operations are supported:
Check Operation ArgumentsCheck Signal ArgumentsCheck Target Defines OperationCheck Has Operation Or SignalCheck Target Not Collection
| Constructor Summary | |
|---|---|
protected |
MessageExpOperations()
|
| Method Summary | ||
|---|---|---|
static
|
checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->size() + sentSignal->size() = 1 |
|
static
|
checkOperationArguments(MessageExp<C,COA,SSA> messageExp,
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)) |
|
static
|
checkSignalArguments(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->indexOf (a)).type)) |
|
static
|
checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation) |
|
static
|
checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
not target.type.oclIsKindOf(CollectionType) |
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
protected MessageExpOperations()
| Method Detail |
|---|
public static <C,COA,SSA> boolean checkOperationArguments(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
messageExp - The receiving 'Message Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C,COA,SSA> boolean checkSignalArguments(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
messageExp - The receiving 'Message Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C,COA,SSA> boolean checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
messageExp - The receiving 'Message Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C,COA,SSA> boolean checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
messageExp - The receiving 'Message Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C,COA,SSA> boolean checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
messageExp - The receiving 'Message Exp' model object.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 | |||||||||