org.eclipse.ocl.pivot.internal.executor

Class ExecutorMapType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.executor.AbstractSpecializedType

org.eclipse.ocl.pivot.internal.executor.ExecutorMapType

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, Class, CompleteInheritance, DataType, Element, MapType, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

public class ExecutorMapType
extends AbstractSpecializedType
implements MapType

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	keyType
protected MapTypeId	typeId
protected Type	valueType

Fields inherited from class org.eclipse.ocl.pivot.internal.executor.AbstractSpecializedType

containerType

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

name

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
ExecutorMapType(java.lang.String name, Class containerType, Type keyType, Type valueType)

Method Summary

Modifier and Type	Method and Description
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
Class	getCommonType(IdResolver idResolver, Type type) Return the most derived type common to this type and thatType within standardLibrary.
Class	getContainerType()
Type	getKeyType() Returns the value of the 'Key Type' reference.
java.util.List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
MapTypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
Type	getValueType() Returns the value of the 'Value Type' reference.
boolean	isEqualTo(StandardLibrary standardLibrary, Type type) Return true if this is the same type as thatType within standardLibrary.
void	setKeyType(Type value) Sets the value of the 'Key Type' reference.
void	setValueType(Type value) Sets the value of the 'Value Type' reference.
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.pivot.internal.executor.AbstractSpecializedType

isOrdered, isUnique, lookupActualOperation, lookupImplementation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

createInstance, createInstance, getBehavioralClass, getExtenders, getInheritance, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

flattenedType, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, isClass, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.DataType

getBehavioralClass, isIsSerializable, setBehavioralClass, setIsSerializable

Methods inherited from interface org.eclipse.ocl.pivot.Class

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName

Methods inherited from interface org.eclipse.ocl.pivot.Type

flattenedType, getInheritance, getNormalizedType, isClass, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

Methods inherited from interface org.eclipse.ocl.pivot.Namespace

getOwnedConstraints

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.TemplateableElement

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Field Detail

keyType

@NonNull
protected final Type keyType

valueType

@NonNull
protected final Type valueType

typeId

@NonNull
protected final MapTypeId typeId

Constructor Detail

ExecutorMapType

public ExecutorMapType(@NonNull
                       java.lang.String name,
                       Class containerType,
                       @NonNull
                       Type keyType,
                       @NonNull
                       Type valueType)

Method Detail

conformsTo

public boolean conformsTo(@NonNull
                          StandardLibrary standardLibrary,
                          @NonNull
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class AbstractExecutorType

getCommonType

public Class getCommonType(@NonNull
                           IdResolver idResolver,
                           @NonNull
                           Type type)

Description copied from interface: Type

Return the most derived type common to this type and thatType within standardLibrary.

Specified by:

getCommonType in interface Type

Overrides:

getCommonType in class AbstractExecutorType

getContainerType

public Class getContainerType()

Overrides:

getContainerType in class AbstractSpecializedType

getKeyType

@NonNull
public Type getKeyType()

Description copied from interface: MapType

Returns the value of the 'Key Type' reference.

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

Specified by:

getKeyType in interface MapType

Returns:

the value of the 'Key Type' reference.

See Also:

MapType.setKeyType(Type), PivotPackage.getMapType_KeyType()

getOwnedOperations

@NonNull
public java.util.List<Operation> getOwnedOperations()

Description copied from interface: Class

Returns the value of the 'Owned Operations' containment reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'Owning Class'. The Operations owned by the Class.

Specified by:

getOwnedOperations in interface Class

Overrides:

getOwnedOperations in class AbstractExecutorClass

Returns:

the value of the 'Owned Operations' containment reference list.

See Also:

PivotPackage.getClass_OwnedOperations(), Operation.getOwningClass()

getTypeId

@NonNull
public MapTypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

Overrides:

getTypeId in class AbstractExecutorType

getValueType

@NonNull
public Type getValueType()

Description copied from interface: MapType

Returns the value of the 'Value Type' reference.

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

Specified by:

getValueType in interface MapType

Returns:

the value of the 'Value Type' reference.

See Also:

MapType.setValueType(Type), PivotPackage.getMapType_ValueType()

isEqualTo

public boolean isEqualTo(@NonNull
                         StandardLibrary standardLibrary,
                         @NonNull
                         Type type)

Description copied from interface: Type

Return true if this is the same type as thatType within standardLibrary.

Specified by:

isEqualTo in interface Type

Overrides:

isEqualTo in class AbstractExecutorType

setKeyType

public void setKeyType(Type value)

Description copied from interface: MapType

Sets the value of the 'Key Type' reference.

Specified by:

setKeyType in interface MapType

Parameters:

value - the new value of the 'Key Type' reference.

See Also:

MapType.getKeyType()

setValueType

public void setValueType(Type value)

Description copied from interface: MapType

Sets the value of the 'Value Type' reference.

Specified by:

setValueType in interface MapType

Parameters:

value - the new value of the 'Value Type' reference.

See Also:

MapType.getValueType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object