org.eclipse.ocl.types
Interface MessageType<C,O,P>

All Superinterfaces:
org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, PredefinedType<O>
All Known Subinterfaces:
MessageType, MessageType
All Known Implementing Classes:
MessageTypeImpl, MessageTypeImpl, MessageTypeImpl

public interface MessageType<C,O,P>
extends PredefinedType<O>

A representation of the model object 'Message Type'.

The following features are supported:

See Also:
TypesPackage.getMessageType()
Generated
Model

Field Summary
static java.lang.String SINGLETON_NAME
           
 
Fields inherited from interface org.eclipse.ocl.utilities.PredefinedType
ABS, ABS_NAME, ALL_INSTANCES, ALL_INSTANCES_NAME, AND, AND_NAME, ANY, ANY_NAME, APPEND, APPEND_NAME, AS_BAG, AS_BAG_NAME, AS_ORDERED_SET, AS_ORDERED_SET_NAME, AS_SEQUENCE, AS_SEQUENCE_NAME, AS_SET, AS_SET_NAME, AT, AT_NAME, CHARACTERS, CHARACTERS_NAME, CLOSURE, CLOSURE_NAME, COLLECT, COLLECT_NAME, COLLECT_NESTED, COLLECT_NESTED_NAME, CONCAT, CONCAT_NAME, COUNT, COUNT_NAME, DIV, DIV_NAME, DIVIDE, DIVIDE_NAME, ENDS_WITH, ENDS_WITH_NAME, EQUAL, EQUAL_NAME, EQUALS_IGNORE_CASE, EQUALS_IGNORE_CASE_NAME, EXCLUDES, EXCLUDES_ALL, EXCLUDES_ALL_NAME, EXCLUDES_NAME, EXCLUDING, EXCLUDING_NAME, EXISTS, EXISTS_NAME, FIRST, FIRST_NAME, FLATTEN, FLATTEN_NAME, FLOOR, FLOOR_NAME, FOR_ALL, FOR_ALL_NAME, GREATER_THAN, GREATER_THAN_EQUAL, GREATER_THAN_EQUAL_NAME, GREATER_THAN_NAME, HAS_RETURNED, HAS_RETURNED_NAME, IMPLIES, IMPLIES_NAME, INCLUDES, INCLUDES_ALL, INCLUDES_ALL_NAME, INCLUDES_NAME, INCLUDING, INCLUDING_NAME, INDEX_OF, INDEX_OF_NAME, INSERT_AT, INSERT_AT_NAME, INTERSECTION, INTERSECTION_NAME, IS_EMPTY, IS_EMPTY_NAME, IS_OPERATION_CALL, IS_OPERATION_CALL_NAME, IS_SIGNAL_SENT, IS_SIGNAL_SENT_NAME, IS_UNIQUE, IS_UNIQUE_NAME, LAST, LAST_INDEX_OF, LAST_INDEX_OF_NAME, LAST_NAME, LESS_THAN, LESS_THAN_EQUAL, LESS_THAN_EQUAL_NAME, LESS_THAN_NAME, MATCHES, MATCHES_NAME, MAX, MAX_NAME, MIN, MIN_NAME, MINUS, MINUS_NAME, MOD, MOD_NAME, NOT, NOT_EMPTY, NOT_EMPTY_NAME, NOT_EQUAL, NOT_EQUAL_NAME, NOT_NAME, OCL_AS_SET, OCL_AS_SET_NAME, OCL_AS_TYPE, OCL_AS_TYPE_NAME, OCL_IS_IN_STATE, OCL_IS_IN_STATE_NAME, OCL_IS_INVALID, OCL_IS_INVALID_NAME, OCL_IS_KIND_OF, OCL_IS_KIND_OF_NAME, OCL_IS_NEW, OCL_IS_NEW_NAME, OCL_IS_TYPE_OF, OCL_IS_TYPE_OF_NAME, OCL_IS_UNDEFINED, OCL_IS_UNDEFINED_NAME, ONE, ONE_NAME, OR, OR_NAME, PLUS, PLUS_NAME, PREPEND, PREPEND_NAME, PRODUCT, PRODUCT_NAME, REJECT, REJECT_NAME, REPLACE_ALL, REPLACE_ALL_NAME, REPLACE_FIRST, REPLACE_FIRST_NAME, RESULT, RESULT_NAME, ROUND, ROUND_NAME, SELECT, SELECT_BY_KIND, SELECT_BY_KIND_NAME, SELECT_BY_TYPE, SELECT_BY_TYPE_NAME, SELECT_NAME, SIZE, SIZE_NAME, SORTED_BY, SORTED_BY_NAME, STARTS_WITH, STARTS_WITH_NAME, SUB_ORDERED_SET, SUB_ORDERED_SET_NAME, SUB_SEQUENCE, SUB_SEQUENCE_NAME, SUBSTITUTE_ALL, SUBSTITUTE_ALL_NAME, SUBSTITUTE_FIRST, SUBSTITUTE_FIRST_NAME, SUBSTRING, SUBSTRING_NAME, SUM, SUM_NAME, SYMMETRIC_DIFFERENCE, SYMMETRIC_DIFFERENCE_NAME, TIMES, TIMES_NAME, TO_BOOLEAN, TO_BOOLEAN_NAME, TO_INTEGER, TO_INTEGER_NAME, TO_LOWER, TO_LOWER_CASE, TO_LOWER_CASE_NAME, TO_LOWER_NAME, TO_REAL, TO_REAL_NAME, TO_STRING, TO_STRING_NAME, TO_UPPER, TO_UPPER_CASE, TO_UPPER_CASE_NAME, TO_UPPER_NAME, TOKENIZE, TOKENIZE_NAME, TRIM, TRIM_NAME, UNION, UNION_NAME, XOR, XOR_NAME
 
