public class LangObjType extends ObjectType implements TypeValue
Modifier and Type | Field and Description |
---|---|
static LangObjType |
dflonumType |
static LangObjType |
filepathType |
static LangObjType |
integerType |
static LangObjType |
listType |
static LangObjType |
numericType |
static LangObjType |
pathType |
static LangObjType |
rationalType |
static LangObjType |
realType |
static LangObjType |
regexType |
static LangObjType |
stringType |
static LangObjType |
typeClass |
static LangObjType |
typeClassType |
static ClassType |
typeLangObjType |
static LangObjType |
typeType |
static LangObjType |
URIType |
static LangObjType |
vectorType |
flags
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, javalangBooleanType, javalangClassType, 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
Modifier and Type | Method and Description |
---|---|
static DFloNum |
coerceDFloNum(java.lang.Object value) |
java.lang.Object |
coerceFromObject(java.lang.Object obj)
Convert an object to a value of this Type.
|
static IntNum |
coerceIntNum(java.lang.Object value) |
static Numeric |
coerceNumeric(java.lang.Object value) |
static RatNum |
coerceRatNum(java.lang.Object value) |
static RealNum |
coerceRealNum(java.lang.Object value) |
static java.lang.Class |
coerceToClass(java.lang.Object obj) |
static java.lang.Class |
coerceToClassOrNull(java.lang.Object type) |
static ClassType |
coerceToClassType(java.lang.Object obj) |
static ClassType |
coerceToClassTypeOrNull(java.lang.Object type) |
static Type |
coerceToType(java.lang.Object obj) |
static Type |
coerceToTypeOrNull(java.lang.Object 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.
|
Expression |
convertValue(Expression value)
Return converted expression or null.
|
void |
emitCoerceFromObject(CodeAttr code)
Compile (in given method) cast from Object to this Type.
|
void |
emitConvertFromPrimitive(Type stackType,
CodeAttr code)
Convert from stackType (usually PrimType) to this type.
|
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 ....
|
Procedure |
getConstructor()
Get the constructor function for this type.
|
Method |
getDeclaredMethod(java.lang.String name,
int argCount) |
Field |
getField(java.lang.String name,
int mask) |
Type |
getImplementationType()
The type used to implement types not natively understood by the JVM.
|
Method |
getMethod(java.lang.String name,
Type[] arg_types) |
int |
getMethods(Filter filter,
int searchSupers,
java.util.List<Method> result) |
Type |
getRealType()
If this is a type alias, get the aliased type.
|
java.lang.Class |
getReflectClass()
Get the java.lang.Class object for the representation type.
|
getContextClass, getContextClassLoader, getInternalName, getMethods, isExisting, isInstance, promote, setExisting
coerceToObject, emitCoerceToObject, emitIsInstance, getName, getSignature, getSize, getSizeInWords, getType, hashCode, isMoreSpecific, isSubtype, isValidJavaTypeName, isVoid, lookupType, lowestCommonSuperType, make, printSignature, registerTypeForClass, setName, setReflectClass, setSignature, signatureLength, signatureLength, signatureToName, signatureToPrimitive, signatureToType, signatureToType, swappedCompareResult, toString
public static final LangObjType pathType
public static final LangObjType filepathType
public static final LangObjType URIType
public static final LangObjType typeClass
public static final LangObjType typeType
public static final LangObjType typeClassType
public static final LangObjType numericType
public static final LangObjType realType
public static final LangObjType rationalType
public static final LangObjType integerType
public static final LangObjType dflonumType
public static final LangObjType vectorType
public static final LangObjType regexType
public static final LangObjType stringType
public static final LangObjType listType
public static final ClassType typeLangObjType
public int compare(Type other)
Type
compare
in class ObjectType
public Field getField(java.lang.String name, int mask)
getField
in class ObjectType
public Method getMethod(java.lang.String name, Type[] arg_types)
getMethod
in class ObjectType
public Method getDeclaredMethod(java.lang.String name, int argCount)
public int getMethods(Filter filter, int searchSupers, java.util.List<Method> result)
getMethods
in class ObjectType
public java.lang.Class getReflectClass()
ObjectType
getReflectClass
in class ObjectType
public Type getRealType()
Type
getRealType
in class Type
public Type getImplementationType()
Type
getImplementationType
in interface TypeValue
getImplementationType
in class ObjectType
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 static Numeric coerceNumeric(java.lang.Object value)
public static RealNum coerceRealNum(java.lang.Object value)
public static DFloNum coerceDFloNum(java.lang.Object value)
public static RatNum coerceRatNum(java.lang.Object value)
public static IntNum coerceIntNum(java.lang.Object value)
public static java.lang.Class coerceToClassOrNull(java.lang.Object type)
public static java.lang.Class coerceToClass(java.lang.Object obj)
public static ClassType coerceToClassTypeOrNull(java.lang.Object type)
public static ClassType coerceToClassType(java.lang.Object obj)
public static Type coerceToTypeOrNull(java.lang.Object type)
public static Type coerceToType(java.lang.Object obj)
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 java.lang.Object coerceFromObject(java.lang.Object obj)
Type
coerceFromObject
in class ObjectType
public void emitConvertFromPrimitive(Type stackType, CodeAttr code)
Type
stackType.emitConvertFromObject
to convert the rest,
but that might throw an exception. (This is a bit of a kludge.)emitConvertFromPrimitive
in class Type
public Expression convertValue(Expression value)
TypeValue
convertValue
in interface TypeValue
public void emitCoerceFromObject(CodeAttr code)
ObjectType
emitCoerceFromObject
in class ObjectType
public Procedure getConstructor()
TypeValue
getConstructor
in interface TypeValue