public class LangObjType extends SpecialObjectType implements TypeValue
Modifier and Type | Class and Description |
---|---|
static class |
LangObjType.ArgListBuilder |
static class |
LangObjType.SimpleVectorBuilder |
Type.NeverReturns
implementationType
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, 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
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 FVector |
coerceToConstVector(java.lang.Object obj) |
static Procedure |
coerceToProcedure(java.lang.Object obj) |
static Procedure |
coerceToProcedureOrNull(java.lang.Object value) |
static Type |
coerceToType(java.lang.Object obj) |
static Type |
coerceToTypeOrNull(java.lang.Object type) |
static U8Vector |
coerceToU8Vector(java.lang.Object obj) |
protected Method |
coercionOrNullMethod() |
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.
|
java.lang.String |
elementGetterMethodName() |
java.lang.String |
elementSetterMethodName() |
void |
emitCoerceFromObject(CodeAttr code)
Compile (in given method) cast from Object to this Type.
|
boolean |
emitCoercionOrNull(CodeAttr code) |
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 ....
|
java.lang.String |
encodeType(Language language) |
CompileBuildObject |
getBuildObject() |
Procedure |
getConstructor()
Get the constructor function for this type.
|
ObjectType |
getConstructorType() |
Type |
getElementType() |
static LangObjType |
getInstanceFromClass(java.lang.String name) |
int |
isCompatibleWithValue(Type valueType)
If this is the target type, is a given source type compatible?
|
getDeclaredMethod, getField, getImplementationType, getInterfaces, getMethod, getMethods, getRealType, getReflectClass, getSuperclass
getContextClass, getContextClassLoader, getInternalName, getMethods, isExisting, isInstance, setExisting
coerceToObject, emitCoerceToObject, emitIsInstance, getGenericSignature, getMaybeGenericSignature, getName, getRawType, getSignature, getSize, getSizeInWords, getType, hashCode, isCompatibleWithValue, 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, toString
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
getImplementationType
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 gvectorType
public static final LangObjType constVectorType
public static final LangObjType s8vectorType
public static final LangObjType u8vectorType
public static final LangObjType s16vectorType
public static final LangObjType u16vectorType
public static final LangObjType s32vectorType
public static final LangObjType u32vectorType
public static final LangObjType s64vectorType
public static final LangObjType u64vectorType
public static final LangObjType f32vectorType
public static final LangObjType f64vectorType
public static final LangObjType c16vectorType
public static final LangObjType bitvectorType
public static final LangObjType regexType
public static final LangObjType stringType
public static final LangObjType jstringType
public static final LangObjType istringType
public static final LangObjType listType
public static final LangObjType procedureType
public static final LangObjType promiseType
public static final LangObjType sequenceType
public static final LangObjType dynamicType
public static final LangObjType argListType
public static final LangObjType argVectorType
public static final ClassType typeLangObjType
public static LangObjType getInstanceFromClass(java.lang.String name)
public int isCompatibleWithValue(Type valueType)
Type
isCompatibleWithValue
in class Type
public int compare(Type other)
Type
compare
in class SpecialObjectType
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 static FVector coerceToConstVector(java.lang.Object obj)
public static Procedure coerceToProcedureOrNull(java.lang.Object value)
public static Procedure coerceToProcedure(java.lang.Object obj)
public static U8Vector coerceToU8Vector(java.lang.Object obj)
protected Method coercionOrNullMethod()
public boolean emitCoercionOrNull(CodeAttr code)
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 ObjectType getConstructorType()
public Procedure getConstructor()
TypeValue
<init>
methods) should be used.getConstructor
in interface TypeValue
public java.lang.String encodeType(Language language)
encodeType
in interface TypeValue
public Type getElementType()
public java.lang.String elementGetterMethodName()
public java.lang.String elementSetterMethodName()
public CompileBuildObject getBuildObject()