Package org.apache.uima.cas.impl
Class TypeSystemImpl
java.lang.Object
org.apache.uima.cas.impl.TypeSystemImpl
- All Implemented Interfaces:
Iterable<Type>
,TypeSystemMgr
,LowLevelTypeSystem
,TypeSystem
Type system implementation.
This class has static final (constant) values for built-in type codes, feature codes, feature offsets, and feature isInt.
- these are used
-- for various type-specific internal use
-- static final constants in the built-in JCas class definitions
- these are set by hand as final constants
Threading: An instance of this object needs to be thread safe after creation, because multiple threads
are reading info from it.
- During creation, only one thread is creating.
Association with Class Loaders, after type system is committed
Because JCas classes are generated from the merged type system, and then loaded under some class loader,
several use cases need to be accommodated.
Multiple type systems committed in sequence within one UIMA application.
- Under one class loader
-- therefore, they share one JCas loaded classes definition
- OK provided type system is compatible with JCas loaded definitions
At commit time, a type system is compared with existing ones; if it is equal, then
the typeImpl and featureImpls and all other instance vars are replaced with existing ones.
-- this removes issues in type system mapping needed between "equal" type systems to get feature validation to work.
-- implemented via custom hashcode and equals.
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) FeatureImpl
final TypeImpl
final TypeImpl
(package private) boolean
(package private) static final String
(package private) final TypeImpl
Map from array component Type to the corresponding array typeMap from built-in array name to component Type(package private) final TypeImpl_array
final TypeImpl
Map from component name to built-in array name(package private) final TypeImpl_array
final TypeImpl
private ClassLoader
private static final Map
<TypeSystemImpl, WeakReference<TypeSystemImpl>> private final boolean
static final String
Define this JVM property to disable equal type system consolidation.final TypeImpl
(package private) final TypeImpl_array
final TypeImpl
static final String
Define this JVM property to enable strictly checking the source of a type with respect to its type system.(package private) FeatureImpl
(package private) final List
<FeatureImpl> An ArrayList, unsynchronized, indexed by feature code, of FeatureImpl objects(package private) final TypeImpl_array
final TypeImpl_list
final TypeImpl_list
final TypeImpl_list
final TypeImpl
(package private) final TypeImpl_array
final TypeImpl_list
final TypeImpl_list
final TypeImpl_list
private final Map
<ClassLoader, FsGenerator3[]> Cache for implementing map from type code -> FsGenerator Shared by all CASes using this type system maps from classloader to generator set for pearsprivate final Map
<ClassLoader, FsGenerator3[]> Cache for implementing map from type code -> FsGenerator Shared by all CASes using this type system maps from classloader to generator set for non-pearsprivate static final boolean
HEAP_STORED_ARRAY flag is kept for ser/deserialization compatibilityprivate static final int
For a given class loader, prevent redefinitions of the same type system from(package private) final TypeImpl_array
final TypeImpl_list
final TypeImpl_list
final TypeImpl_list
final TypeImpl
static final boolean
public for test casestatic final boolean
private static final boolean
Used to go from a JCas class's JCasTypeID to the corresponding UIMA type for this type system.(package private) FeatureImpl
private static final int
private static final int
(package private) final TypeImpl
private boolean
(package private) final TypeImpl_array
final TypeImpl
private MethodHandles.Lookup
private static final MethodHandle
private int
private int
(package private) final TypeImpl_array
final TypeImpl
private boolean
private static final Map
<String, SlotKinds.SlotKind> (package private) FeatureImpl
(package private) FeatureImpl
(package private) FeatureImpl
(package private) FeatureImpl
(package private) FeatureImpl
final TypeImpl
(package private) FeatureImpl
(package private) FeatureImpl
static final TypeSystemImpl
(package private) final TypeImpl_array
final TypeImpl_list
final TypeImpl_list
final TypeImpl_list
final TypeImpl
(package private) final TypeImpl_array
(package private) final TypeImpl
private Map
<String, FSClassRegistry.JCasClassInfo> Map from fully qualified type name to TypeImplAn ArrayList, unsynchronized, indexed by typeCode, of Type objectsfinal Map
<TypeSystemImpl, CasTypeSystemMapper> 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.(package private) static final int
Type code that is returned on unknown type names.Fields inherited from interface org.apache.uima.cas.impl.LowLevelTypeSystem
UNKNOWN_FEATURE_CODE
Fields inherited from interface org.apache.uima.cas.TypeSystem
FEATURE_SEPARATOR, NAMESPACE_SEPARATOR, PARAM_EXCLUDE_PREBUILT_TYPES
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) TypeImpl_array
addArrayType
(Type componentType, SlotKinds.SlotKind slotKind, boolean isHeapStoredArray, Class<?> javaClass) Add an array type.addFeature
(String featureName, Type domainType, Type rangeType) Add an feature to the type system.addFeature
(String shortFeatName, Type domainType, Type rangeType, boolean multipleReferencesAllowed) Add an feature to the type system.private void
addJCasOffsets
(FSClassRegistry.JCasClassInfo jcci, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) private void
addJCasOffsetsWithSupers
(Class<?> clazz, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) Insures that any super class jcas-defined features, not already defined (due to having a corresponding type in this type system) get their features done first Walking up the super chain: - could encounter a class which has no jcci (it's not a jcas class) but has a super class which is one) - so don't stop the up walk.addStringSubtype
(String typeName, String[] stringList) Inherit from String.Add a new type to the type system.private void
checkTypeSyntax
(String typeName) Method checkTypeSyntax.(package private) boolean
classifyAsRefType
(String name, TypeImpl superType) The range type of features may include special uima types that are not creatable, such as the primitive ones like integer, or string, or subtypes of string.commit()
Commit the type system, and load JCas Classes from the UIMA Framework's classloader.commit
(ClassLoader cl) Commit the type system, and load JCas classes from the passed in classloader.static void
compareTs
(TypeSystem t1, TypeSystem t2) private void
This is the actual offset for the feature, in either the int or ref array Offsets for super types come before types, because multiple subtypes can share the same super type Offsets due to JCas defined features are set before those from type systems, because the same JCas class might be used with different type system, and this increases the chance that the assignment is still valid.private TypeImpl
computeArrayParentFromComponentType
(Type componentType) Given a component type, return the parent type of the corresponding array type, without needing the corresponding array type to exist (yet).private void
computeFeatureOffsets
(TypeImpl ti, int next) Feature "ids" - offsets without adjusting for whether or not they're in the class itselfstatic final MutableCallSite
createCallSite
(Class<? extends TOP> clazz, String featName) Creates and returns a new MutableCallSite, // * recording it in list of all callsites for this type, in a map by typename // * // * Done this way because // * - can't be a classloader-wide list of call sites - some might not be associated with this type system // * - can't be a typesystem-wide list of call sites - the JCas class might be used by multiple type systems // * and the first one to load it would set this value.static final MutableCallSite
createCallSiteForBuiltIn
(Class<? extends TOP> clazz, String featName) INTERNAL API - DO NOT USE, MAY CHANGE WITHOUT NOTICE!boolean
directlySubsumes
(TypeImpl t1, TypeImpl t2) void
boolean
private TypeSystemImpl
(package private) void
fixupFSArrayTypes
(TypeImpl featRange, TOP arrayFs) When deserializing Xmi and XCAS, Arrays of Feature Structures are encoded as FSArray types, but they may have a more restrictive typing, e.g.static int
getAdjustedFeatureOffset
(String featName) ******** OBSOLETE - only left in for supporting some jcas style in alpha level ************* This code is run when a JCas class is loaded and resolved, for the first time, as part of type system commit, or as part of statically loading the FSClassRegister class (where this is done for all the built-ins, once).(package private) static int
getAdjustedFeatureOffset
(TypeImpl type, String featName) (package private) static final String
getArrayComponentName
(String arrayTypeName) getArrayType
(Type componentType) Get or Create an array type with component typecomponentType
.private static final String
getArrayTypeName
(String typeName) For component xyz, returns "xyz[]"getDirectlySubsumedTypes
(Type type) Get a vector of the types directly subsumed by a given type.getDirectSubtypes
(Type type) Get a List of the types directly subsumed by a given type.getFeature
(String featureName) Deprecated.private FeatureImpl
getFeature
(String typeName, String featureShortName) private FeatureImpl
getFeature
(Type type, String featureShortName) getFeatureByFullName
(String featureName) Get an feature object for a given name.(package private) FeatureImpl
getFeatureForCode
(int featureCode) (package private) FeatureImpl
getFeatureForCode_checked
(int featureCode) (package private) int
getFeatureOffset
(int feat) Feature Code to Offset Offset has no clear meaning in V3int
getFeatureOffset
(TypeImpl ti, String featureShortName) Get a list of features, in no particular order.getGeneratorsForClassLoader
(ClassLoader cl, boolean isPear) Called when switching or initializing CAS's shared-view-data instance of FsGenerator[] generators are kept in a map, unique for each type system, keyed by classloader.getIntroFeatures
(Type type) getJCasRegisteredType
(int i) Convert between fixed JCas class int (set when it is loaded) and this type system's TypeImpl.(package private) FSClassRegistry.JCasClassInfo
private final int
final int
Return the low-level view of this type system.int
Get the overall number of features defined in the type system.int
Get the overall number of types defined in the type system.private FSClassRegistry.JCasClassInfo
Get the parent type for input type.getProperlySubsumedTypes
(Type type) Return the list of all types subsumed by the input type.(package private) static SlotKinds.SlotKind
getSlotKindFromType
(Type rangeType) Given a range type, return the corresponding slot kind string -> Slot_StrRef, long and double -> ...Ref boolean, byte, int, short, float, -> withoutRef(package private) final int
(package private) final int
Get the top type, i.e., the root of the type system.Get a type object for a given name.final int
static final int
getTypeClass
(TypeImpl ti) getTypeForCode
(int typeCode) getTypeForCode_checked
(int typeCode) Get an iterator over all types, in no particular order.getTypeNameSpace
(String name) Create a type name space object for the name parameter.(package private) CasTypeSystemMapper
(package private) CasTypeSystemMapper
int
hashCode()
HashCode and Equals used to compare two type system.int
intro
(int feat) boolean
isAnnotationBaseOrSubtype
(int typecode) boolean
boolean
isAnnotationOrSubtype
(Type type) boolean
isApprop
(int typecode, int featcode) Check if feature is appropriate for type (i.e., type is subsumed by domain type of feature).(package private) static boolean
isArrayTypeNameButNotBuiltIn
(String typeName) boolean
Check if this instance has been committed.(package private) final boolean
isFeature
(int featureCode) boolean
boolean
boolean
isType
(int typecode) iterator()
int[]
ll_getAppropriateFeatures
(int typecode) Get an array of the appropriate features for this type.int
ll_getArrayType
(int componentTypeCode) Get the type code for the array type withcomponentTypeCode
as component type code.int
ll_getCodeForFeature
(Feature feature) Get the code for a given feature object.int
ll_getCodeForFeatureName
(String featureName) Get the feature code for a given feature name.int
ll_getCodeForType
(Type type) Get the code of an existing type object.int
ll_getCodeForTypeName
(String typeName) Get the type code for a given type name.int
ll_getComponentType
(int arrayTypeCode) Get the component type of an array type code.int
ll_getDomainType
(int featureCode) Get the domain type for a given feature.ll_getFeatureForCode
(int featureCode) Get a feature object for a given code.int
ll_getParentType
(int typeCode) Get the parent type for the input type.int
ll_getRangeType
(int featureCode) Get the range type for a given feature.String[]
ll_getStringSet
(int typeCode) Get the string set (sorted) for a string subtype.final int
ll_getTypeClass
(int typeCode) Determine the type class of a type.ll_getTypeForCode
(int typeCode) Get a type object for a given code.boolean
ll_isArrayType
(int typeCode) Check iftypeCode
is the type code of an array type.boolean
ll_isPrimitiveType
(int typeCode) Check iftypeCode
is the type code of a primitive type.boolean
ll_isRefType
(int typeCode) 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).boolean
ll_isStringSubtype
(int typecode) Check if type is a string subtype.boolean
ll_isValidTypeCode
(int typeCode) Check the input type code.boolean
ll_subsumes
(int superType, int type) Check subsumption between two types.private void
maybeAddJCasOffsets
(TypeImpl ti, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) (package private) void
newTypeCheckNoInheritanceFinalCheck
(String typeName, Type superType) (package private) void
newTypeChecks
(String typeName, Type superType) int
range
(int feat) Get the range type for a feature.refreshType
(Type t) void
set_skip_loading_user_jcas
(boolean v) (package private) void
setFeatureAdjustedOffset
(FeatureImpl fi, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsr) void
setFeatureFinal
(Type type) Make type feature final in the sense that no new features can be added to this type.void
setInheritanceFinal
(Type type) Block any further inheritance from this type.(package private) void
setJCasRegisteredType
(int typeIndexID, TypeImpl ti) (package private) void
setOffset2Feat
(List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsr, FeatureImpl fi, int next) private static void
setTypeFinal
(Type type) boolean
subsumes
(int superType, int type) Check if the first argument subsumes the secondboolean
Does one type inherit from the other? There are two versions.private void
throwMissingUIMAtype
(int typeIndex) For a given JCasRegistry index, that doesn't have a corresponding UIMA type, throw an appropriate exceptiontoString()
This writes out the type hierarchy in a human-readable form.int
unify
(int t1, int t2) Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Field Details
-
IS_TRACE_JCAS_EXPAND
private static final boolean IS_TRACE_JCAS_EXPAND- See Also:
-
debug
private final boolean debug- See Also:
-
DISABLE_TYPESYSTEM_CONSOLIDATION
Define this JVM property to disable equal type system consolidation. When a type system is committed, it normally is compared with other committed type systems that are still available (i.e. not garbage collected) to see if an existing type system is equal to the new one. - if so, then the existing one is reused. This may cause problems for applications which have obtained references to types and features of a type system before it is committed; the committed version may have different (but "equal") types and features.- See Also:
-
ENABLE_STRICT_TYPE_SOURCE_CHECK
Define this JVM property to enable strictly checking the source of a type with respect to its type system. Normally (i.e. when typesystem consolidation is enabled), types that are semantically equivalent should come from the same type system instances. There could be bugs (in client or framework code) or legacy code which simply ignores this requirement and still works. Therefore, this property allow to restore the old non-strict-checking behavior.- See Also:
-
IS_DISABLE_TYPESYSTEM_CONSOLIDATION
public static final boolean IS_DISABLE_TYPESYSTEM_CONSOLIDATIONpublic for test case -
IS_ENABLE_STRICT_TYPE_SOURCE_CHECK
public static final boolean IS_ENABLE_STRICT_TYPE_SOURCE_CHECK -
MHC_MINUS_1
-
UNKNOWN_TYPE_CODE
static final int UNKNOWN_TYPE_CODEType code that is returned on unknown type names.- See Also:
-
LEAST_TYPE_CODE
private static final int LEAST_TYPE_CODE- See Also:
-
LEAST_FEATURE_CODE
private static final int LEAST_FEATURE_CODE- See Also:
-
ARRAY_TYPE_SUFFIX
- See Also:
-
HEAP_STORED_ARRAY
private static final boolean HEAP_STORED_ARRAYHEAP_STORED_ARRAY flag is kept for ser/deserialization compatibility- See Also:
-
INIT_SIZE_ARRAYS_BUILT_IN_TYPES
private static final int INIT_SIZE_ARRAYS_BUILT_IN_TYPESFor a given class loader, prevent redefinitions of the same type system from- See Also:
-
builtInArrayComponentName2ArrayTypeName
Map from component name to built-in array name -
slotKindsForNonArrays
-
committedTypeSystems
-
arrayName2ComponentType
Map from built-in array name to component Type -
topType
-
intType
-
stringType
-
floatType
-
arrayBaseType
-
intArrayType
-
floatArrayType
-
stringArrayType
-
fsArrayType
-
topArrayType
-
sofaType
-
annotType
-
annotBaseType
-
docType
-
byteType
-
byteArrayType
-
booleanType
-
booleanArrayType
-
shortType
-
shortArrayType
-
longType
-
longArrayType
-
doubleType
-
doubleArrayType
-
listBaseType
-
intListType
-
floatListType
-
stringListType
-
fsListType
-
intEListType
-
floatEListType
-
stringEListType
-
fsEListType
-
intNeListType
-
floatNeListType
-
stringNeListType
-
fsNeListType
-
typeName2TypeImpl
Map from fully qualified type name to TypeImpl -
arrayComponentTypeToArrayType
Map from array component Type to the corresponding array type -
types
An ArrayList, unsynchronized, indexed by typeCode, of Type objects -
jcasRegisteredTypes
Used to go from a JCas class's JCasTypeID to the corresponding UIMA type for this type system. - when doing "new Foo(jcas)" - when referring to a type using its JCas typeID Used as a map, the key is the JCas loaded type id, set once when each JCas class is loaded. value is the corresponding TypeImpl When multiple type systems are being initialized in parallel, this list maybe updated on different threads. Access to it is synchronized on the object itself A single JCas type ID (corresponding to a single JCas type) might be used for many UIMA types. but they are always in a type hierarchy, and the top most one is the one stored here -
features
An ArrayList, unsynchronized, indexed by feature code, of FeatureImpl objects -
locked
private boolean locked -
areBuiltInTypesSetup
volatile boolean areBuiltInTypesSetup -
startFeat
FeatureImpl startFeat -
endFeat
FeatureImpl endFeat -
langFeat
FeatureImpl langFeat -
sofaNum
FeatureImpl sofaNum -
sofaId
FeatureImpl sofaId -
sofaMime
FeatureImpl sofaMime -
sofaArray
FeatureImpl sofaArray -
sofaString
FeatureImpl sofaString -
sofaUri
FeatureImpl sofaUri -
annotBaseSofaFeat
FeatureImpl annotBaseSofaFeat -
generatorsByClassLoader
Cache for implementing map from type code -> FsGenerator Shared by all CASes using this type system maps from classloader to generator set for non-pears -
generators4pearsByClassLoader
Cache for implementing map from type code -> FsGenerator Shared by all CASes using this type system maps from classloader to generator set for pears -
nextI
private int nextI -
nextR
private int nextR -
type2jcci
-
lookup
-
cl_for_commit
-
skip_loading_user_jcas
private boolean skip_loading_user_jcas -
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 map itself is not synchronized, because all accesses to it are from the synchronized getTypeSystemMapper method -
staticTsi
-
-
Constructor Details
-
TypeSystemImpl
public TypeSystemImpl()
-
-
Method Details
-
getSmallestType
final int getSmallestType() -
getSmallestFeature
final int getSmallestFeature() -
getTypeArraySize
public final int getTypeArraySize() -
getIntroFeatures
-
getParent
Description copied from interface:TypeSystem
Get the parent type for input type.- Specified by:
getParent
in interfaceTypeSystem
- Parameters:
t
- The type we want to know the parent of.- Returns:
- The parent type, or
null
for the top type.
-
getLargestTypeCode
public final int getLargestTypeCode() -
isType
public boolean isType(int typecode) - Parameters:
typecode
- to check if it's in the range of valid type codes- Returns:
- true if it is
-
getType
Get a type object for a given name.- Specified by:
getType
in interfaceTypeSystem
- Parameters:
typeName
- The name of the type.- Returns:
- A type object, or
null
if no such type exists.
-
getFeatureByFullName
Get an feature object for a given name.- Specified by:
getFeatureByFullName
in interfaceTypeSystem
- Parameters:
featureName
- The name of the feature.- Returns:
- An feature object, or
null
if no such feature exists.
-
getArrayTypeName
For component xyz, returns "xyz[]"- Parameters:
componentType
- the component type- Returns:
- the name of the component + []
-
getArrayComponentName
-
isArrayTypeNameButNotBuiltIn
-
newTypeChecks
-
newTypeCheckNoInheritanceFinalCheck
-
checkTypeSyntax
Method checkTypeSyntax.- Parameters:
typeName
- -- Throws:
CASAdminException
-
addType
Add a new type to the type system. Called to add types for new (not built-in) types, except for: arrays string subtypes primitives All of these have special addType methods- Specified by:
addType
in interfaceTypeSystemMgr
- Parameters:
typeName
- The name of the new type.superType
- The type node under which the new type should be attached.- Returns:
- The new type, or
null
iftypeName
is already in use. - Throws:
CASAdminException
- IftypeName
is not a legal type name, type system is locked, ormother
is inheritance final.
-
isInInt
-
addFeature
public Feature addFeature(String featureName, Type domainType, Type rangeType) throws CASAdminException Description copied from interface:TypeSystemMgr
Add an feature to the type system. Note: A subtype may define a feature that is also defined by a supertype. If the supertype definition is already present, then the subtype definition is "merged": using the merging criteria: ranges must match. Different isMultipleReferencesAllowed settings are OK; The supertype's setting takes precedence.- Specified by:
addFeature
in interfaceTypeSystemMgr
- 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
iffeatureName
is already in use fordomainType
with the same range (if the range is different, an exception is thrown). - Throws:
CASAdminException
- IffeatureName
is not a legal feature name, the type system is locked ordomainType
is feature final. Also iffeatureName
has already been defined ondomainType
(or a supertype) with a different range thanrangeType
.
-
addFeature
public Feature addFeature(String shortFeatName, Type domainType, Type rangeType, boolean multipleReferencesAllowed) throws CASAdminException Description copied from interface:TypeSystemMgr
Add an feature to the type system.- Specified by:
addFeature
in interfaceTypeSystemMgr
- Parameters:
shortFeatName
- 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 therangeType
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 totrue
.- Returns:
- The new feature object, or
null
iffeatureName
is already in use fordomainType
with the same range (if the range is different, an exception is thrown). - Throws:
CASAdminException
- IffeatureName
is not a legal feature name, the type system is locked ordomainType
is feature final. Also iffeatureName
has already been defined ondomainType
(or a supertype) with a different range thanrangeType
.- See Also:
-
getSlotKindFromType
Given a range type, return the corresponding slot kind string -> Slot_StrRef, long and double -> ...Ref boolean, byte, int, short, float, -> withoutRef- Parameters:
rangeType
-- Returns:
-
getTypeIterator
Get an iterator over all types, in no particular order.- Specified by:
getTypeIterator
in interfaceTypeSystem
- Returns:
- The iterator.
-
getTopType
Get the top type, i.e., the root of the type system.- Specified by:
getTopType
in interfaceTypeSystem
- Returns:
- The top type.
-
getTopTypeImpl
-
getProperlySubsumedTypes
Return the list of all types subsumed by the input type. Note: the list does not include the type itself.- Specified by:
getProperlySubsumedTypes
in interfaceTypeSystem
- Parameters:
type
- Input type.- Returns:
- The list of types subsumed by
type
.
-
getDirectlySubsumedTypes
Get a vector of the types directly subsumed by a given type.- Specified by:
getDirectlySubsumedTypes
in interfaceTypeSystem
- Parameters:
type
- The input type.- Returns:
- A vector of the directly subsumed types.
-
getDirectSubtypes
Description copied from interface:TypeSystem
Get a List of the types directly subsumed by a given type.- Specified by:
getDirectSubtypes
in interfaceTypeSystem
- Parameters:
type
- The input type.- Returns:
- A List of the directly subsumed types.
-
directlySubsumes
-
subsumes
Does one type inherit from the other? There are two versions. Fast: but only works after commit: aTypeImplInstance.subsumes(otherTypeImpl) Slower: this routine. This routine is called from fast one if not committed.- Specified by:
subsumes
in interfaceTypeSystem
- Parameters:
superType
- Supertype.subType
- Subtype.- Returns:
true
iffsub
inherits fromsuper
.
-
getNumberOfTypes
public int getNumberOfTypes()Get the overall number of types defined in the type system.- Returns:
- - the number of types defined in the type system.
-
getNumberOfFeatures
public int getNumberOfFeatures()Get the overall number of features defined in the type system.- Returns:
- - the number of features defined in the type system.
-
unify
public int unify(int t1, int t2) -
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
-
toString
This writes out the type hierarchy in a human-readable form. -
commit
Description copied from interface:TypeSystemMgr
Commit the type system, and load JCas Classes from the UIMA Framework's classloader. 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. WARNING: This API will use the UIMA Framework's class loader to find a load JCas classes. If you have JCas classes under some other class loader you wish to use (perhaps you are setting a ResourceManager's extension classpath, which creates a class loader), use the commit which takes a class loader as an argument, and pass in the class loader where the JCas classes are.- Specified by:
commit
in interfaceTypeSystemMgr
- Returns:
- the committed type system. Note that this may be the same object as "this" or a different (but equal) object. Type systems are cached and recreating the exact same type system repeatedly will return the original one.
- See Also:
-
commit
Description copied from interface:TypeSystemMgr
Commit the type system, and load JCas classes from the passed in classloader. 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 interfaceTypeSystemMgr
- Parameters:
cl
- the JCas class loader- Returns:
- the committed type system. Note that this may be the same object as "this" or a different (but equal) object. Type systems are cached and recreating the exact same type system repeatedly will return the original one.
- See Also:
-
finalizeCommit
-
computeAdjustedFeatureOffsets
This is the actual offset for the feature, in either the int or ref array Offsets for super types come before types, because multiple subtypes can share the same super type Offsets due to JCas defined features are set before those from type systems, because the same JCas class might be used with different type system, and this increases the chance that the assignment is still valid. Special handling for JCas defined features which are missing in the type system. - these are allocated artificial "feature impls", which participate in the offset setting, but not in anything else (like serialization) Special handling for JCas super types which have no corresponding uima types - features inferred from these are incorporated for purposes of computing offsets (only), because some later type system might have these. Sets offset into 2 places: - the FeatureImpl - a set of arrays in the type: one mapping offset to featureImpl for refs one mapping offset to featureImpl for ints one mapping offset to non-fs-refs (for efficiency in enquing these before refs) also sets the number-of-used slots (int / ref) for allocating, in the type- Parameters:
ti
- - the type
-
addJCasOffsetsWithSupers
private void addJCasOffsetsWithSupers(Class<?> clazz, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) Insures that any super class jcas-defined features, not already defined (due to having a corresponding type in this type system) get their features done first Walking up the super chain: - could encounter a class which has no jcci (it's not a jcas class) but has a super class which is one) - so don't stop the up walk. Stop the up walk when - reach the TOP or Object - reach a class which has a corresponding uima type (the assumption is that this type is a super type- Parameters:
clazz
- the class whose supertypes are being scanned. May not be a JCas classtempIntFis
- the array of int offsets (refs to feature impls (maybe jcas-only)tempRefFis
- the array of ref offsets (refs to feature impls (maybe jcas-only)tempNsrFis
- a list of non fs-ref ref valuesti
- the type associated with clazz, or null, if none
-
maybeAddJCasOffsets
private void maybeAddJCasOffsets(TypeImpl ti, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) - Parameters:
ti
- the type having offsets set up fortempIntFis
- list to augment with additional slotstempRefFis
- list to augment with additional slotsjcci
- a corresponding jcci, either for this type or for a super type when the super type is not in this uima type system
-
addJCasOffsets
private void addJCasOffsets(FSClassRegistry.JCasClassInfo jcci, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsrFis) -
setFeatureAdjustedOffset
void setFeatureAdjustedOffset(FeatureImpl fi, List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsr) -
setOffset2Feat
void setOffset2Feat(List<FeatureImpl> tempIntFis, List<FeatureImpl> tempRefFis, List<FeatureImpl> tempNsr, FeatureImpl fi, int next) -
getOrCreateJcci
-
getJcci
-
computeFeatureOffsets
Feature "ids" - offsets without adjusting for whether or not they're in the class itself- Parameters:
ti
- a type to compute these fornext
- - the next offset
-
isCommitted
public boolean isCommitted()Description copied from interface:TypeSystemMgr
Check if this instance has been committed.- Specified by:
isCommitted
in interfaceTypeSystemMgr
- 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
-
isAnnotationBaseOrSubtype
-
isAnnotationOrSubtype
- Parameters:
type
- a type- Returns:
- true if type is Annotation or a subtype of it
-
getFeature
Deprecated. -
setFeatureFinal
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 interfaceTypeSystemMgr
- Parameters:
type
- The type to be made feature final.- See Also:
-
setInheritanceFinal
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 interfaceTypeSystemMgr
- Parameters:
type
- the type to block subtypes on- See Also:
-
getTypeNameSpace
Description copied from interface:TypeSystem
Create a type name space object for the name parameter.- Specified by:
getTypeNameSpace
in interfaceTypeSystem
- Parameters:
name
- The name of the name space.- Returns:
- A
TypeNameSpace
object corresponding toname
, ornull
, ifname
is not a legal type name space identifier.
-
getArrayType
Description copied from interface:TypeSystem
Get or Create an array type with component typecomponentType
.- Specified by:
getArrayType
in interfaceTypeSystem
- 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. If it doesn't exist, a new TypeImplArray is created for it.
- See Also:
-
addStringSubtype
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 interfaceTypeSystemMgr
- 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:
-
addArrayType
TypeImpl_array addArrayType(Type componentType, SlotKinds.SlotKind slotKind, boolean isHeapStoredArray, Class<?> javaClass) Add an array type. This is called for builtin array types, and when processing a Feature specification that represents an FSArray of a particular type- Parameters:
componentType
- the component type- Returns:
- a TypeImplArray
-
setTypeFinal
-
getFeature
-
getFeature
-
getFeatureOffset
- Parameters:
ti
- the typefeatureShortName
- the name of the feature- Returns:
- the offset in the storage array for this feature
-
getTypeSystemMapper
-
getTypeSystemMapperInner
-
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 interfaceLowLevelTypeSystem
- Parameters:
typeCode
- of some type- Returns:
- the type code of the parent type
-
ll_getAppropriateFeatures
public int[] ll_getAppropriateFeatures(int typecode) Get an array of the appropriate features for this type.- Specified by:
ll_getAppropriateFeatures
in interfaceLowLevelTypeSystem
- Parameters:
typecode
- Input type code.- Returns:
- The array of appropriate features for
typeCode
.
-
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 interfaceLowLevelTypeSystem
- Parameters:
superType
- -type
- -- Returns:
true
ifftype1
subsumestype2
.
-
ll_getCodeForTypeName
Description copied from interface:LowLevelTypeSystem
Get the type code for a given type name.- Specified by:
ll_getCodeForTypeName
in interfaceLowLevelTypeSystem
- 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
Description copied from interface:LowLevelTypeSystem
Get the code of an existing type object.- Specified by:
ll_getCodeForType
in interfaceLowLevelTypeSystem
- Parameters:
type
- A type object.- Returns:
- The type code for the input type.
-
ll_getCodeForFeatureName
Description copied from interface:LowLevelTypeSystem
Get the feature code for a given feature name.- Specified by:
ll_getCodeForFeatureName
in interfaceLowLevelTypeSystem
- 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
Description copied from interface:LowLevelTypeSystem
Get the code for a given feature object.- Specified by:
ll_getCodeForFeature
in interfaceLowLevelTypeSystem
- Parameters:
feature
- A feature object.- Returns:
- The code for the feature.
-
ll_getTypeForCode
Description copied from interface:LowLevelTypeSystem
Get a type object for a given code.- Specified by:
ll_getTypeForCode
in interfaceLowLevelTypeSystem
- Parameters:
typeCode
- The code of the type.- Returns:
- A type object, or
null
iftypeCode
is not a valid type code.
-
getTypeForCode
-
getTypeForCode_checked
-
isApprop
public boolean isApprop(int typecode, int featcode) Check if feature is appropriate for type (i.e., type is subsumed by domain type of feature).- Parameters:
typecode
- -featcode
- -- Returns:
- true if feature is appropriate for type (i.e., type is subsumed by domain type of feature).
-
getFeatureOffset
int getFeatureOffset(int feat) Feature Code to Offset Offset has no clear meaning in V3- Returns:
- An offset
>0
iffeat
exists;0
, else.
-
getLargestFeatureCode
private final int getLargestFeatureCode() -
isFeature
final boolean isFeature(int featureCode) -
ll_getFeatureForCode
Description copied from interface:LowLevelTypeSystem
Get a feature object for a given code.- Specified by:
ll_getFeatureForCode
in interfaceLowLevelTypeSystem
- Parameters:
featureCode
- The code of the feature.- Returns:
- A feature object, or
null
iffeatureCode
is not a valid feature code.
-
getFeatureForCode
-
getFeatureForCode_checked
-
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 interfaceLowLevelTypeSystem
- 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 interfaceLowLevelTypeSystem
- Parameters:
featureCode
- Input feature code.- Returns:
- The range type code for
featureCode
.
-
getLowLevelTypeSystem
Description copied from interface:TypeSystem
Return the low-level view of this type system.- Specified by:
getLowLevelTypeSystem
in interfaceTypeSystem
- Returns:
- The
LowLevelTypeSystem
version of this type system.
-
ll_isStringSubtype
public boolean ll_isStringSubtype(int typecode) Description copied from interface:LowLevelTypeSystem
Check if type is a string subtype. Returns false for plain string- Specified by:
ll_isStringSubtype
in interfaceLowLevelTypeSystem
- Parameters:
typecode
- The type to be checked.- Returns:
true
ifftype
is a subtype of String.
-
classifyAsRefType
The range type of features may include special uima types that are not creatable, such as the primitive ones like integer, or string, or subtypes of string. Other types are reference types -
isRefType
- Parameters:
type
- the type to test- Returns:
- true if it's a reference type - one that can be created as a FeatureStructure
-
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 interfaceLowLevelTypeSystem
- Parameters:
typeCode
- The type code to check.- Returns:
true
ifftypeCode
is the type code of a reference 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.
- Specified by:
ll_getTypeClass
in interfaceLowLevelTypeSystem
- 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 withcomponentTypeCode
as component type code.- Specified by:
ll_getArrayType
in interfaceLowLevelTypeSystem
- Parameters:
componentTypeCode
- the type code of the components of the array- Returns:
- the type code of the requested Array type having components of componentTypeCode, or 0 if the componentTypeCode is invalid.
- See Also:
-
ll_isValidTypeCode
public boolean ll_isValidTypeCode(int typeCode) Description copied from interface:LowLevelTypeSystem
Check the input type code.- Specified by:
ll_isValidTypeCode
in interfaceLowLevelTypeSystem
- Parameters:
typeCode
- Type code to check.- Returns:
true
ifftypeCode
is a valid type code.- See Also:
-
ll_isArrayType
public boolean ll_isArrayType(int typeCode) Description copied from interface:LowLevelTypeSystem
Check iftypeCode
is the type code of an array type.- Specified by:
ll_isArrayType
in interfaceLowLevelTypeSystem
- Parameters:
typeCode
- The type code to check.- Returns:
true
ifftypeCode
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 interfaceLowLevelTypeSystem
- Parameters:
arrayTypeCode
- The input array type code.- Returns:
- The type code for the component type, or
UNKNOWN_TYPE_CODE
ifarrayTypeCode
is not valid or not an array type.
-
ll_isPrimitiveType
public boolean ll_isPrimitiveType(int typeCode) Description copied from interface:LowLevelTypeSystem
Check iftypeCode
is the type code of a primitive type.- Specified by:
ll_isPrimitiveType
in interfaceLowLevelTypeSystem
- Parameters:
typeCode
- The type code to check.- Returns:
true
ifftypeCode
is a primitive type code.
-
ll_getStringSet
Description copied from interface:LowLevelTypeSystem
Get the string set (sorted) for a string subtype.- Specified by:
ll_getStringSet
in interfaceLowLevelTypeSystem
- 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
.
-
getFeatures
Description copied from interface:TypeSystem
Get a list of features, in no particular order.- Specified by:
getFeatures
in interfaceTypeSystem
- Returns:
- An iterator over the features.
-
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:
- -
-
computeArrayParentFromComponentType
Given a component type, return the parent type of the corresponding array type, without needing the corresponding array type to exist (yet). component type -> (member of) array type -> UIMA parent type of that array type. The UIMA Type parent of an array is either ArrayBase (for primitive arrays, plus String[] and TOP[] (see below) FsArray - for XYZ[] reference kinds of arrays The UIMA Type parent chain goes like this: primitive_array -> ArrayBase -> TOP (primitive: boolean, byte, short, int, long, float, double, String) String[] -> ArrayBase -> TOP TOP[] -> ArrayBase -> TOP XYZ[] -> FSArray -> TOP where XYZ is not a primitive, not String[], not TOP[] Arrays of TOP are handled differently from XYZ[] because - the creation of the FSArray type requires -- the creation of TOP[] type, which requires (unless this is done) -- the recursive creation of FSArray type - which causes a null pointer exception Note that the UIMA super chain is not used very much (mainly for subsumption, and for this there is special case code anyways), so this doesn't really matter. (2015 Sept) Note: the super type chain of the Java impl classes varies from the UIMA super type chain. It is used to factor out common behavior among classes of arrays. *********** NOTE: TBD update the rest of this comment for V3 ************** For non-JCas (in V3, this is only the XYZ[] and TOP[] kinds of arrays) CommonArrayFSImpl [ for arrays stored on the main heap ] ArrayFSImpl (for arrays of FS) FloatArrayFSImpl IntArrayFSImpl StringArrayFSImpl CommonAuxArrayFSImpl [ for arrays stored in Aux heaps ] BooleanArrayFSImpl ByteArrayFSImpl ShortArrayFSImpl LongArrayFSImpl DoubleArrayFSImpl For JCas: The corresponding types have only TOP as their supertypes but they implement the nonJCas interfaces for each subtype. Those interfaces implement CommonArrayFS interface- Parameters:
componentType
- the UIMA type of the component of the array- Returns:
- the parent type of the corresponding array type
-
getJCasRegisteredType
Convert between fixed JCas class int (set when it is loaded) and this type system's TypeImpl.- Parameters:
i
- the index from the typeIndexId of the JCas cover class- Returns:
- - the type impl associated with that JCas cover class
-
throwMissingUIMAtype
private void throwMissingUIMAtype(int typeIndex) For a given JCasRegistry index, that doesn't have a corresponding UIMA type, throw an appropriate exception- Parameters:
typeIndex
- the index in the JCasRegistry
-
dumpTypeSystem
public void dumpTypeSystem() -
setJCasRegisteredType
- Parameters:
typeIndexID
- the JCasTypeID for the JCas cover class that will be used when creating instances of ti - may be a supertype of ti, if ti has no JCas class itself - may be a subtype of the supertype of ti, if ti has no JCas class itselfti
- the UIMA type
-
getTypeClass
-
getAllTypes
-
hashCode
public int hashCode()HashCode and Equals used to compare two type system. Equal type systems are collapsed into one Equal means Same types Type are same if they have the same features and other flags Same Features -
compareTs
-
equals
-
refreshType
-
refreshFeature
-
getAdjustedFeatureOffset
******** OBSOLETE - only left in for supporting some jcas style in alpha level ************* This code is run when a JCas class is loaded and resolved, for the first time, as part of type system commit, or as part of statically loading the FSClassRegister class (where this is done for all the built-ins, once). It looks up the offset value in the type system (via a thread-local) hidden parameter: threadLocal value: referencing this type- Parameters:
featName
- -- Returns:
- the offset in the int or ref data arrays for the named feature
-
getAdjustedFeatureOffset
-
fixupFSArrayTypes
When deserializing Xmi and XCAS, Arrays of Feature Structures are encoded as FSArray types, but they may have a more restrictive typing, e.g. arrays of Annotation, with the type code of Annotation[]. This is determined by the range type of the feature referring to the array instance. A fixup is done when - the arrayFs is not already subtyped (could be for 0 length arrays) - it's not disabled (for backward compatibility with v2) If the feature is marked as multipleReferencesAllowed, the presumption is that all references are to the same subtype. 0-length arrays are created with the proper subtype already, and won't need fixing up The fixup updates the type of the Feature Structure from FSArray to the array type declared; no checking is done to insure the elements conform, however. -
getGeneratorsForClassLoader
Called when switching or initializing CAS's shared-view-data instance of FsGenerator[] generators are kept in a map, unique for each type system, keyed by classloader.- Parameters:
cl
- the class loaderisPear
- -- Returns:
- the generators
-
createCallSite
Creates and returns a new MutableCallSite, // * recording it in list of all callsites for this type, in a map by typename // * // * Done this way because // * - can't be a classloader-wide list of call sites - some might not be associated with this type system // * - can't be a typesystem-wide list of call sites - the JCas class might be used by multiple type systems // * and the first one to load it would set this value. // * - has to be pairs of feature name, call-site, in order to get the value to set, later // * -- doesn't need to be a hashmap, can be an arraylist of entry // * Type being loaded may not be known at this point.- Parameters:
clazz
- the JCas classfeatName
- the short name of the feature- Returns:
- the created callsite
-
createCallSiteForBuiltIn
public static final MutableCallSite createCallSiteForBuiltIn(Class<? extends TOP> clazz, String featName) INTERNAL API - DO NOT USE, MAY CHANGE WITHOUT NOTICE!Creates and returns a new MutableCallSite for a built-in type. This handles the special case where the
staticTsi
is initialized as a result of a builtin type JCas cover class being loaded in which case the callsite in the cover class is set after thestaticTsi
already has been committed and therefore won't automatically get its callsites updated during the commit. So we need to create a proper callsite already pointing to the correct feature offset here.- Parameters:
clazz
- the JCas classfeatName
- the short name of the feature- Returns:
- the created callsite
-
iterator
-
set_skip_loading_user_jcas
public void set_skip_loading_user_jcas(boolean v)
-