|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectgnu.bytecode.Type
gnu.bytecode.PrimType
gnu.kawa.lispexpr.LangPrimType
public class LangPrimType
Use to implement some special types that convert differently. May not be needed/appropriate any more now that we support arithmetic on a mix of Java and Kawa types.
Field Summary | |
---|---|
static PrimType |
byteType
|
static LangPrimType |
charType
|
static PrimType |
doubleType
|
static PrimType |
floatType
|
static PrimType |
intType
|
static PrimType |
longType
|
static PrimType |
shortType
|
static LangPrimType |
voidType
|
Constructor Summary | |
---|---|
LangPrimType(PrimType type)
|
|
LangPrimType(PrimType type,
Language language)
|
|
LangPrimType(java.lang.String nam,
java.lang.String sig,
int siz,
java.lang.Class reflectClass)
|
|
LangPrimType(java.lang.String nam,
java.lang.String sig,
int siz,
java.lang.Class reflectClass,
Language language)
|
Method Summary | |
---|---|
char |
charValue(java.lang.Object value)
Coerce value to a char. |
java.lang.Object |
coerceFromObject(java.lang.Object obj)
Convert an object to a value of this Type. |
java.lang.Object |
coerceToObject(java.lang.Object obj)
|
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 code to coerce/convert from Object to this type. |
void |
emitCoerceToObject(CodeAttr code)
Compile code to convert a object of this type on the stack to Object. |
void |
emitIsInstance(CodeAttr code)
|
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. |
Type |
getImplementationType()
The type used to implement types not natively understood by the JVM. |
Methods inherited from class gnu.bytecode.PrimType |
---|
booleanValue, boxedType, compare, promotedType |
Methods inherited from class gnu.bytecode.Type |
---|
emitConvertFromPrimitive, getName, getRealType, getReflectClass, getSignature, getSize, getSizeInWords, getType, hashCode, isExisting, isInstance, isMoreSpecific, isSubtype, isValidJavaTypeName, isVoid, lookupType, lowestCommonSuperType, make, printSignature, promote, registerTypeForClass, setName, setReflectClass, setSignature, signatureLength, signatureLength, signatureToName, signatureToPrimitive, signatureToType, signatureToType, swappedCompareResult, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final PrimType byteType
public static final PrimType shortType
public static final PrimType intType
public static final PrimType longType
public static final PrimType floatType
public static final PrimType doubleType
public static final LangPrimType charType
public static final LangPrimType voidType
Constructor Detail |
---|
public LangPrimType(PrimType type)
public LangPrimType(PrimType type, Language language)
public LangPrimType(java.lang.String nam, java.lang.String sig, int siz, java.lang.Class reflectClass)
public LangPrimType(java.lang.String nam, java.lang.String sig, int siz, java.lang.Class reflectClass, Language language)
Method Detail |
---|
public Type getImplementationType()
Type
getImplementationType
in interface TypeValue
getImplementationType
in class Type
public java.lang.Object coerceFromObject(java.lang.Object obj)
Type
coerceFromObject
in class PrimType
public char charValue(java.lang.Object value)
PrimType
charValue
in class PrimType
public void emitIsInstance(CodeAttr code)
emitIsInstance
in class PrimType
public void emitCoerceFromObject(CodeAttr code)
Type
emitCoerceFromObject
in class PrimType
public java.lang.Object coerceToObject(java.lang.Object obj)
coerceToObject
in class Type
public void emitCoerceToObject(CodeAttr code)
Type
emitCoerceToObject
in class PrimType
public int compare(Type other)
Type
compare
in class PrimType
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 Expression convertValue(Expression value)
TypeValue
convertValue
in interface TypeValue
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 Procedure getConstructor()
TypeValue
getConstructor
in interface TypeValue
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |