org.eclipse.ocl.examples.domain.ids.impl
Class GeneralizedCollectionTypeIdImpl

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId
      extended by org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl<T>
          extended by org.eclipse.ocl.examples.domain.ids.impl.AbstractGeneralizedIdImpl<T>
              extended by org.eclipse.ocl.examples.domain.ids.impl.GeneralizedTypeIdImpl<CollectionTypeId>
                  extended by org.eclipse.ocl.examples.domain.ids.impl.GeneralizedCollectionTypeIdImpl
All Implemented Interfaces:
BuiltInTypeId, CollectionTypeId, ElementId, TemplateableId, TemplateableTypeId, TypeId

public class GeneralizedCollectionTypeIdImpl
extends GeneralizedTypeIdImpl<CollectionTypeId>
implements CollectionTypeId


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId
AbstractElementId.OperationIdsMap, AbstractElementId.PropertyIdsMap
 
Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractGeneralizedIdImpl
name
 
Fields inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl
hashCode, templateParameters
 
Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TypeId
BAG, BAG_NAME, BOOLEAN, BOOLEAN_NAME, CLASS_NAME, COLLECTION, COLLECTION_NAME, COLLECTION_TYPE_NAME, DATA_TYPE_NAME, ENUMERATION_NAME, INTEGER, INTEGER_NAME, INTEGER_RANGE, INTEGER_RANGE_NAME, LAMBDA_TYPE_NAME, METACLASS, METACLASS_NAME, NULL_STRING_ARRAY, NULL_TUPLE_PART_ID_ARRAY, NULL_TYPE_ID_ARRAY, OCL_ANY, OCL_ANY_NAME, OCL_COMPARABLE, OCL_COMPARABLE_NAME, OCL_INVALID, OCL_INVALID_NAME, OCL_SELF, OCL_SELF_NAME, OCL_SUMMABLE, OCL_SUMMABLE_NAME, OCL_VOID, OCL_VOID_NAME, OPERATION_NAME, ORDERED_COLLECTION, ORDERED_COLLECTION_NAME, ORDERED_SET, ORDERED_SET_NAME, PRIMITIVE_TYPE_NAME, PROPERTY_NAME, REAL, REAL_NAME, SEQUENCE, SEQUENCE_NAME, SET, SET_NAME, STRING, STRING_NAME, T_1, T_2, T_3, TUPLE_NAME, TUPLE_TYPE_NAME, UNIQUE_COLLECTION, UNIQUE_COLLECTION_NAME, UNLIMITED_NATURAL, UNLIMITED_NATURAL_NAME
 
Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId
NULL_TEMPLATEABLE_ID_ARRAY
 
Constructor Summary
GeneralizedCollectionTypeIdImpl(IdManager idManager, java.lang.String name)
           
 
Method Summary
<R> R
accept(IdVisitor<R> visitor)
           
protected  CollectionTypeId createSpecializedId(BindingsId templateBindings)
           
 java.lang.String getDisplayName()
          Return a simple name for diagnostics.
 TemplateParameterId getElementTypeId()
           
 CollectionTypeId getGeneralizedId()
           
 java.lang.String getLiteralName()
           
 java.lang.String getMetaTypeName()
           
 CollectionTypeId specialize(BindingsId templateBindings)
           
 
Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.GeneralizedTypeIdImpl
getOperationId, getPropertyId
 
Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractGeneralizedIdImpl
getName
 
Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl
getEnumerationLiteralId, getSpecializedId, getSpecializedId, getTemplateParameterId, getTemplateParameters, hashCode
 
Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId
equals, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.CollectionTypeId
getSpecializedId, getSpecializedId
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.BuiltInTypeId
getName
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TypeId
getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId
getName, getTemplateParameters
 

Constructor Detail

GeneralizedCollectionTypeIdImpl

public GeneralizedCollectionTypeIdImpl(@NonNull
                                       IdManager idManager,
                                       @NonNull
                                       java.lang.String name)
Method Detail

accept

@Nullable
public <R> R accept(@NonNull
                             IdVisitor<R> visitor)
Specified by:
accept in interface ElementId

createSpecializedId

@NonNull
protected CollectionTypeId createSpecializedId(@NonNull
                                                       BindingsId templateBindings)
Specified by:
createSpecializedId in class AbstractTemplateableIdImpl<CollectionTypeId>

getDisplayName

@NonNull
public java.lang.String getDisplayName()
Description copied from interface: ElementId
Return a simple name for diagnostics.

Specified by:
getDisplayName in interface ElementId

getElementTypeId

@NonNull
public TemplateParameterId getElementTypeId()
Specified by:
getElementTypeId in interface CollectionTypeId

getGeneralizedId

@NonNull
public CollectionTypeId getGeneralizedId()
Specified by:
getGeneralizedId in interface CollectionTypeId
Specified by:
getGeneralizedId in interface TemplateableId

getLiteralName

@Nullable
public java.lang.String getLiteralName()
Specified by:
getLiteralName in interface TemplateableId
Specified by:
getLiteralName in interface TypeId
Overrides:
getLiteralName in class AbstractElementId

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()
Specified by:
getMetaTypeName in interface CollectionTypeId
Specified by:
getMetaTypeName in interface TemplateableId
Specified by:
getMetaTypeName in interface TypeId

specialize

@NonNull
public CollectionTypeId specialize(@NonNull
                                           BindingsId templateBindings)
Specified by:
specialize in interface TypeId