Jode 1.90-CVS
Build Aug 6, 2004

Uses of Class
net.sf.jode.type.Type

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)
           
 

Constructors in net.sf.jode.expr with parameters of type Type
CompareBinaryOperator(Type type, int op)
           
CompareBinaryOperator(Type type, int op, boolean allowsNaN)
           
ClassFieldOperator(Type classType)
           
ArrayStoreOperator(Type type)
           
SimpleOperator(Type type, int operator, int operandCount)
           
InstanceOfOperator(Type type)
           
ArrayLoadOperator(Type type)
           
ConstantArrayOperator(Type type, int size)
           
NopOperator(Type type)
           
PopOperator(Type argtype)
           
CheckCastOperator(Type type)
           
ShiftOperator(Type type, int op)
           
NewArrayOperator(Type arrayType, int dimensions)
           
PrePostFixOperator(Type type, int operatorIndex, LValueExpression lvalue, boolean postfix)
           
NewOperator(Type type)
           
CompareToIntOperator(Type type, boolean greaterOnNaN)
           
ConvertOperator(Type from, Type to)
           
LocalStoreOperator(Type lvalueType, LocalInfo local)
           
LocalLoadOperator(Type type, MethodAnalyzer methodAnalyzer, LocalInfo local)
           
CheckNullOperator(Type type, LocalInfo li)
           
Operator(Type type)
           
Operator(Type type, int op)
           
NoArgOperator(Type type, int operator)
           
NoArgOperator(Type type)
           
BinaryOperator(Type type, int op)
           
IfThenElseOperator(Type type)
           
UnaryOperator(Type type, int op)
           
LocalVarOperator(Type lvalueType, LocalInfo local)
           
CompareUnaryOperator(Type type, int op)
           
Expression(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

Copyright © 1998-2004 by Jochen Hoenicke.