public class OccurrenceType extends Type implements java.io.Externalizable, TypeValue
Type.NeverReturns
Modifier and Type | Field and Description |
---|---|
static Type |
emptySequenceType |
static ClassType |
typeOccurrenceType |
boolean_ctype, boolean_type, booleanType, booleanValue_method, byte_type, byteType, char_type, charType, clone_method, double_type, doubleType, doubleValue_method, errorType, float_type, floatType, floatValue_method, int_type, intType, intValue_method, java_lang_Class_type, javalangannotationAnnotationType, javalangBooleanType, javalangCharacterType, javalangClassType, javalanginvokeMethodHandleType, javalangNumberType, javalangObjectType, javalangStringType, javalangThrowableType, long_type, longType, longValue_method, neverReturnsType, nullType, number_type, objectType, pointer_type, reflectClass, short_type, shortType, string_type, throwable_type, toString_method, tostring_type, toStringType, typeArray0, void_type, voidType
Constructor and Description |
---|
OccurrenceType(Type base,
int minOccurs,
int maxOccurs) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
coerceFromObject(java.lang.Object obj)
Convert an object to a value of this Type.
|
int |
compare(Type other)
Return a numeric code showing "subtype" relationship:
1: if other is a pure subtype of this;
0: if has the same values;
-1: if this is a pure subtype of other;
-2: if they have values in common but neither is a subtype of the other;
-3: if the types have no values in common.
|
static int |
compatibleWithCount(Type type,
int count) |
Expression |
convertValue(Expression value)
Return converted expression or null.
|
void |
emitIsInstance(Variable incoming,
Compilation comp,
Target target)
Emit code for incoming instanceof this_type.
|
void |
emitTestIf(Variable incoming,
Declaration decl,
Compilation comp)
Emit code for
if (incoming instanceof this_type) decl = incoming ....
|
Type |
getBase() |
Procedure |
getConstructor()
Get the constructor function for this type.
|
Type |
getImplementationType()
Return Java-level implementation type.
|
static Type |
getInstance(Type base,
int minOccurs,
int maxOccurs) |
boolean |
isInstance(java.lang.Object obj) |
static char |
itemCountCode(Type type)
Returna a quantifer kind for a sequence type.
|
static boolean |
itemCountIsOne(Type type) |
static boolean |
itemCountIsZeroOrOne(Type type) |
static int |
itemCountMax(Type type) |
static int |
itemCountMin(Type type) |
static int |
itemCountRange(Type type)
Return a conservative estimate on the min/max number of items of a type.
|
static Type |
itemPrimeType(Type type)
XQuery formal semantics "prime type"
|
int |
maxOccurs() |
int |
minOccurs() |
void |
readExternal(java.io.ObjectInput in) |
protected void |
setBase(Type base) |
java.lang.String |
toString() |
void |
writeExternal(java.io.ObjectOutput out) |
coerceToObject, emitCoerceFromObject, emitCoerceToObject, emitConvertFromPrimitive, emitIsInstance, getGenericSignature, getMaybeGenericSignature, getName, getRawType, getRealType, getReflectClass, getSignature, getSize, getSizeInWords, getType, hashCode, isCompatibleWithValue, isCompatibleWithValue, isExisting, isInterface, isMoreSpecific, isSame, isSubtype, isValidJavaTypeName, isVoid, lookupType, lowestCommonSharedType, lowestCommonSuperType, make, make, printSignature, promote, promoteIfUnsigned, registerTypeForClass, setGenericSignature, setName, setReflectClass, setSignature, signatureLength, signatureLength, signatureToName, signatureToPrimitive, signatureToType, signatureToType, swappedCompareResult
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
encodeType
public static final Type emptySequenceType
public static final ClassType typeOccurrenceType
public OccurrenceType(Type base, int minOccurs, int maxOccurs)
public Type getBase()
protected void setBase(Type base)
public int minOccurs()
public int maxOccurs()
public Type getImplementationType()
Type
getImplementationType
in interface TypeValue
getImplementationType
in class Type
public int compare(Type other)
Type
public java.lang.Object coerceFromObject(java.lang.Object obj)
Type
coerceFromObject
in class Type
public boolean isInstance(java.lang.Object obj)
isInstance
in class Type
public void emitTestIf(Variable incoming, Declaration decl, Compilation comp)
TypeValue
emitTestIf
in interface TypeValue
incoming
- Contains the value we are testing to see if it has the
type of this. If null, use top-of-stack.
May not be null if decl is non-null.decl
- If non-null, assign value after coercion to Declaration.comp
- The compilation state.public void emitIsInstance(Variable incoming, Compilation comp, Target target)
TypeValue
InstanceOf
.emitIsInstance
which is a conveniece method that calls
emitTestIf
.emitIsInstance
in interface TypeValue
incoming
- Contains the value we are testing to see if it has the
the type of 'this'. If null, use top-of-stack.comp
- The compilation state.target
- Where to leave the result.public Expression convertValue(Expression value)
TypeValue
convertValue
in interface TypeValue
public Procedure getConstructor()
TypeValue
<init>
methods) should be used.getConstructor
in interface TypeValue
public static int itemCountRange(Type type)
maxCount << 12 | minCount & 0xFFF
,
where a maxCount
of -1 means unbounded.public static char itemCountCode(Type type)
public static boolean itemCountIsZeroOrOne(Type type)
public static int itemCountMin(Type type)
public static int itemCountMax(Type type)
public static boolean itemCountIsOne(Type type)
public static int compatibleWithCount(Type type, int count)
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
writeExternal
in interface java.io.Externalizable
java.io.IOException
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
readExternal
in interface java.io.Externalizable
java.io.IOException
java.lang.ClassNotFoundException