|
Jode 1.90-CVS Build Aug 6, 2004 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Type | |
net.sf.jode.decompiler | |
net.sf.jode.expr | |
net.sf.jode.flow | |
net.sf.jode.type |
Uses of Type in net.sf.jode.decompiler |
Methods in net.sf.jode.decompiler that return Type | |
Type |
FieldAnalyzer.getType()
|
Type |
MethodAnalyzer.getReturnType()
Get the return type of this method. |
Type |
LocalInfo.getType()
Get the type of this local. |
Type |
LocalInfo.setType(Type otherType)
Sets a new information about the type of this local. |
Methods in net.sf.jode.decompiler with parameters of type Type | |
void |
MethodAnalyzer.useType(Type type)
Registers a type at the import handler. |
void |
ImportHandler.useType(Type type)
|
java.lang.String |
ImportHandler.getTypeString(Type type)
|
int |
ClassAnalyzer.getFieldIndex(java.lang.String fieldName,
Type fieldType)
|
void |
LocalInfo.addHint(java.lang.String name,
Type type)
|
Type |
LocalInfo.setType(Type otherType)
Sets a new information about the type of this local. |
void |
TabbedPrintWriter.printType(Type type)
|
java.lang.String |
TabbedPrintWriter.getTypeString(Type type)
|
Uses of Type in net.sf.jode.expr |
Fields in net.sf.jode.expr declared as Type | |
protected Type |
Expression.type
|
protected Type |
StringAddOperator.operandType
|
Methods in net.sf.jode.expr that return Type | |
Type |
CompareBinaryOperator.getCompareType()
|
Type |
InvokeOperator.getClassType()
|
Type |
FieldOperator.getFieldType()
|
Type |
CompareUnaryOperator.getCompareType()
|
Type |
Expression.getType()
|
Methods in net.sf.jode.expr with parameters of type Type | |
boolean |
InvokeOperator.needsCast(int param,
Type[] paramTypes)
|
boolean |
FieldOperator.needsCast(Type type)
|
void |
ConstantArrayOperator.makeInitializer(Type type)
|
boolean |
ConstOperator.isOne(Type type)
Return true, if this value is a one of the given type. |
void |
ConstOperator.makeInitializer(Type type)
|
void |
Expression.setType(Type otherType)
|
void |
Expression.updateParentType(Type otherType)
|
void |
Expression.makeInitializer(Type type)
|
Uses of Type in net.sf.jode.flow |
Methods in net.sf.jode.flow that return Type | |
Type |
CatchBlock.getExceptionType()
|
Methods in net.sf.jode.flow with parameters of type Type | |
void |
TransformExceptionHandlers.addHandler(FlowBlock tryBlock,
FlowBlock endBlock,
FlowBlock catchBlock,
Type type)
Add an exception Handler. |
Constructors in net.sf.jode.flow with parameters of type Type | |
CatchBlock(Type type)
|
Uses of Type in net.sf.jode.type |
Subclasses of Type in net.sf.jode.type | |
class |
ArrayType
This type represents an array type. |
class |
ClassInfoType
This class is the type representing a class loaded from a ClassPath. |
class |
ClassType
This class is the base class of all types representing a class type. |
class |
IntegerType
This is a type class for 16 bit integral types. |
class |
MethodType
This type represents an method type. |
class |
MultiClassType
This class represents a type aproximation, consisting of multiple interfaces and a class type. |
class |
NullType
This class represents the NullType. |
class |
RangeType
This class represents a set of reference types. |
class |
ReferenceType
This is an abstrace super class of all reference types. |
class |
SystemClassType
This class represents the type of a system class, i.e. the classes from package java.lang, that need special handling, like Object, String, StringBuffer, etc. |
Fields in net.sf.jode.type declared as Type | |
static Type |
Type.tBoolean
This type represents the singleton set containing the boolean type. |
static Type |
Type.tByte
This type represents the singleton set containing the byte type. |
static Type |
Type.tChar
This type represents the singleton set containing the char type. |
static Type |
Type.tShort
This type represents the singleton set containing the short type. |
static Type |
Type.tInt
This type represents the singleton set containing the int type. |
static Type |
Type.tLong
This type represents the singleton set containing the long type. |
static Type |
Type.tFloat
This type represents the singleton set containing the float type. |
static Type |
Type.tDouble
This type represents the singleton set containing the double type. |
static Type |
Type.tVoid
This type represents the void type. |
static Type |
Type.tError
This type represents the empty set, and probably means, that something has gone wrong. |
static Type |
Type.tUnknown
This type represents the set of all possible types. |
static Type |
Type.tUInt
This type represents the set of all integer types, up to 32 bit. |
static Type |
Type.tBoolInt
This type represents the set of the boolean and int type. |
static Type |
Type.tBoolUInt
This type represents the set of boolean and all integer types, up to 32 bit. |
static Type |
Type.tBoolByte
This type represents the set of the boolean and byte type. |
static Type |
Type.tUObject
This type represents the set of all reference types, including class types, array types, interface types and the null type. |
Methods in net.sf.jode.type that return Type | |
Type |
MultiClassType.getSubType()
|
Type |
MultiClassType.getHint()
|
Type |
MultiClassType.getCanonic()
|
Type |
MultiClassType.createRangeType(ReferenceType bottomType)
Create the type corresponding to the range from bottomType to this. |
Type |
MultiClassType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
Type |
MultiClassType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
MultiClassType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
static Type |
Type.tType(ClassPath cp,
java.lang.String type)
Generate the singleton set of the type represented by the given string. |
static Type |
Type.tArray(Type type)
Generate/look up the set of the array type whose element types are in the given type set. |
static Type |
Type.tRange(ReferenceType bottom,
ReferenceType top)
Generate the range type from bottom to top. |
static Type |
Type.tSuperType(Type type)
Generate the set of types, to which one of the types in type can be casted to by a widening cast. |
static Type |
Type.tSubType(Type type)
Generate the set of types, which can be casted to one of the types in type by a widening cast. |
Type |
Type.getSubType()
The sub types of this type. |
Type |
Type.getSuperType()
The super types of this type. |
Type |
Type.getHint()
Returns the hint type of this type set. |
Type |
Type.getCanonic()
Returns the canonic type of this type set. |
Type |
Type.intersection(Type type)
Intersect this set of types with another type set and return the intersection. |
Type |
Type.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
Type |
ClassType.getSubType()
|
Type |
ClassType.getHint()
|
Type |
ClassType.getCanonic()
|
Type |
ClassType.createRangeType(ReferenceType bottomType)
Create the type corresponding to the range from bottomType to this. |
Type |
ClassType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
Type |
ClassType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
ClassType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
Type |
IntegerType.getHint()
|
Type |
IntegerType.getCanonic()
|
Type |
IntegerType.getSubType()
|
Type |
IntegerType.getSuperType()
|
Type |
IntegerType.intersection(Type type)
Intersect this type with another type and return the new type. |
Type |
RangeType.getHint()
Returns the hint type of this range type set. |
Type |
RangeType.getCanonic()
Returns the canonic type of this range type set. |
Type |
RangeType.getSuperType()
The set of super types of this type. |
Type |
RangeType.getSubType()
The set of sub types of this type. |
Type |
RangeType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
Type |
RangeType.intersection(Type type)
Intersect this type with another type and return the new type. |
Type |
ArrayType.getElementType()
|
Type |
ArrayType.getSuperType()
|
Type |
ArrayType.getSubType()
|
Type |
ArrayType.getHint()
|
Type |
ArrayType.getCanonic()
|
Type |
ArrayType.createRangeType(ReferenceType bottom)
Create the type corresponding to the range from bottomType to this. |
Type |
ArrayType.getSpecializedType(Type type)
Returns the common sub type of this and type. |
Type |
ArrayType.getGeneralizedType(Type type)
Returns the common super type of this and type. |
Type[] |
MethodType.getParameterTypes()
|
Type |
MethodType.getReturnType()
|
Type |
NullType.getSubType()
|
Type |
NullType.createRangeType(ReferenceType bottomType)
|
Type |
NullType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
NullType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
Type |
NullType.findCommonClassTypes(java.util.Stack otherTypes)
|
abstract Type |
ReferenceType.getSpecializedType(Type type)
Returns the specialized type set of this and type. |
abstract Type |
ReferenceType.getGeneralizedType(Type type)
Returns the generalized type set of this and type. |
Type |
ReferenceType.findCommonClassTypes(java.util.Stack otherTypes)
|
abstract Type |
ReferenceType.createRangeType(ReferenceType bottom)
Creates a range type set of this and bottom. |
Type |
ReferenceType.getSuperType()
|
abstract Type |
ReferenceType.getSubType()
|
Type |
ReferenceType.intersection(Type type)
Intersect this type with another type and return the new type. |
Methods in net.sf.jode.type with parameters of type Type | |
boolean |
MultiClassType.isSubTypeOf(Type type)
Returns true, iff this type implements all interfaces in type and extends all objects in type. |
boolean |
MultiClassType.maybeSubTypeOf(Type type)
Returns true, iff this type implements all interfaces in type and extends all objects in type. |
Type |
MultiClassType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
Type |
MultiClassType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
MultiClassType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
static Type |
Type.tArray(Type type)
Generate/look up the set of the array type whose element types are in the given type set. |
static Type |
Type.tSuperType(Type type)
Generate the set of types, to which one of the types in type can be casted to by a widening cast. |
static Type |
Type.tSubType(Type type)
Generate the set of types, which can be casted to one of the types in type by a widening cast. |
boolean |
Type.isSubTypeOf(Type type)
Returns true, if this is a sub type of type. |
boolean |
Type.maybeSubTypeOf(Type type)
Returns true, if this is a sub type of type. |
Type |
Type.intersection(Type type)
Intersect this set of types with another type set and return the intersection. |
Type |
Type.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
boolean |
Type.isOfType(Type type)
Check if this type set and the other type set are not disjunct. |
boolean |
ClassType.isSubTypeOf(Type type)
|
boolean |
ClassType.maybeSubTypeOf(Type type)
|
Type |
ClassType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
Type |
ClassType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
ClassType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
boolean |
IntegerType.isSubtypeOf(Type type)
Returns true, if this is a sub type of type. |
boolean |
IntegerType.isOfType(Type type)
Check if this and <unknown -- type&rt; are not disjunct. |
Type |
IntegerType.intersection(Type type)
Intersect this type with another type and return the new type. |
Type |
RangeType.getCastHelper(Type fromType)
Checks if we need to cast to a middle type, before we can cast from fromType to this type. |
Type |
RangeType.intersection(Type type)
Intersect this type with another type and return the new type. |
boolean |
ArrayType.isSubTypeOf(Type type)
|
Type |
ArrayType.getSpecializedType(Type type)
Returns the common sub type of this and type. |
Type |
ArrayType.getGeneralizedType(Type type)
Returns the common super type of this and type. |
Type |
NullType.getGeneralizedType(Type type)
Returns the generalized type of this and type. |
Type |
NullType.getSpecializedType(Type type)
Returns the specialized type of this and type. |
abstract Type |
ReferenceType.getSpecializedType(Type type)
Returns the specialized type set of this and type. |
abstract Type |
ReferenceType.getGeneralizedType(Type type)
Returns the generalized type set of this and type. |
Type |
ReferenceType.intersection(Type type)
Intersect this type with another type and return the new type. |
|
Jode 1.90-CVS Build Aug 6, 2004 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |