Class TypeSystemImpl

java.lang.Object
org.apache.uima.cas.impl.TypeSystemImpl
All Implemented Interfaces:
TypeSystemMgr, LowLevelTypeSystem, TypeSystem

public class TypeSystemImpl extends Object implements TypeSystemMgr, LowLevelTypeSystem
Type system implementation. Threading: An instance of this object should be thread safe after creation, because multiple threads are reading info from it. During creation, only one thread is creating.
  • Field Details

    • intType

      public TypeImpl intType
    • stringType

      public TypeImpl stringType
    • floatType

      public TypeImpl floatType
    • sofaType

      public TypeImpl sofaType
    • byteType

      public TypeImpl byteType
    • booleanType

      public TypeImpl booleanType
    • shortType

      public TypeImpl shortType
    • longType

      public TypeImpl longType
    • doubleType

      public TypeImpl doubleType
    • intArrayTypeCode

      public static final int intArrayTypeCode
      See Also:
    • floatArrayTypeCode

      public static final int floatArrayTypeCode
      See Also:
    • stringArrayTypeCode

      public static final int stringArrayTypeCode
      See Also:
    • fsArrayTypeCode

      public static final int fsArrayTypeCode
      See Also:
    • byteArrayTypeCode

      public static final int byteArrayTypeCode
      See Also:
    • booleanArrayTypeCode

      public static final int booleanArrayTypeCode
      See Also:
    • shortArrayTypeCode

      public static final int shortArrayTypeCode
      See Also:
    • longArrayTypeCode

      public static final int longArrayTypeCode
      See Also:
    • doubleArrayTypeCode

      public static final int doubleArrayTypeCode
      See Also:
    • sofaNumFeatCode

      public static final int sofaNumFeatCode
      See Also:
    • sofaIdFeatCode

      public static final int sofaIdFeatCode
      See Also:
    • sofaStringFeatCode

      public static final int sofaStringFeatCode
      See Also:
    • annotSofaFeatCode

      public static final int annotSofaFeatCode
      See Also:
    • startFeatCode

      public static final int startFeatCode
      See Also:
    • endFeatCode

      public static final int endFeatCode
      See Also:
    • typeSystemMappers

      public final Map<TypeSystemImpl,CasTypeSystemMapper> typeSystemMappers
      Type Mapping Objects used in compressed binary (de)serialization These are in an identity map, key = target type system Threading: this map is used by multiple threads Key = target type system, via a weak reference. Automatically cleared via WeakHashMap The may itself is not synchronized, because all accesses to it are from the synchronized getTypeSystemMapper method
  • Constructor Details

    • TypeSystemImpl

      @Deprecated public TypeSystemImpl(CASImpl cas)
      Deprecated.
      Use 0 arg constructor. Type Systems are shared by many CASes, and can't point to one. Change also your possible calls to ts.commit() - see comment on that method.
      Default constructor.
      Parameters:
      cas - -
    • TypeSystemImpl

      public TypeSystemImpl()
  • Method Details

    • getIntroFeatures

      public Vector<Feature> getIntroFeatures(Type type)
    • getParent

      public Type getParent(Type t)
      Description copied from interface: TypeSystem
      Get the parent type for input type.
      Specified by:
      getParent in interface TypeSystem
      Parameters:
      t - The type we want to know the parent of.
      Returns:
      The parent type, or null for the top type.
    • ll_getParentType

      public int ll_getParentType(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Get the parent type for the input type.
      Specified by:
      ll_getParentType in interface LowLevelTypeSystem
      Parameters:
      typeCode - The type code we want the parent for.
      Returns:
      The type code of the parent type.
    • isApprop

      public boolean isApprop(int type, int feat)
      Check if feature is appropriate for type (i.e., type is subsumed by domain type of feature).
      Parameters:
      type - -
      feat - -
      Returns:
      true if feature is appropriate for type (i.e., type is subsumed by domain type of feature).
    • getLargestTypeCode

      public final int getLargestTypeCode()
    • isType

      public boolean isType(int type)
    • getType

      public Type getType(String typeName)
      Get a type object for a given name.
      Specified by:
      getType in interface TypeSystem
      Parameters:
      typeName - The name of the type.
      Returns:
      A type object, or null if no such type exists.
    • getFeatureByFullName

      public Feature getFeatureByFullName(String featureName)
      Get an feature object for a given name.
      Specified by:
      getFeatureByFullName in interface TypeSystem
      Parameters:
      featureName - The name of the feature.
      Returns:
      An feature object, or null if no such feature exists.
    • addType

      public Type addType(String typeName, Type mother) throws CASAdminException
      Add a new type to the type system.
      Specified by:
      addType in interface TypeSystemMgr
      Parameters:
      typeName - The name of the new type.
      mother - The type node under which the new type should be attached.
      Returns:
      The new type, or null if typeName is already in use.
      Throws:
      CASAdminException - If typeName is not a legal type name, type system is locked, or mother is inheritance final.
    • addFeature

      public Feature addFeature(String featureName, Type domainType, Type rangeType) throws CASAdminException
      Description copied from interface: TypeSystemMgr
      Add an feature to the type system.
      Specified by:
      addFeature in interface TypeSystemMgr
      Parameters:
      featureName - The name of the new feature.
      domainType - The type that defines the domain of the feature.
      rangeType - The type that defines the range of the feature.
      Returns:
      The new feature object, or null if featureName is already in use for domainType with the same range (if the range is different, an exception is thrown).
      Throws:
      CASAdminException - If featureName is not a legal feature name, the type system is locked or domainType is feature final. Also if featureName has already been defined on domainType (or a supertype) with a different range than rangeType.
    • addFeature

      public Feature addFeature(String featureName, Type domainType, Type rangeType, boolean multipleReferencesAllowed) throws CASAdminException
      Description copied from interface: TypeSystemMgr
      Add an feature to the type system.
      Specified by:
      addFeature in interface TypeSystemMgr
      Parameters:
      featureName - The name of the new feature.
      domainType - The type that defines the domain of the feature.
      rangeType - The type that defines the range of the feature.
      multipleReferencesAllowed - If the rangeType is an array type, you can use this flag to enforce that the feature value is not referenced anywhere else. This is currently only used for XMI serialization. Defaults to true.
      Returns:
      The new feature object, or null if featureName is already in use for domainType with the same range (if the range is different, an exception is thrown).
      Throws:
      CASAdminException - If featureName is not a legal feature name, the type system is locked or domainType is feature final. Also if featureName has already been defined on domainType (or a supertype) with a different range than rangeType.
      See Also:
    • getTypeIterator

      public Iterator<Type> getTypeIterator()
      Get an iterator over all types, in no particular order.
      Specified by:
      getTypeIterator in interface TypeSystem
      Returns:
      The iterator.
    • getFeatures

      public Iterator<Feature> getFeatures()
      Description copied from interface: TypeSystem
      Get a list of features, in no particular order.
      Specified by:
      getFeatures in interface TypeSystem
      Returns:
      An iterator over the features.
    • getTopType

      public Type getTopType()
      Get the top type, i.e., the root of the type system.
      Specified by:
      getTopType in interface TypeSystem
      Returns:
      The top type.
    • getProperlySubsumedTypes

      public List<Type> getProperlySubsumedTypes(Type type)
      Return the list of all types subsumed by the input type. Note: the list does not include the type itself.
      Specified by:
      getProperlySubsumedTypes in interface TypeSystem
      Parameters:
      type - Input type.
      Returns:
      The list of types subsumed by type.
    • getDirectlySubsumedTypes

      public Vector<Type> getDirectlySubsumedTypes(Type type)
      Get a vector of the types directly subsumed by a given type.
      Specified by:
      getDirectlySubsumedTypes in interface TypeSystem
      Parameters:
      type - The input type.
      Returns:
      A vector of the directly subsumed types.
    • getDirectSubtypes

      public List<Type> getDirectSubtypes(Type type)
      Description copied from interface: TypeSystem
      Get a List of the types directly subsumed by a given type.
      Specified by:
      getDirectSubtypes in interface TypeSystem
      Parameters:
      type - The input type.
      Returns:
      A List of the directly subsumed types.
    • getDirectSubtypesIterator

      public Iterator<Type> getDirectSubtypesIterator(Type type)
      Parameters:
      type - whose direct instantiable subtypes to iterate over
      Returns:
      an iterator over the direct instantiable subtypes
    • directlySubsumes

      public boolean directlySubsumes(int t1, int t2)
    • subsumes

      public boolean subsumes(Type superType, Type subType)
      Does one type inherit from the other?
      Specified by:
      subsumes in interface TypeSystem
      Parameters:
      superType - Supertype.
      subType - Subtype.
      Returns:
      true iff sub inherits from super.
    • ll_getAppropriateFeatures

      public int[] ll_getAppropriateFeatures(int type)
      Get an array of the appropriate features for this type.
      Specified by:
      ll_getAppropriateFeatures in interface LowLevelTypeSystem
      Parameters:
      type - Input type code.
      Returns:
      The array of appropriate features for typeCode.
    • getNumberOfFeatures

      public int getNumberOfFeatures()
      Get the overall number of features defined in the type system.
      Returns:
      -
    • getNumberOfTypes

      public int getNumberOfTypes()
      Get the overall number of types defined in the type system.
      Returns:
      -
    • intro

      public int intro(int feat)
      Parameters:
      feat - -
      Returns:
      the domain type for a feature.
    • range

      public int range(int feat)
      Get the range type for a feature.
      Parameters:
      feat - -
      Returns:
      -
    • unify

      public int unify(int t1, int t2)
    • addTopType

      public Type addTopType(String name)
      Add a top type to the (empty) type system.
      Parameters:
      name - -
      Returns:
      -
    • subsumes

      public boolean subsumes(int superType, int type)
      Check if the first argument subsumes the second
      Parameters:
      superType - -
      type - -
      Returns:
      true if first argument subsumes the second
    • ll_subsumes

      public boolean ll_subsumes(int superType, int type)
      Description copied from interface: LowLevelTypeSystem
      Check subsumption between two types.
      Specified by:
      ll_subsumes in interface LowLevelTypeSystem
      Parameters:
      superType - -
      type - -
      Returns:
      true iff type1 subsumes type2.
    • toString

      public String toString()
      This writes out the type hierarchy in a human-readable form.
      Overrides:
      toString in class Object
    • commit

      public void commit()
      Description copied from interface: TypeSystemMgr
      Commit the type system. The type system will be locked and no longer writable. WARNING: Users should not call this, but instead call ((CASImpl) theAssociatedCAS).commitTypeSystem() in order to set up the parts of the CAS that should be set up when the type system is committed.
      Specified by:
      commit in interface TypeSystemMgr
      See Also:
    • isCommitted

      public boolean isCommitted()
      Description copied from interface: TypeSystemMgr
      Check if this instance has been committed.
      Specified by:
      isCommitted in interface TypeSystemMgr
      Returns:
      true iff this instance has been committed.
      See Also:
    • isAnnotationBaseOrSubtype

      public boolean isAnnotationBaseOrSubtype(int typeCode)
      Parameters:
      typeCode - for a type
      Returns:
      true if type is AnnotationBase or a subtype of it
    • isAnnotationOrSubtype

      public boolean isAnnotationOrSubtype(int typeCode)
      Parameters:
      typeCode - for a type
      Returns:
      true if type is Annotation or a subtype of it
    • getFeature

      @Deprecated public Feature getFeature(String featureName)
      Deprecated.
    • setFeatureFinal

      public void setFeatureFinal(Type type)
      Description copied from interface: TypeSystemMgr
      Make type feature final in the sense that no new features can be added to this type. Note that making a type feature final automatically makes all ancestors of that type feature final as well.
      Specified by:
      setFeatureFinal in interface TypeSystemMgr
      Parameters:
      type - The type to be made feature final.
      See Also:
    • setInheritanceFinal

      public void setInheritanceFinal(Type type)
      Description copied from interface: TypeSystemMgr
      Block any further inheritance from this type. Does not mean that the type can have no sub-types, just that no new ones can be introduced.
      Specified by:
      setInheritanceFinal in interface TypeSystemMgr
      Parameters:
      type - the type to block subtypes on
      See Also:
    • addStringSubtype

      public Type addStringSubtype(String typeName, String[] stringList) throws CASAdminException
      Description copied from interface: TypeSystemMgr
      Inherit from String. The only way you can inherit from String is by providing a restriction to a set of strings that are possible values for features of this type. This restriction will be checked when such feature values are set. Note that you can not introduce any features on such types, nor can you subtype them any further.
      Specified by:
      addStringSubtype in interface TypeSystemMgr
      Parameters:
      typeName - The name of the type to be created.
      stringList - The list of legal string values for this string type.
      Returns:
      The resulting type, or null if the type is already defined.
      Throws:
      CASAdminException - If the type system is locked.
      See Also:
    • getStringSet

      public String[] getStringSet(int i)
    • getTypeNameSpace

      public TypeNameSpace getTypeNameSpace(String name)
      Description copied from interface: TypeSystem
      Create a type name space object for the name parameter.
      Specified by:
      getTypeNameSpace in interface TypeSystem
      Parameters:
      name - The name of the name space.
      Returns:
      A TypeNameSpace object corresponding to name, or null, if name is not a legal type name space identifier.
    • ll_getCodeForTypeName

      public int ll_getCodeForTypeName(String typeName)
      Description copied from interface: LowLevelTypeSystem
      Get the type code for a given type name.
      Specified by:
      ll_getCodeForTypeName in interface LowLevelTypeSystem
      Parameters:
      typeName - The name of the type.
      Returns:
      The code for the type. A return value of 0 means that the a type of that name does not exist in the type system.
    • ll_getCodeForType

      public int ll_getCodeForType(Type type)
      Description copied from interface: LowLevelTypeSystem
      Get the code of an existing type object.
      Specified by:
      ll_getCodeForType in interface LowLevelTypeSystem
      Parameters:
      type - A type object.
      Returns:
      The type code for the input type.
    • ll_getCodeForFeatureName

      public int ll_getCodeForFeatureName(String featureName)
      Description copied from interface: LowLevelTypeSystem
      Get the feature code for a given feature name.
      Specified by:
      ll_getCodeForFeatureName in interface LowLevelTypeSystem
      Parameters:
      featureName - The name of the feature.
      Returns:
      The code for the feature. A return value of 0 means that the name does not represent a feature in the type system.
    • ll_getCodeForFeature

      public int ll_getCodeForFeature(Feature feature)
      Description copied from interface: LowLevelTypeSystem
      Get the code for a given feature object.
      Specified by:
      ll_getCodeForFeature in interface LowLevelTypeSystem
      Parameters:
      feature - A feature object.
      Returns:
      The code for the feature.
    • ll_getTypeForCode

      public Type ll_getTypeForCode(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Get a type object for a given code.
      Specified by:
      ll_getTypeForCode in interface LowLevelTypeSystem
      Parameters:
      typeCode - The code of the type.
      Returns:
      A type object, or null if typeCode is not a valid type code.
    • ll_getFeatureForCode

      public Feature ll_getFeatureForCode(int featureCode)
      Description copied from interface: LowLevelTypeSystem
      Get a feature object for a given code.
      Specified by:
      ll_getFeatureForCode in interface LowLevelTypeSystem
      Parameters:
      featureCode - The code of the feature.
      Returns:
      A feature object, or null if featureCode is not a valid feature code.
    • ll_getDomainType

      public int ll_getDomainType(int featureCode)
      Description copied from interface: LowLevelTypeSystem
      Get the domain type for a given feature.
      Specified by:
      ll_getDomainType in interface LowLevelTypeSystem
      Parameters:
      featureCode - Input feature code.
      Returns:
      The domain type code for featureCode.
    • ll_getRangeType

      public int ll_getRangeType(int featureCode)
      Description copied from interface: LowLevelTypeSystem
      Get the range type for a given feature.
      Specified by:
      ll_getRangeType in interface LowLevelTypeSystem
      Parameters:
      featureCode - Input feature code.
      Returns:
      The range type code for featureCode.
    • getLowLevelTypeSystem

      public LowLevelTypeSystem getLowLevelTypeSystem()
      Description copied from interface: TypeSystem
      Return the low-level view of this type system.
      Specified by:
      getLowLevelTypeSystem in interface TypeSystem
      Returns:
      The LowLevelTypeSystem version of this type system.
    • ll_isStringSubtype

      public boolean ll_isStringSubtype(int type)
      Description copied from interface: LowLevelTypeSystem
      Check if type is a string subtype.
      Specified by:
      ll_isStringSubtype in interface LowLevelTypeSystem
      Parameters:
      type - The type to be checked.
      Returns:
      true iff type is a subtype of String.
    • ll_isRefType

      public boolean ll_isRefType(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Checks if the type code is that of a reference type (anything that's not a basic type, currently Integer, String, Float, Boolean, Byte, Short, Long, Double, and subtypes of String - specifying allowed-values).
      Specified by:
      ll_isRefType in interface LowLevelTypeSystem
      Parameters:
      typeCode - The type code to check.
      Returns:
      true iff typeCode is the type code of a reference type.
    • getArrayType

      public Type getArrayType(Type componentType)
      Description copied from interface: TypeSystem
      Obtain an array type with component type componentType.
      Specified by:
      getArrayType in interface TypeSystem
      Parameters:
      componentType - The type of the elements of the resulting array type. This can be any type, even another array type.
      Returns:
      The array type with the corresponding component type.
    • ll_getTypeClass

      public final int ll_getTypeClass(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Determine the type class of a type. This is useful for generic CAS exploiters to determine what kind of data they're looking at. The type classes currently defined are:
      • TYPE_CLASS_INVALID -- Not a valid type code.
      • TYPE_CLASS_INT -- Integer type.
      • TYPE_CLASS_FLOAT -- Float type.
      • TYPE_CLASS_STRING -- String type.
      • TYPE_CLASS_INTARRAY -- Integer array.
      • TYPE_CLASS_FLOATARRAY -- Float array.
      • TYPE_CLASS_STRINGARRAY -- String array.
      • TYPE_CLASS_FSARRAY -- FS array.
      • TYPE_CLASS_FS -- FS type, i.e., all other types, including all user-defined types.
      This method is on the CAS, not the type system, since the specific properties of types are specific to the CAS. The type system does not know, for example, that the CAS treats arrays specially.
      Specified by:
      ll_getTypeClass in interface LowLevelTypeSystem
      Parameters:
      typeCode - The type code.
      Returns:
      A type class for the type code. TYPE_CLASS_INVALID if the type code argument does not represent a valid type code.
    • ll_getArrayType

      public int ll_getArrayType(int componentTypeCode)
      Description copied from interface: LowLevelTypeSystem
      Get the type code for the array type with componentTypeCode as component type code.
      Specified by:
      ll_getArrayType in interface LowLevelTypeSystem
      Parameters:
      componentTypeCode - The type code of the component type.
      Returns:
      The type code for the requested array type, or UNKNOWN_TYPE_CODE if componentTypeCode is not a valid type code.
    • ll_isValidTypeCode

      public boolean ll_isValidTypeCode(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Check the input type code.
      Specified by:
      ll_isValidTypeCode in interface LowLevelTypeSystem
      Parameters:
      typeCode - Type code to check.
      Returns:
      true iff typeCode is a valid type code.
    • ll_isArrayType

      public boolean ll_isArrayType(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Check if typeCode is the type code of an array type.
      Specified by:
      ll_isArrayType in interface LowLevelTypeSystem
      Parameters:
      typeCode - The type code to check.
      Returns:
      true iff typeCode is an array type code.
    • ll_getComponentType

      public int ll_getComponentType(int arrayTypeCode)
      Description copied from interface: LowLevelTypeSystem
      Get the component type of an array type code.
      Specified by:
      ll_getComponentType in interface LowLevelTypeSystem
      Parameters:
      arrayTypeCode - The input array type code.
      Returns:
      The type code for the component type, or UNKNOWN_TYPE_CODE if arrayTypeCode is not valid or not an array type.
    • ll_isPrimitiveType

      public boolean ll_isPrimitiveType(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Check if typeCode is the type code of a primitive type.
      Specified by:
      ll_isPrimitiveType in interface LowLevelTypeSystem
      Parameters:
      typeCode - The type code to check.
      Returns:
      true iff typeCode is a primitive type code.
    • ll_getStringSet

      public String[] ll_getStringSet(int typeCode)
      Description copied from interface: LowLevelTypeSystem
      Get the string set (sorted) for a string subtype.
      Specified by:
      ll_getStringSet in interface LowLevelTypeSystem
      Parameters:
      typeCode - Input type code; should be a string subtype.
      Returns:
      The set of allowable string values for subtypes of uima.cas.String. If the input type code is not a proper subtype of String, returns null.