Method Summary
 boolean checkExclusiveSignature(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredOperation->size() + referredSignal->size() = 1
 boolean checkOperationParameters(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i))
 boolean checkSignalAttributes(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))
 O getReferredOperation()
          Returns the value of the 'Referred Operation' reference.
 C getReferredSignal()
          Returns the value of the 'Referred Signal' reference.
 org.eclipse.emf.common.util.EList<P> oclProperties()
           
 void setReferredOperation(O value)
          Sets the value of the 'Referred Operation' reference.
 void setReferredSignal(C value)
          Sets the value of the 'Referred Signal' reference.
 
Methods inherited from interface org.eclipse.ocl.utilities.PredefinedType
getName, oclOperations
 
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
 

Field Detail

SINGLETON_NAME

static final java.lang.String SINGLETON_NAME
See Also:
Constant Field Values
Method Detail

getReferredOperation

O getReferredOperation()
Returns the value of the 'Referred Operation' reference.

If the meaning of the 'Referred Operation' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Referred Operation' reference.
See Also:
setReferredOperation(Object), TypesPackage.getMessageType_ReferredOperation()
Generated
Model
kind="reference"

setReferredOperation

void setReferredOperation(O value)
Sets the value of the 'Referred Operation' reference.

Parameters:
value - the new value of the 'Referred Operation' reference.
See Also:
getReferredOperation()
Generated

getReferredSignal

C getReferredSignal()
Returns the value of the 'Referred Signal' reference.

If the meaning of the 'Referred Signal' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Referred Signal' reference.
See Also:
setReferredSignal(Object), TypesPackage.getMessageType_ReferredSignal()
Generated
Model
kind="reference"

setReferredSignal

void setReferredSignal(C value)
Sets the value of the 'Referred Signal' reference.

Parameters:
value - the new value of the 'Referred Signal' reference.
See Also:
getReferredSignal()
Generated

checkExclusiveSignature

boolean checkExclusiveSignature(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)
referredOperation->size() + referredSignal->size() = 1

Parameters:
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
Model

checkOperationParameters

boolean checkOperationParameters(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)
referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i))

Parameters:
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
Model

checkSignalAttributes

boolean checkSignalAttributes(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)
referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))

Parameters:
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
Model

oclProperties

org.eclipse.emf.common.util.EList<P> oclProperties()

If the meaning of the 'Properties' reference list isn't clear, there really should be more of a description here...

Generated
Model