Uses of Class
soot.Type

Packages that use Type
soot Base Soot classes, shared by different intermediate representations. 
soot.baf Public classes for the Baf intermediate representation. 
soot.baf.internal Internal, messy, implementation-specific classes for the Baf intermediate representation. 
soot.coffi Contains classes from the Coffi tool, by Clark Verbrugge. 
soot.dava   
soot.dava.internal.javaRep   
soot.dava.toolkits.base.AST.analysis   
soot.dava.toolkits.base.AST.transformations   
soot.dava.toolkits.base.renamer   
soot.grimp Public classes for the Grimp intermediate representation. 
soot.grimp.internal Internal, messy, implementation-specific classes for the Grimp intermediate representation. 
soot.javaToJimple   
soot.jbco.bafTransformations   
soot.jbco.jimpleTransformations   
soot.jimple Public classes for the Jimple intermediate representation. 
soot.jimple.internal Internal, messy, implementation-specific classes for the Jimple intermediate representation. 
soot.jimple.spark.geom.geomE   
soot.jimple.spark.geom.geomPA   
soot.jimple.spark.geom.heapinsE   
soot.jimple.spark.geom.ptinsE   
soot.jimple.spark.internal   
soot.jimple.spark.ondemand   
soot.jimple.spark.ondemand.pautil   
soot.jimple.spark.pag   
soot.jimple.spark.sets   
soot.jimple.toolkits.callgraph   
soot.jimple.toolkits.infoflow   
soot.jimple.toolkits.pointer.representations   
soot.jimple.toolkits.scalar A toolkit for scalar optimization of Jimple. 
soot.jimple.toolkits.thread.synchronization   
soot.jimple.toolkits.typing Implements a typing algorithm for Jimple. 
soot.jimple.toolkits.typing.fast   
soot.jimple.toolkits.typing.integer   
soot.shimple Public classes for the SSA Shimple intermediate representation. 
soot.shimple.internal Shimple internal messy stuff. 
soot.shimple.toolkits.graph   
soot.shimple.toolkits.scalar Some analyses based on Shimple. 
soot.sootify   
 

Uses of Type in soot
 

Subclasses of Type in soot
 class AnySubType
           
 class ArrayType
          A class that models Java's array types.
 class BooleanType
          Soot representation of the Java built-in type 'boolean'.
 class ByteType
          Soot representation of the Java built-in type 'byte'.
 class CharType
          Soot representation of the Java built-in type 'char'.
 class DoubleType
          Soot representation of the Java built-in type 'double'.
 class ErroneousType
          Soot representation used for untypable objects.
 class FloatType
          Soot representation of the Java built-in type 'float'.
 class IntType
          Soot representation of the Java built-in type 'int'.
 class LongType
          Soot representation of the Java built-in type 'long'.
 class NullType
          Soot representation of the Java type 'null'.
 class PrimType
          Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and array types)
 class RefLikeType
          Abstract class for Soot classes that model subtypes of java.lang.Object (ie.
 class RefType
          A class that models Java's reference types.
 class ShortType
          Soot representation of the Java built-in type 'short'.
 class StmtAddressType
          Soot representation of the Java type for a statement address.
 class UnknownType
          Soot representation used for not-yet-typed objects.
 class VoidType
          Represents the Java void type.
 

Fields in soot declared as Type
 Type ArrayType.baseType
          baseType can be any type except for an array type, null and void What is the base type of the array? That is, for an array of type A[][][], how do I find out what the A is? The accepted way of doing this has always been to look at the public field baseType in ArrayType, ever since the very beginning of Soot.
 Type ArrayType.baseType
          baseType can be any type except for an array type, null and void What is the base type of the array? That is, for an array of type A[][][], how do I find out what the A is? The accepted way of doing this has always been to look at the public field baseType in ArrayType, ever since the very beginning of Soot.
 

Methods in soot that return Type
 Type AnySubType.getArrayElementType()
           
 Type ArrayType.getArrayElementType()
          If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced to answer this question for all classes implementing RefLikeType.
 Type NullType.getArrayElementType()
           
abstract  Type RefLikeType.getArrayElementType()
          If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes implementing RefLikeType.
 Type RefType.getArrayElementType()
           
 Type RefType.getArrayElementType()
           
abstract  Type RefLikeType.getArrayElementType()
          If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes implementing RefLikeType.
 Type NullType.getArrayElementType()
           
 Type ArrayType.getArrayElementType()
          If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced to answer this question for all classes implementing RefLikeType.
 Type AnySubType.getArrayElementType()
           
 Type ArrayType.getElementType()
          If I get an element of the array, what will be its type? That is, if I have an array a of type A[][][], what is the type of a[] (it's A[][])? The getElementType() method in ArrayType was introduced to answer this question.
 Type ArrayType.getElementType()
          If I get an element of the array, what will be its type? That is, if I have an array a of type A[][][], what is the type of a[] (it's A[][])? The getElementType() method in ArrayType was introduced to answer this question.
 Type SootMethod.getParameterType(int n)
          Gets the type of the nth parameter of this method.
 Type SootMethod.getParameterType(int n)
          Gets the type of the nth parameter of this method.
 Type SootMethod.getReturnType()
          Returns the return type of this method.
 Type SootMethod.getReturnType()
          Returns the return type of this method.
 Type EquivalentValue.getType()
           
 Type SootField.getType()
           
 Type Value.getType()
          Returns the Soot type of this Value.
 Type Value.getType()
          Returns the Soot type of this Value.
 Type SootField.getType()
           
 Type EquivalentValue.getType()
           
 Type RefType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type Type.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type UnknownType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type UnknownType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type Type.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type RefType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type SootMethodRef.parameterType(int i)
           
 Type SootMethodRef.parameterType(int i)
           
 Type SootMethodRef.returnType()
           
 Type SootMethodRef.returnType()
           
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
 Type SootFieldRef.type()
           
 Type SootFieldRef.type()
           
 

Methods in soot that return types with arguments of type Type
 Set<Type> PointsToSet.possibleTypes()
          Set of all possible run-time types of objects in the set.
 Set<Type> PointsToSet.possibleTypes()
          Set of all possible run-time types of objects in the set.
 

Methods in soot with parameters of type Type
 boolean FastHierarchy.canStoreType(Type child, Type parent)
          Given an object of declared type child, returns true if the object can be stored in a variable of type parent.
 boolean FastHierarchy.canStoreType(Type child, Type parent)
          Given an object of declared type child, returns true if the object can be stored in a variable of type parent.
 void TypeSwitch.caseDefault(Type t)
          Deprecated. Replaced by defaultCase(Type)
 void TypeSwitch.caseDefault(Type t)
          Deprecated. Replaced by defaultCase(Type)
 boolean SootClass.declaresField(String name, Type type)
          Does this class declare a field with the given name and type.
 boolean SootClass.declaresField(String name, Type type)
          Does this class declare a field with the given name and type.
 boolean SootClass.declaresMethod(String name, List parameterTypes, Type returnType)
          Does this class declare a method with the given name, parameter types, and return type?
 boolean SootClass.declaresMethod(String name, List parameterTypes, Type returnType)
          Does this class declare a method with the given name, parameter types, and return type?
 void TypeSwitch.defaultCase(Type t)
           
 void TypeSwitch.defaultCase(Type t)
           
 SootField SootClass.getField(String name, Type type)
          Returns the field of this class with the given name and type.
 SootField SootClass.getField(String name, Type type)
          Returns the field of this class with the given name and type.
 SootMethod SootClass.getMethod(String name, List parameterTypes, Type returnType)
           
 SootMethod SootClass.getMethod(String name, List parameterTypes, Type returnType)
           
static String SootMethod.getSignature(SootClass cl, String name, List params, Type returnType)
           
static String SootMethod.getSignature(SootClass cl, String name, List params, Type returnType)
           
static String SootField.getSignature(SootClass cl, String name, Type type)
           
static String SootField.getSignature(SootClass cl, String name, Type type)
           
static String SootMethod.getSubSignature(String name, List params, Type returnType)
           
static String SootMethod.getSubSignature(String name, List params, Type returnType)
           
static String AbstractJasminClass.jasminDescriptorOf(Type type)
           
static String AbstractJasminClass.jasminDescriptorOf(Type type)
           
 SootFieldRef Scene.makeFieldRef(SootClass declaringClass, String name, Type type, boolean isStatic)
          Create an unresolved reference to a field.
 SootFieldRef Scene.makeFieldRef(SootClass declaringClass, String name, Type type, boolean isStatic)
          Create an unresolved reference to a field.
 SootMethodRef Scene.makeMethodRef(SootClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)
          Create an unresolved reference to a method.
 SootMethodRef Scene.makeMethodRef(SootClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)
          Create an unresolved reference to a method.
 Type RefType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type Type.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type UnknownType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type UnknownType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type Type.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type RefType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 void SootMethod.setReturnType(Type t)
          Sets the return type of this method.
 void SootMethod.setReturnType(Type t)
          Sets the return type of this method.
 void Local.setType(Type t)
          Sets the type of the current variable.
 void SootField.setType(Type t)
           
 void SootField.setType(Type t)
           
 void Local.setType(Type t)
          Sets the type of the current variable.
static int AbstractJasminClass.sizeOfType(Type t)
           
static int AbstractJasminClass.sizeOfType(Type t)
           
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
abstract  void AbstractUnitPrinter.type(Type t)
           
 void BriefUnitPrinter.type(Type t)
           
abstract  void LabeledUnitPrinter.type(Type t)
           
 void NormalUnitPrinter.type(Type t)
           
 void UnitPrinter.type(Type t)
           
 void UnitPrinter.type(Type t)
           
 void NormalUnitPrinter.type(Type t)
           
abstract  void LabeledUnitPrinter.type(Type t)
           
 void BriefUnitPrinter.type(Type t)
           
abstract  void AbstractUnitPrinter.type(Type t)
           
static ArrayType ArrayType.v(Type baseType, int numDimensions)
          Creates an ArrayType parametrized by a given Type and dimension count.
static ArrayType ArrayType.v(Type baseType, int numDimensions)
          Creates an ArrayType parametrized by a given Type and dimension count.
 

Method parameters in soot with type arguments of type Type
 SootMethodRef Scene.makeConstructorRef(SootClass declaringClass, List<Type> parameterTypes)
          Create an unresolved reference to a constructor.
 SootMethodRef Scene.makeConstructorRef(SootClass declaringClass, List<Type> parameterTypes)
          Create an unresolved reference to a constructor.
 SootMethodRef Scene.makeMethodRef(SootClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)
          Create an unresolved reference to a method.
 SootMethodRef Scene.makeMethodRef(SootClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)
          Create an unresolved reference to a method.
 

Constructors in soot with parameters of type Type
SootField(String name, Type type)
          Constructs a Soot field with the given name, type and no modifiers.
SootField(String name, Type type)
          Constructs a Soot field with the given name, type and no modifiers.
SootField(String name, Type type, int modifiers)
          Constructs a Soot field with the given name, type and modifiers.
SootField(String name, Type type, int modifiers)
          Constructs a Soot field with the given name, type and modifiers.
SootMethod(String name, List parameterTypes, Type returnType)
          Constructs a SootMethod with the given name, parameter types and return type.
SootMethod(String name, List parameterTypes, Type returnType)
          Constructs a SootMethod with the given name, parameter types and return type.
SootMethod(String name, List parameterTypes, Type returnType, int modifiers)
          Constructs a SootMethod with the given name, parameter types, return type and modifiers.
SootMethod(String name, List parameterTypes, Type returnType, int modifiers)
          Constructs a SootMethod with the given name, parameter types, return type and modifiers.
SootMethod(String name, List parameterTypes, Type returnType, int modifiers, List<SootClass> thrownExceptions)
          Constructs a SootMethod with the given name, parameter types, return type, and list of thrown exceptions.
SootMethod(String name, List parameterTypes, Type returnType, int modifiers, List<SootClass> thrownExceptions)
          Constructs a SootMethod with the given name, parameter types, return type, and list of thrown exceptions.
 

Uses of Type in soot.baf
 

Subclasses of Type in soot.baf
 class DoubleWordType
           
 class WordType
           
 

Methods in soot.baf that return Type
 Type NewArrayInst.getBaseType()
           
 Type NewArrayInst.getBaseType()
           
 Type InstanceCastInst.getCastType()
           
 Type InstanceCastInst.getCastType()
           
 Type InstanceOfInst.getCheckType()
           
 Type InstanceOfInst.getCheckType()
           
static Type Baf.getDescriptorTypeOf(Type opType)
           
static Type Baf.getDescriptorTypeOf(Type opType)
           
 Type PrimitiveCastInst.getFromType()
           
 Type SwapInst.getFromType()
           
 Type SwapInst.getFromType()
           
 Type PrimitiveCastInst.getFromType()
           
 Type Dup1Inst.getOp1Type()
           
 Type Dup1_x1Inst.getOp1Type()
           
 Type Dup1_x2Inst.getOp1Type()
           
 Type Dup2Inst.getOp1Type()
           
 Type Dup2_x1Inst.getOp1Type()
           
 Type Dup2_x2Inst.getOp1Type()
           
 Type Dup2Inst.getOp1Type()
           
 Type Dup2_x2Inst.getOp1Type()
           
 Type Dup2_x1Inst.getOp1Type()
           
 Type Dup1Inst.getOp1Type()
           
 Type Dup1_x2Inst.getOp1Type()
           
 Type Dup1_x1Inst.getOp1Type()
           
 Type Dup2Inst.getOp2Type()
           
 Type Dup2_x1Inst.getOp2Type()
           
 Type Dup2_x2Inst.getOp2Type()
           
 Type Dup2Inst.getOp2Type()
           
 Type Dup2_x2Inst.getOp2Type()
           
 Type Dup2_x1Inst.getOp2Type()
           
 Type LoadInst.getOpType()
           
 Type OpTypeArgInst.getOpType()
           
 Type StoreInst.getOpType()
           
 Type StoreInst.getOpType()
           
 Type OpTypeArgInst.getOpType()
           
 Type LoadInst.getOpType()
           
 Type PrimitiveCastInst.getToType()
           
 Type SwapInst.getToType()
           
 Type SwapInst.getToType()
           
 Type PrimitiveCastInst.getToType()
           
 Type Dup1_x1Inst.getUnder1Type()
           
 Type Dup1_x2Inst.getUnder1Type()
           
 Type Dup2_x1Inst.getUnder1Type()
           
 Type Dup2_x2Inst.getUnder1Type()
           
 Type Dup2_x2Inst.getUnder1Type()
           
 Type Dup2_x1Inst.getUnder1Type()
           
 Type Dup1_x2Inst.getUnder1Type()
           
 Type Dup1_x1Inst.getUnder1Type()
           
 Type Dup1_x2Inst.getUnder2Type()
           
 Type Dup2_x2Inst.getUnder2Type()
           
 Type Dup2_x2Inst.getUnder2Type()
           
 Type Dup1_x2Inst.getUnder2Type()
           
 

Methods in soot.baf that return types with arguments of type Type
 List<Type> DupInst.getOpTypes()
           
 List<Type> DupInst.getOpTypes()
           
 List<Type> DupInst.getUnderTypes()
           
 List<Type> DupInst.getUnderTypes()
           
 

Methods in soot.baf with parameters of type Type
static String Baf.bafDescriptorOf(Type type)
           
static String Baf.bafDescriptorOf(Type type)
           
static Type Baf.getDescriptorTypeOf(Type opType)
           
static Type Baf.getDescriptorTypeOf(Type opType)
           
 AddInst Baf.newAddInst(Type opType)
           
 AddInst Baf.newAddInst(Type opType)
           
 AndInst Baf.newAndInst(Type opType)
           
 AndInst Baf.newAndInst(Type opType)
           
 ArrayReadInst Baf.newArrayReadInst(Type opType)
           
 ArrayReadInst Baf.newArrayReadInst(Type opType)
           
 ArrayWriteInst Baf.newArrayWriteInst(Type opType)
           
 ArrayWriteInst Baf.newArrayWriteInst(Type opType)
           
 CmpgInst Baf.newCmpgInst(Type opType)
           
 CmpgInst Baf.newCmpgInst(Type opType)
           
 CmpInst Baf.newCmpInst(Type opType)
           
 CmpInst Baf.newCmpInst(Type opType)
           
 CmplInst Baf.newCmplInst(Type opType)
           
 CmplInst Baf.newCmplInst(Type opType)
           
 DivInst Baf.newDivInst(Type opType)
           
 DivInst Baf.newDivInst(Type opType)
           
 Dup1_x1Inst Baf.newDup1_x1Inst(Type aOpType, Type aUnderType)
           
 Dup1_x1Inst Baf.newDup1_x1Inst(Type aOpType, Type aUnderType)
           
 Dup1_x2Inst Baf.newDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)
           
 Dup1_x2Inst Baf.newDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)
           
 Dup1Inst Baf.newDup1Inst(Type type)
           
 Dup1Inst Baf.newDup1Inst(Type type)
           
 Dup2_x1Inst Baf.newDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)
           
 Dup2_x1Inst Baf.newDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)
           
 Dup2_x2Inst Baf.newDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)
           
 Dup2_x2Inst Baf.newDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)
           
 Dup2Inst Baf.newDup2Inst(Type aOp1Type, Type aOp2Type)
           
 Dup2Inst Baf.newDup2Inst(Type aOp1Type, Type aOp2Type)
           
 IfCmpEqInst Baf.newIfCmpEqInst(Type opType, Unit unit)
           
 IfCmpEqInst Baf.newIfCmpEqInst(Type opType, Unit unit)
           
 IfCmpGeInst Baf.newIfCmpGeInst(Type opType, Unit unit)
           
 IfCmpGeInst Baf.newIfCmpGeInst(Type opType, Unit unit)
           
 IfCmpGtInst Baf.newIfCmpGtInst(Type opType, Unit unit)
           
 IfCmpGtInst Baf.newIfCmpGtInst(Type opType, Unit unit)
           
 IfCmpLeInst Baf.newIfCmpLeInst(Type opType, Unit unit)
           
 IfCmpLeInst Baf.newIfCmpLeInst(Type opType, Unit unit)
           
 IfCmpLtInst Baf.newIfCmpLtInst(Type opType, Unit unit)
           
 IfCmpLtInst Baf.newIfCmpLtInst(Type opType, Unit unit)
           
 IfCmpNeInst Baf.newIfCmpNeInst(Type opType, Unit unit)
           
 IfCmpNeInst Baf.newIfCmpNeInst(Type opType, Unit unit)
           
 InstanceCastInst Baf.newInstanceCastInst(Type opType)
           
 InstanceCastInst Baf.newInstanceCastInst(Type opType)
           
 InstanceOfInst Baf.newInstanceOfInst(Type opType)
           
 InstanceOfInst Baf.newInstanceOfInst(Type opType)
           
 LoadInst Baf.newLoadInst(Type opType, Local l)
           
 LoadInst Baf.newLoadInst(Type opType, Local l)
           
 Local Baf.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 Local Baf.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 MulInst Baf.newMulInst(Type opType)
           
 MulInst Baf.newMulInst(Type opType)
           
 NegInst Baf.newNegInst(Type opType)
           
 NegInst Baf.newNegInst(Type opType)
           
 NewArrayInst Baf.newNewArrayInst(Type opType)
           
 NewArrayInst Baf.newNewArrayInst(Type opType)
           
 OrInst Baf.newOrInst(Type opType)
           
 OrInst Baf.newOrInst(Type opType)
           
 ParameterRef Baf.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 ParameterRef Baf.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 PopInst Baf.newPopInst(Type aType)
           
 PopInst Baf.newPopInst(Type aType)
           
 PrimitiveCastInst Baf.newPrimitiveCastInst(Type fromType, Type toType)
           
 PrimitiveCastInst Baf.newPrimitiveCastInst(Type fromType, Type toType)
           
 RemInst Baf.newRemInst(Type opType)
           
 RemInst Baf.newRemInst(Type opType)
           
 ReturnInst Baf.newReturnInst(Type opType)
           
 ReturnInst Baf.newReturnInst(Type opType)
           
 ShlInst Baf.newShlInst(Type opType)
           
 ShlInst Baf.newShlInst(Type opType)
           
 ShrInst Baf.newShrInst(Type opType)
           
 ShrInst Baf.newShrInst(Type opType)
           
 StoreInst Baf.newStoreInst(Type opType, Local l)
           
 StoreInst Baf.newStoreInst(Type opType, Local l)
           
 SubInst Baf.newSubInst(Type opType)
           
 SubInst Baf.newSubInst(Type opType)
           
 SwapInst Baf.newSwapInst(Type fromType, Type toType)
           
 SwapInst Baf.newSwapInst(Type fromType, Type toType)
           
 UshrInst Baf.newUshrInst(Type opType)
           
 UshrInst Baf.newUshrInst(Type opType)
           
 XorInst Baf.newXorInst(Type opType)
           
 XorInst Baf.newXorInst(Type opType)
           
 void NewArrayInst.setBaseType(Type type)
           
 void NewArrayInst.setBaseType(Type type)
           
 void InstanceCastInst.setCastType(Type type)
           
 void InstanceCastInst.setCastType(Type type)
           
 void InstanceOfInst.setCheckType(Type type)
           
 void InstanceOfInst.setCheckType(Type type)
           
 void PrimitiveCastInst.setFromType(Type t)
           
 void SwapInst.setFromType(Type fromType)
           
 void SwapInst.setFromType(Type fromType)
           
 void PrimitiveCastInst.setFromType(Type t)
           
 void LoadInst.setOpType(Type opType)
           
 void OpTypeArgInst.setOpType(Type t)
           
 void StoreInst.setOpType(Type opType)
           
 void StoreInst.setOpType(Type opType)
           
 void OpTypeArgInst.setOpType(Type t)
           
 void LoadInst.setOpType(Type opType)
           
 void PrimitiveCastInst.setToType(Type t)
           
 void SwapInst.setToType(Type toType)
           
 void SwapInst.setToType(Type toType)
           
 void PrimitiveCastInst.setToType(Type t)
           
 

Uses of Type in soot.baf.internal
 

Fields in soot.baf.internal declared as Type
protected  Type BNewArrayInst.baseType
           
protected  Type BNewArrayInst.baseType
           
protected  Type BInstanceCastInst.castType
           
protected  Type BInstanceCastInst.castType
           
protected  Type BInstanceOfInst.checkType
           
protected  Type BInstanceOfInst.checkType
           
protected  Type BSwapInst.mFromType
           
protected  Type BSwapInst.mFromType
           
protected  Type BSwapInst.mToType
           
protected  Type BSwapInst.mToType
           
protected  Type BPopInst.mType
           
protected  Type BPopInst.mType
           
protected  Type AbstractOpTypeBranchInst.opType
           
protected  Type AbstractOpTypeInst.opType
           
protected  Type AbstractOpTypeInst.opType
           
protected  Type AbstractOpTypeBranchInst.opType
           
protected  Type BPrimitiveCastInst.toType
           
protected  Type BPrimitiveCastInst.toType
           
 

Methods in soot.baf.internal that return Type
 Type BNewArrayInst.getBaseType()
           
 Type BNewArrayInst.getBaseType()
           
 Type BInstanceCastInst.getCastType()
           
 Type BInstanceCastInst.getCastType()
           
 Type BInstanceOfInst.getCheckType()
           
 Type BInstanceOfInst.getCheckType()
           
 Type BPrimitiveCastInst.getFromType()
           
 Type BSwapInst.getFromType()
           
 Type BSwapInst.getFromType()
           
 Type BPrimitiveCastInst.getFromType()
           
 Type BDup1Inst.getOp1Type()
           
 Type BDup1_x1Inst.getOp1Type()
           
 Type BDup1_x2Inst.getOp1Type()
           
 Type BDup2Inst.getOp1Type()
           
 Type BDup2_x1Inst.getOp1Type()
           
 Type BDup2_x2Inst.getOp1Type()
           
 Type BDup2Inst.getOp1Type()
           
 Type BDup2_x2Inst.getOp1Type()
           
 Type BDup2_x1Inst.getOp1Type()
           
 Type BDup1Inst.getOp1Type()
           
 Type BDup1_x2Inst.getOp1Type()
           
 Type BDup1_x1Inst.getOp1Type()
           
 Type BDup2Inst.getOp2Type()
           
 Type BDup2_x1Inst.getOp2Type()
           
 Type BDup2_x2Inst.getOp2Type()
           
 Type BDup2Inst.getOp2Type()
           
 Type BDup2_x2Inst.getOp2Type()
           
 Type BDup2_x1Inst.getOp2Type()
           
 Type AbstractOpTypeBranchInst.getOpType()
           
 Type AbstractOpTypeInst.getOpType()
           
 Type AbstractRefTypeInst.getOpType()
           
 Type AbstractRefTypeInst.getOpType()
           
 Type AbstractOpTypeInst.getOpType()
           
 Type AbstractOpTypeBranchInst.getOpType()
           
 Type BPrimitiveCastInst.getToType()
           
 Type BSwapInst.getToType()
           
 Type BSwapInst.getToType()
           
 Type BPrimitiveCastInst.getToType()
           
 Type BPopInst.getType()
           
 Type BafLocal.getType()
           
 Type BPopInst.getType()
           
 Type BafLocal.getType()
           
 Type BDup1_x1Inst.getUnder1Type()
           
 Type BDup1_x2Inst.getUnder1Type()
           
 Type BDup2_x1Inst.getUnder1Type()
           
 Type BDup2_x2Inst.getUnder1Type()
           
 Type BDup2_x2Inst.getUnder1Type()
           
 Type BDup2_x1Inst.getUnder1Type()
           
 Type BDup1_x2Inst.getUnder1Type()
           
 Type BDup1_x1Inst.getUnder1Type()
           
 Type BDup1_x2Inst.getUnder2Type()
           
 Type BDup2_x2Inst.getUnder2Type()
           
 Type BDup2_x2Inst.getUnder2Type()
           
 Type BDup1_x2Inst.getUnder2Type()
           
 

Methods in soot.baf.internal that return types with arguments of type Type
 List<Type> BDup1Inst.getOpTypes()
           
 List<Type> BDup1_x1Inst.getOpTypes()
           
 List<Type> BDup1_x2Inst.getOpTypes()
           
 List<Type> BDup2Inst.getOpTypes()
           
 List<Type> BDup2_x1Inst.getOpTypes()
           
 List<Type> BDup2_x2Inst.getOpTypes()
           
 List<Type> BDup2Inst.getOpTypes()
           
 List<Type> BDup2_x2Inst.getOpTypes()
           
 List<Type> BDup2_x1Inst.getOpTypes()
           
 List<Type> BDup1Inst.getOpTypes()
           
 List<Type> BDup1_x2Inst.getOpTypes()
           
 List<Type> BDup1_x1Inst.getOpTypes()
           
 List<Type> BDup1Inst.getUnderTypes()
           
 List<Type> BDup1_x1Inst.getUnderTypes()
           
 List<Type> BDup1_x2Inst.getUnderTypes()
           
 List<Type> BDup2Inst.getUnderTypes()
           
 List<Type> BDup2_x1Inst.getUnderTypes()
           
 List<Type> BDup2_x2Inst.getUnderTypes()
           
 List<Type> BDup2Inst.getUnderTypes()
           
 List<Type> BDup2_x2Inst.getUnderTypes()
           
 List<Type> BDup2_x1Inst.getUnderTypes()
           
 List<Type> BDup1Inst.getUnderTypes()
           
 List<Type> BDup1_x2Inst.getUnderTypes()
           
 List<Type> BDup1_x1Inst.getUnderTypes()
           
 

Methods in soot.baf.internal with parameters of type Type
 void BNewArrayInst.setBaseType(Type type)
           
 void BNewArrayInst.setBaseType(Type type)
           
 void BInstanceCastInst.setCastType(Type t)
           
 void BInstanceCastInst.setCastType(Type t)
           
 void BInstanceOfInst.setCheckType(Type t)
           
 void BInstanceOfInst.setCheckType(Type t)
           
 void BPrimitiveCastInst.setFromType(Type t)
           
 void BSwapInst.setFromType(Type fromType)
           
 void BSwapInst.setFromType(Type fromType)
           
 void BPrimitiveCastInst.setFromType(Type t)
           
 void AbstractOpTypeBranchInst.setOpType(Type t)
           
 void AbstractOpTypeInst.setOpType(Type t)
           
 void AbstractRefTypeInst.setOpType(Type t)
           
 void AbstractRefTypeInst.setOpType(Type t)
           
 void AbstractOpTypeInst.setOpType(Type t)
           
 void AbstractOpTypeBranchInst.setOpType(Type t)
           
 void BPrimitiveCastInst.setToType(Type t)
           
 void BSwapInst.setToType(Type toType)
           
 void BSwapInst.setToType(Type toType)
           
 void BPrimitiveCastInst.setToType(Type t)
           
 void BafLocal.setType(Type t)
           
 void BafLocal.setType(Type t)
           
 

Constructors in soot.baf.internal with parameters of type Type
AbstractOpTypeInst(Type opType)
           
AbstractOpTypeInst(Type opType)
           
BAddInst(Type opType)
           
BAddInst(Type opType)
           
BafLocal(String name, Type t)
           
BafLocal(String name, Type t)
           
BAndInst(Type opType)
           
BAndInst(Type opType)
           
BArrayReadInst(Type opType)
           
BArrayReadInst(Type opType)
           
BArrayWriteInst(Type opType)
           
BArrayWriteInst(Type opType)
           
BCmpgInst(Type opType)
           
BCmpgInst(Type opType)
           
BCmpInst(Type opType)
           
BCmpInst(Type opType)
           
BCmplInst(Type opType)
           
BCmplInst(Type opType)
           
BDivInst(Type opType)
           
BDivInst(Type opType)
           
BDup1_x1Inst(Type aOpType, Type aUnderType)
           
BDup1_x1Inst(Type aOpType, Type aUnderType)
           
BDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)
           
BDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)
           
BDup1Inst(Type aOpType)
           
BDup1Inst(Type aOpType)
           
BDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)
           
BDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)
           
BDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)
           
BDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)
           
BDup2Inst(Type aOp1Type, Type aOp2Type)
           
BDup2Inst(Type aOp1Type, Type aOp2Type)
           
BIfCmpEqInst(Type opType, Unit target)
           
BIfCmpEqInst(Type opType, Unit target)
           
BIfCmpGeInst(Type opType, Unit target)
           
BIfCmpGeInst(Type opType, Unit target)
           
BIfCmpGtInst(Type opType, Unit target)
           
BIfCmpGtInst(Type opType, Unit target)
           
BIfCmpLeInst(Type opType, Unit target)
           
BIfCmpLeInst(Type opType, Unit target)
           
BIfCmpLtInst(Type opType, Unit target)
           
BIfCmpLtInst(Type opType, Unit target)
           
BIfCmpNeInst(Type opType, Unit target)
           
BIfCmpNeInst(Type opType, Unit target)
           
BInstanceCastInst(Type opType)
           
BInstanceCastInst(Type opType)
           
BInstanceOfInst(Type opType)
           
BInstanceOfInst(Type opType)
           
BLoadInst(Type opType, Local local)
           
BLoadInst(Type opType, Local local)
           
BMulInst(Type opType)
           
BMulInst(Type opType)
           
BNegInst(Type opType)
           
BNegInst(Type opType)
           
BNewArrayInst(Type opType)
           
BNewArrayInst(Type opType)
           
BOrInst(Type opType)
           
BOrInst(Type opType)
           
BPopInst(Type aType)
           
BPopInst(Type aType)
           
BPrimitiveCastInst(Type fromType, Type toType)
           
BPrimitiveCastInst(Type fromType, Type toType)
           
BRemInst(Type opType)
           
BRemInst(Type opType)
           
BReturnInst(Type opType)
           
BReturnInst(Type opType)
           
BShlInst(Type opType)
           
BShlInst(Type opType)
           
BShrInst(Type opType)
           
BShrInst(Type opType)
           
BStoreInst(Type opType, Local local)
           
BStoreInst(Type opType, Local local)
           
BSubInst(Type opType)
           
BSubInst(Type opType)
           
BSwapInst(Type fromType, Type toType)
           
BSwapInst(Type fromType, Type toType)
           
BUshrInst(Type opType)
           
BUshrInst(Type opType)
           
BXorInst(Type opType)
           
BXorInst(Type opType)
           
 

Uses of Type in soot.coffi
 

Subclasses of Type in soot.coffi
 class Double2ndHalfType
           
 class Long2ndHalfType
           
 class UnusuableType
           
 

Methods in soot.coffi that return Type
 Type Util.jimpleTypeOfFieldDescriptor(String descriptor)
           
 Type Util.jimpleTypeOfFieldDescriptor(String descriptor)
           
 Type[] Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor)
           
 Type[] Util.jimpleTypesOfFieldOrMethodDescriptor(String descriptor)
           
 

Methods in soot.coffi with parameters of type Type
 boolean Double2ndHalfType.equals(Type otherType)
           
 boolean Long2ndHalfType.equals(Type otherType)
           
 boolean UnusuableType.equals(Type otherType)
           
 boolean UnusuableType.equals(Type otherType)
           
 boolean Long2ndHalfType.equals(Type otherType)
           
 boolean Double2ndHalfType.equals(Type otherType)
           
 

Uses of Type in soot.dava
 

Methods in soot.dava with parameters of type Type
 Local Dava.newLocal(String name, Type t)
           
 Local Dava.newLocal(String name, Type t)
           
 void DavaUnitPrinter.type(Type t)
           
 void DavaUnitPrinter.type(Type t)
           
 

Uses of Type in soot.dava.internal.javaRep
 

Fields in soot.dava.internal.javaRep declared as Type
 Type DIntConstant.type
           
 Type DIntConstant.type
           
 

Methods in soot.dava.internal.javaRep that return Type
 Type DArrayInitExpr.getType()
           
 Type DCmpExpr.getType()
           
 Type DCmpgExpr.getType()
           
 Type DCmplExpr.getType()
           
 Type DNotExpr.getType()
           
 Type DShortcutIf.getType()
           
 Type DVariableDeclarationStmt.getType()
           
 Type DVariableDeclarationStmt.getType()
           
 Type DShortcutIf.getType()
           
 Type DNotExpr.getType()
           
 Type DCmplExpr.getType()
           
 Type DCmpgExpr.getType()
           
 Type DCmpExpr.getType()
           
 Type DArrayInitExpr.getType()
           
 

Methods in soot.dava.internal.javaRep with parameters of type Type
 boolean DVariableDeclarationStmt.isOfType(Type type)
           
 boolean DVariableDeclarationStmt.isOfType(Type type)
           
static DIntConstant DIntConstant.v(int value, Type type)
           
static DIntConstant DIntConstant.v(int value, Type type)
           
 

Constructors in soot.dava.internal.javaRep with parameters of type Type
DArrayInitExpr(ValueBox[] elements, Type type)
           
DArrayInitExpr(ValueBox[] elements, Type type)
           
DNewArrayExpr(Type type, Value size)
           
DNewArrayExpr(Type type, Value size)
           
DShortcutAssignStmt(DAssignStmt assignStmt, Type type)
           
DShortcutAssignStmt(DAssignStmt assignStmt, Type type)
           
DVariableDeclarationStmt(Type decType, DavaBody davaBody)
           
DVariableDeclarationStmt(Type decType, DavaBody davaBody)
           
 

Uses of Type in soot.dava.toolkits.base.AST.analysis
 

Methods in soot.dava.toolkits.base.AST.analysis with parameters of type Type
 void Analysis.caseType(Type t)
           
 void AnalysisAdapter.caseType(Type t)
           
 void DepthFirstAdapter.caseType(Type t)
           
 void DepthFirstAdapter.caseType(Type t)
           
 void AnalysisAdapter.caseType(Type t)
           
 void Analysis.caseType(Type t)
           
 void DepthFirstAdapter.inType(Type t)
           
 void DepthFirstAdapter.inType(Type t)
           
 void DepthFirstAdapter.outType(Type t)
           
 void DepthFirstAdapter.outType(Type t)
           
 

Uses of Type in soot.dava.toolkits.base.AST.transformations
 

Methods in soot.dava.toolkits.base.AST.transformations with parameters of type Type
 AugmentedStmt SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
           
 AugmentedStmt SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
           
 Value SuperFirstStmtHandler.getProperCasting(Type tempType, DVirtualInvokeExpr tempInvokeExpr)
           
 Value SuperFirstStmtHandler.getProperCasting(Type tempType, DVirtualInvokeExpr tempInvokeExpr)
           
 

Uses of Type in soot.dava.toolkits.base.renamer
 

Methods in soot.dava.toolkits.base.renamer with parameters of type Type
static boolean RemoveFullyQualifiedName.containsMultiple(Iterator it, String qualifiedName, Type t)
           
static boolean RemoveFullyQualifiedName.containsMultiple(Iterator it, String qualifiedName, Type t)
           
static String RemoveFullyQualifiedName.getReducedName(IterableSet importList, String qualifiedName, Type t)
           
static String RemoveFullyQualifiedName.getReducedName(IterableSet importList, String qualifiedName, Type t)
           
 

Uses of Type in soot.grimp
 

Methods in soot.grimp with parameters of type Type
 CastExpr Grimp.newCastExpr(Value op1, Type t)
          Constructs a CastExpr(Expr, Type) grammar chunk.
 CastExpr Grimp.newCastExpr(Value op1, Type t)
          Constructs a CastExpr(Expr, Type) grammar chunk.
 InstanceOfExpr Grimp.newInstanceOfExpr(Value op1, Type t)
          Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
 InstanceOfExpr Grimp.newInstanceOfExpr(Value op1, Type t)
          Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
 Local Grimp.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 Local Grimp.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 NewArrayExpr Grimp.newNewArrayExpr(Type type, Value size)
          Constructs a NewArrayExpr(Type, Expr) grammar chunk.
 NewArrayExpr Grimp.newNewArrayExpr(Type type, Value size)
          Constructs a NewArrayExpr(Type, Expr) grammar chunk.
 ParameterRef Grimp.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 ParameterRef Grimp.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 

Uses of Type in soot.grimp.internal
 

Methods in soot.grimp.internal that return Type
 Type GNewInvokeExpr.getType()
           
 Type GNewInvokeExpr.getType()
           
 

Constructors in soot.grimp.internal with parameters of type Type
GCastExpr(Value op, Type type)
           
GCastExpr(Value op, Type type)
           
GInstanceOfExpr(Value op, Type checkType)
           
GInstanceOfExpr(Value op, Type checkType)
           
GNewArrayExpr(Type type, Value size)
           
GNewArrayExpr(Type type, Value size)
           
 

Uses of Type in soot.javaToJimple
 

Fields in soot.javaToJimple with type parameters of type Type
 Set<Type> IInitialResolver.Dependencies.typesToHierarchy
           
 Set<Type> IInitialResolver.Dependencies.typesToHierarchy
           
 Set<Type> IInitialResolver.Dependencies.typesToSignature
           
 Set<Type> IInitialResolver.Dependencies.typesToSignature
           
 

Methods in soot.javaToJimple that return Type
static Type Util.getSootType(polyglot.types.Type type)
          Type handling
static Type Util.getSootType(polyglot.types.Type type)
          Type handling
 Type AnonClassInitMethodSource.outerClassType()
           
 Type AnonClassInitMethodSource.outerClassType()
           
 Type AnonClassInitMethodSource.superOuterType()
           
 Type AnonClassInitMethodSource.superOuterType()
           
 Type AnonClassInitMethodSource.thisOuterType()
           
 Type AnonClassInitMethodSource.thisOuterType()
           
 

Methods in soot.javaToJimple with parameters of type Type
protected  Local AbstractJimpleBodyBuilder.generateLocal(Type sootType)
           
protected  Local JimpleBodyBuilder.generateLocal(Type sootType)
           
 Local LocalGenerator.generateLocal(Type type)
          generates a new soot local given the type
 Local LocalGenerator.generateLocal(Type type)
          generates a new soot local given the type
protected  Local JimpleBodyBuilder.generateLocal(Type sootType)
           
protected  Local AbstractJimpleBodyBuilder.generateLocal(Type sootType)
           
protected  Constant AbstractJimpleBodyBuilder.getConstant(Type sootType, int val)
           
protected  Constant JimpleBodyBuilder.getConstant(Type type, int val)
          Returns a needed constant given a type and val
protected  Constant JimpleBodyBuilder.getConstant(Type type, int val)
          Returns a needed constant given a type and val
protected  Constant AbstractJimpleBodyBuilder.getConstant(Type sootType, int val)
           
protected  Local AbstractJimpleBodyBuilder.getThis(Type sootType)
           
protected  Local JimpleBodyBuilder.getThis(Type sootType)
           
protected  Local JimpleBodyBuilder.getThis(Type sootType)
           
protected  Local AbstractJimpleBodyBuilder.getThis(Type sootType)
           
static Local Util.getThis(Type sootType, Body body, HashMap getThisMap, LocalGenerator lg)
           
static Local Util.getThis(Type sootType, Body body, HashMap getThisMap, LocalGenerator lg)
           
static Local Util.getThisGivenOuter(Type sootType, HashMap getThisMap, Body body, LocalGenerator lg, Local t2)
           
static Local Util.getThisGivenOuter(Type sootType, HashMap getThisMap, Body body, LocalGenerator lg, Local t2)
           
 void AnonClassInitMethodSource.outerClassType(Type type)
           
 void AnonClassInitMethodSource.outerClassType(Type type)
           
 void AnonClassInitMethodSource.superOuterType(Type t)
           
 void AnonClassInitMethodSource.superOuterType(Type t)
           
 void AnonClassInitMethodSource.thisOuterType(Type t)
           
 void AnonClassInitMethodSource.thisOuterType(Type t)
           
 

Constructors in soot.javaToJimple with parameters of type Type
PrivateFieldAccMethodSource(Type fieldType, String fieldName, boolean isStatic, SootClass classToInvoke)
           
PrivateFieldAccMethodSource(Type fieldType, String fieldName, boolean isStatic, SootClass classToInvoke)
           
PrivateFieldSetMethodSource(Type fieldType, String fieldName, boolean isStatic)
           
PrivateFieldSetMethodSource(Type fieldType, String fieldName, boolean isStatic)
           
 

Constructor parameters in soot.javaToJimple with type arguments of type Type
ClassResolver(SootClass sootClass, Set<Type> set)
           
ClassResolver(SootClass sootClass, Set<Type> set)
           
 

Uses of Type in soot.jbco.bafTransformations
 

Fields in soot.jbco.bafTransformations declared as Type
 Type[] StackTypeHeightCalculator.StackEffectSwitch.add_types
           
 Type[] StackTypeHeightCalculator.StackEffectSwitch.add_types
           
 Type[] StackTypeHeightCalculator.StackEffectSwitch.remove_types
           
 Type[] StackTypeHeightCalculator.StackEffectSwitch.remove_types
           
 

Methods in soot.jbco.bafTransformations that return types with arguments of type Type
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Body b, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Body b, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(Unit u, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(Unit u, Stack<Type> st)
           
 

Methods in soot.jbco.bafTransformations with parameters of type Type
static PushInst FixUndefinedLocals.getPushInitializer(Local l, Type t)
           
static PushInst FixUndefinedLocals.getPushInitializer(Local l, Type t)
           
 

Method parameters in soot.jbco.bafTransformations with type arguments of type Type
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack, Unit u)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(StackTypeHeightCalculator.StackEffectSwitch sw, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(Unit u, Stack<Type> st)
           
static Stack<Type> StackTypeHeightCalculator.updateStack(Unit u, Stack<Type> st)
           
 

Uses of Type in soot.jbco.jimpleTransformations
 

Fields in soot.jbco.jimpleTransformations with type parameters of type Type
static HashMap<Type,List<Constant>> CollectConstants.typesToValues
           
static HashMap<Type,List<Constant>> CollectConstants.typesToValues
           
 

Uses of Type in soot.jimple
 

Methods in soot.jimple that return Type
 Type NewArrayExpr.getBaseType()
           
 Type NewArrayExpr.getBaseType()
           
 Type CastExpr.getCastType()
           
 Type CastExpr.getCastType()
           
 Type InstanceOfExpr.getCheckType()
           
 Type InstanceOfExpr.getCheckType()
           
 Type ArrayRef.getType()
           
 Type CastExpr.getType()
           
 Type CaughtExceptionRef.getType()
           
 Type ClassConstant.getType()
           
 Type DoubleConstant.getType()
           
 Type FloatConstant.getType()
           
 Type InstanceOfExpr.getType()
           
 Type IntConstant.getType()
           
 Type InvokeExpr.getType()
           
 Type LongConstant.getType()
           
 Type NewArrayExpr.getType()
           
 Type NewExpr.getType()
           
 Type NewMultiArrayExpr.getType()
           
 Type NullConstant.getType()
           
 Type ParameterRef.getType()
          Returns the type of this ParameterRef.
 Type StaticFieldRef.getType()
           
 Type StaticInvokeExpr.getType()
           
 Type StringConstant.getType()
           
 Type ThisRef.getType()
           
 Type ThisRef.getType()
           
 Type StringConstant.getType()
           
 Type StaticInvokeExpr.getType()
           
 Type StaticFieldRef.getType()
           
 Type ParameterRef.getType()
          Returns the type of this ParameterRef.
 Type NullConstant.getType()
           
 Type NewMultiArrayExpr.getType()
           
 Type NewExpr.getType()
           
 Type NewArrayExpr.getType()
           
 Type LongConstant.getType()
           
 Type InvokeExpr.getType()
           
 Type IntConstant.getType()
           
 Type InstanceOfExpr.getType()
           
 Type FloatConstant.getType()
           
 Type DoubleConstant.getType()
           
 Type ClassConstant.getType()
           
 Type CaughtExceptionRef.getType()
           
 Type CastExpr.getType()
           
 Type ArrayRef.getType()
           
 

Methods in soot.jimple with parameters of type Type
static boolean Jimple.isJavaKeywordType(Type t)
           
static boolean Jimple.isJavaKeywordType(Type t)
           
 CastExpr Jimple.newCastExpr(Value op1, Type t)
          Constructs a CastExpr(Immediate, Type) grammar chunk.
 CastExpr Jimple.newCastExpr(Value op1, Type t)
          Constructs a CastExpr(Immediate, Type) grammar chunk.
 InstanceOfExpr Jimple.newInstanceOfExpr(Value op1, Type t)
          Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.
 InstanceOfExpr Jimple.newInstanceOfExpr(Value op1, Type t)
          Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.
 Local Jimple.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 Local Jimple.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 NewArrayExpr Jimple.newNewArrayExpr(Type type, Value size)
          Constructs a NewArrayExpr(Type, Immediate) grammar chunk.
 NewArrayExpr Jimple.newNewArrayExpr(Type type, Value size)
          Constructs a NewArrayExpr(Type, Immediate) grammar chunk.
 ParameterRef Jimple.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 ParameterRef Jimple.newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 void NewArrayExpr.setBaseType(Type type)
           
 void NewArrayExpr.setBaseType(Type type)
           
 void CastExpr.setCastType(Type castType)
           
 void CastExpr.setCastType(Type castType)
           
 void InstanceOfExpr.setCheckType(Type checkType)
           
 void InstanceOfExpr.setCheckType(Type checkType)
           
 

Constructors in soot.jimple with parameters of type Type
ParameterRef(Type paramType, int number)
          Constructs a ParameterRef object of the specified type, representing the specified parameter number.
ParameterRef(Type paramType, int number)
          Constructs a ParameterRef object of the specified type, representing the specified parameter number.
 

Uses of Type in soot.jimple.internal
 

Methods in soot.jimple.internal that return Type
 Type AbstractNewArrayExpr.getBaseType()
           
 Type AbstractNewArrayExpr.getBaseType()
           
 Type AbstractCastExpr.getCastType()
           
 Type AbstractCastExpr.getCastType()
           
 Type AbstractInstanceOfExpr.getCheckType()
           
 Type AbstractInstanceOfExpr.getCheckType()
           
 Type AbstractCastExpr.getType()
           
 Type AbstractFloatBinopExpr.getType()
           
 Type AbstractInstanceFieldRef.getType()
           
 Type AbstractInstanceOfExpr.getType()
           
 Type AbstractIntBinopExpr.getType()
           
 Type AbstractIntLongBinopExpr.getType()
           
 Type AbstractInvokeExpr.getType()
           
 Type AbstractLengthExpr.getType()
           
 Type AbstractNegExpr.getType()
           
 Type AbstractNewArrayExpr.getType()
           
 Type AbstractNewExpr.getType()
           
 Type AbstractNewMultiArrayExpr.getType()
           
 Type JArrayRef.getType()
           
 Type JCaughtExceptionRef.getType()
           
 Type JimpleLocal.getType()
          Returns the type of this local.
 Type JimpleLocal.getType()
          Returns the type of this local.
 Type JCaughtExceptionRef.getType()
           
 Type JArrayRef.getType()
           
 Type AbstractNewMultiArrayExpr.getType()
           
 Type AbstractNewExpr.getType()
           
 Type AbstractNewArrayExpr.getType()
           
 Type AbstractNegExpr.getType()
           
 Type AbstractLengthExpr.getType()
           
 Type AbstractInvokeExpr.getType()
           
 Type AbstractIntLongBinopExpr.getType()
           
 Type AbstractIntBinopExpr.getType()
           
 Type AbstractInstanceOfExpr.getType()
           
 Type AbstractInstanceFieldRef.getType()
           
 Type AbstractFloatBinopExpr.getType()
           
 Type AbstractCastExpr.getType()
           
 

Methods in soot.jimple.internal with parameters of type Type
 void AbstractNewArrayExpr.setBaseType(Type type)
           
 void AbstractNewArrayExpr.setBaseType(Type type)
           
 void AbstractCastExpr.setCastType(Type castType)
           
 void AbstractCastExpr.setCastType(Type castType)
           
 void AbstractInstanceOfExpr.setCheckType(Type checkType)
           
 void AbstractInstanceOfExpr.setCheckType(Type checkType)
           
 void JimpleLocal.setType(Type t)
          Sets the type of this local.
 void JimpleLocal.setType(Type t)
          Sets the type of this local.
 

Constructors in soot.jimple.internal with parameters of type Type
AbstractCastExpr(ValueBox opBox, Type type)
           
AbstractCastExpr(ValueBox opBox, Type type)
           
AbstractInstanceOfExpr(ValueBox opBox, Type checkType)
           
AbstractInstanceOfExpr(ValueBox opBox, Type checkType)
           
AbstractNewArrayExpr(Type type, ValueBox sizeBox)
           
AbstractNewArrayExpr(Type type, ValueBox sizeBox)
           
JCastExpr(Value op, Type type)
           
JCastExpr(Value op, Type type)
           
JimpleLocal(String name, Type t)
          Constructs a JimpleLocal of the given name and type.
JimpleLocal(String name, Type t)
          Constructs a JimpleLocal of the given name and type.
JInstanceOfExpr(Value op, Type checkType)
           
JInstanceOfExpr(Value op, Type checkType)
           
JNewArrayExpr(Type type, Value size)
           
JNewArrayExpr(Type type, Value size)
           
 

Uses of Type in soot.jimple.spark.geom.geomE
 

Method parameters in soot.jimple.spark.geom.geomE with type arguments of type Type
 boolean FullSensitiveNode.test_points_to_has_types(Set<Type> types)
           
 boolean FullSensitiveNode.test_points_to_has_types(Set<Type> types)
           
 

Uses of Type in soot.jimple.spark.geom.geomPA
 

Methods in soot.jimple.spark.geom.geomPA that return Type
 Type IVarAbstraction.getType()
           
 Type IVarAbstraction.getType()
           
 

Methods in soot.jimple.spark.geom.geomPA with parameters of type Type
 boolean GeomPointsTo.castNeverFails(Type src, Type dst)
           
 boolean GeomPointsTo.castNeverFails(Type src, Type dst)
           
 

Method parameters in soot.jimple.spark.geom.geomPA with type arguments of type Type
 boolean DummyNode.test_points_to_has_types(Set<Type> types)
           
abstract  boolean IVarAbstraction.test_points_to_has_types(Set<Type> types)
           
abstract  boolean IVarAbstraction.test_points_to_has_types(Set<Type> types)
           
 boolean DummyNode.test_points_to_has_types(Set<Type> types)
           
 

Uses of Type in soot.jimple.spark.geom.heapinsE
 

Method parameters in soot.jimple.spark.geom.heapinsE with type arguments of type Type
 boolean HeapInsNode.test_points_to_has_types(Set<Type> types)
           
 boolean HeapInsNode.test_points_to_has_types(Set<Type> types)
           
 

Uses of Type in soot.jimple.spark.geom.ptinsE
 

Method parameters in soot.jimple.spark.geom.ptinsE with type arguments of type Type
 boolean PtInsNode.test_points_to_has_types(Set<Type> types)
           
 boolean PtInsNode.test_points_to_has_types(Set<Type> types)
           
 

Uses of Type in soot.jimple.spark.internal
 

Methods in soot.jimple.spark.internal with parameters of type Type
 boolean TypeManager.castNeverFails(Type src, Type dst)
           
 boolean TypeManager.castNeverFails(Type src, Type dst)
           
 BitVector TypeManager.get(Type type)
           
 BitVector TypeManager.get(Type type)
           
static boolean TypeManager.isUnresolved(Type type)
           
static boolean TypeManager.isUnresolved(Type type)
           
 

Uses of Type in soot.jimple.spark.ondemand
 

Methods in soot.jimple.spark.ondemand that return types with arguments of type Type
 Set<Type> AllocAndContextSet.possibleTypes()
           
 Set<Type> LazyContextSensitivePointsToSet.possibleTypes()
           
 Set<Type> WrappedPointsToSet.possibleTypes()
           
 Set<Type> WrappedPointsToSet.possibleTypes()
           
 Set<Type> LazyContextSensitivePointsToSet.possibleTypes()
           
 Set<Type> AllocAndContextSet.possibleTypes()
           
 

Methods in soot.jimple.spark.ondemand with parameters of type Type
protected  Set<SootMethod> DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set, NumberedString methodStr, Type receiverType, Set<SootMethod> possibleTargets)
           
protected  Set<SootMethod> DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set, NumberedString methodStr, Type receiverType, Set<SootMethod> possibleTargets)
           
protected  Set<SootMethod> DemandCSPointsTo.getCallTargetsForType(Type type, NumberedString methodStr, Type receiverType, Set<SootMethod> possibleTargets)
           
protected  Set<SootMethod> DemandCSPointsTo.getCallTargetsForType(Type type, NumberedString methodStr, Type receiverType, Set<SootMethod> possibleTargets)
           
 

Uses of Type in soot.jimple.spark.ondemand.pautil
 

Fields in soot.jimple.spark.ondemand.pautil declared as Type
 Type AllocationSiteHandler.VirtualCallHandler.receiverType
           
 Type AllocationSiteHandler.VirtualCallHandler.receiverType
           
 

Methods in soot.jimple.spark.ondemand.pautil with parameters of type Type
static Collection<? extends SootMethod> SootUtil.getCallTargets(Type type, SootMethod invokedMethod)
           
static Collection<? extends SootMethod> SootUtil.getCallTargets(Type type, SootMethod invokedMethod)
           
 void AllocationSiteHandler.CastCheckHandler.setType(Type type)
           
 void AllocationSiteHandler.CastCheckHandler.setType(Type type)
           
 

Constructors in soot.jimple.spark.ondemand.pautil with parameters of type Type
AllocationSiteHandler.VirtualCallHandler(PAG pag, Type receiverType, NumberedString methodStr)
           
AllocationSiteHandler.VirtualCallHandler(PAG pag, Type receiverType, NumberedString methodStr)
           
 

Uses of Type in soot.jimple.spark.pag
 

Fields in soot.jimple.spark.pag declared as Type
protected  Type Node.type
           
protected  Type Node.type
           
 

Methods in soot.jimple.spark.pag that return Type
 Type ArrayElement.getType()
           
 Type Node.getType()
          Returns the declared type of this node, null for unknown.
 Type Parm.getType()
           
 Type SparkField.getType()
           
 Type SparkField.getType()
           
 Type Parm.getType()
           
 Type Node.getType()
          Returns the declared type of this node, null for unknown.
 Type ArrayElement.getType()
           
 

Methods in soot.jimple.spark.pag with parameters of type Type
 AllocNode PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
           
 AllocNode PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
           
 ContextVarNode PAG.makeContextVarNode(Object baseValue, Type baseType, Context context, SootMethod method)
          Finds or creates the ContextVarNode for base variable baseValue and context context, of type type.
 ContextVarNode PAG.makeContextVarNode(Object baseValue, Type baseType, Context context, SootMethod method)
          Finds or creates the ContextVarNode for base variable baseValue and context context, of type type.
 FieldRefNode PAG.makeGlobalFieldRefNode(Object baseValue, Type baseType, SparkField field)
          Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
 FieldRefNode PAG.makeGlobalFieldRefNode(Object baseValue, Type baseType, SparkField field)
          Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
 GlobalVarNode PAG.makeGlobalVarNode(Object value, Type type)
          Finds or creates the GlobalVarNode for the variable value, of type type.
 GlobalVarNode PAG.makeGlobalVarNode(Object value, Type type)
          Finds or creates the GlobalVarNode for the variable value, of type type.
 FieldRefNode PAG.makeLocalFieldRefNode(Object baseValue, Type baseType, SparkField field, SootMethod method)
          Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
 FieldRefNode PAG.makeLocalFieldRefNode(Object baseValue, Type baseType, SparkField field, SootMethod method)
          Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
 LocalVarNode PAG.makeLocalVarNode(Object value, Type type, SootMethod method)
          Finds or creates the LocalVarNode for the variable value, of type type.
 LocalVarNode PAG.makeLocalVarNode(Object value, Type type, SootMethod method)
          Finds or creates the LocalVarNode for the variable value, of type type.
 void Node.setType(Type type)
          Sets the declared type of this node, null for unknown.
 void Node.setType(Type type)
          Sets the declared type of this node, null for unknown.
 

Constructors in soot.jimple.spark.pag with parameters of type Type
ValNode(PAG pag, Type t)
           
ValNode(PAG pag, Type t)
           
 

Uses of Type in soot.jimple.spark.sets
 

Fields in soot.jimple.spark.sets declared as Type
protected  Type PointsToSetInternal.type
           
protected  Type PointsToSetInternal.type
           
 

Methods in soot.jimple.spark.sets that return Type
 Type PointsToSetInternal.getType()
           
 Type PointsToSetInternal.getType()
           
 

Methods in soot.jimple.spark.sets that return types with arguments of type Type
 Set<Type> PointsToSetEqualsWrapper.possibleTypes()
           
 Set<Type> PointsToSetInternal.possibleTypes()
           
 Set<Type> PointsToSetInternal.possibleTypes()
           
 Set<Type> PointsToSetEqualsWrapper.possibleTypes()
           
 

Methods in soot.jimple.spark.sets with parameters of type Type
abstract  PointsToSetInternal P2SetFactory.newSet(Type type, PAG pag)
          Returns a newly-created set.
abstract  PointsToSetInternal P2SetFactory.newSet(Type type, PAG pag)
          Returns a newly-created set.
 void PointsToSetInternal.setType(Type type)
           
 void PointsToSetInternal.setType(Type type)
           
 

Constructors in soot.jimple.spark.sets with parameters of type Type
BitPointsToSet(Type type, PAG pag)
           
BitPointsToSet(Type type, PAG pag)
           
DoublePointsToSet(Type type, PAG pag)
           
DoublePointsToSet(Type type, PAG pag)
           
HashPointsToSet(Type type, PAG pag)
           
HashPointsToSet(Type type, PAG pag)
           
HybridPointsToSet(Type type, PAG pag)
           
HybridPointsToSet(Type type, PAG pag)
           
PointsToSetInternal(Type type)
           
PointsToSetInternal(Type type)
           
SharedHybridSet(Type type, PAG pag)
           
SharedHybridSet(Type type, PAG pag)
           
SharedListSet(Type type, PAG pag)
           
SharedListSet(Type type, PAG pag)
           
SortedArraySet(Type type, PAG pag)
           
SortedArraySet(Type type, PAG pag)
           
 

Uses of Type in soot.jimple.toolkits.callgraph
 

Methods in soot.jimple.toolkits.callgraph with parameters of type Type
 void OnFlyCallGraphBuilder.addType(Local receiver, Context srcContext, Type type, Context typeContext)
           
 void OnFlyCallGraphBuilder.addType(Local receiver, Context srcContext, Type type, Context typeContext)
           
 void VirtualCalls.resolve(Type t, Type declaredType, NumberedString subSig, SootMethod container, ChunkedQueue targets)
           
 void VirtualCalls.resolve(Type t, Type declaredType, NumberedString subSig, SootMethod container, ChunkedQueue targets)
           
 void VirtualCalls.resolve(Type t, Type declaredType, Type sigType, NumberedString subSig, SootMethod container, ChunkedQueue targets)
           
 void VirtualCalls.resolve(Type t, Type declaredType, Type sigType, NumberedString subSig, SootMethod container, ChunkedQueue targets)
           
 

Uses of Type in soot.jimple.toolkits.infoflow
 

Methods in soot.jimple.toolkits.infoflow that return Type
 Type AbstractDataSource.getType()
           
 Type AbstractDataSource.getType()
           
 

Methods in soot.jimple.toolkits.infoflow with parameters of type Type
protected  boolean SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
           
protected  boolean SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
           
protected  boolean SmartMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
           
protected  boolean SimpleMethodInfoFlowAnalysis.ignoreThisDataType(Type type)
           
protected  boolean SimpleMethodInfoFlowAnalysis.isNonRefType(Type type)
           
protected  boolean SmartMethodInfoFlowAnalysis.isNonRefType(Type type)
           
protected  boolean SmartMethodInfoFlowAnalysis.isNonRefType(Type type)
           
protected  boolean SimpleMethodInfoFlowAnalysis.isNonRefType(Type type)
           
 

Constructors in soot.jimple.toolkits.infoflow with parameters of type Type
FakeJimpleLocal(String name, Type t, Local realLocal)
          Constructs a FakeJimpleLocal of the given name and type.
FakeJimpleLocal(String name, Type t, Local realLocal)
          Constructs a FakeJimpleLocal of the given name and type.
FakeJimpleLocal(String name, Type t, Local realLocal, Object info)
           
FakeJimpleLocal(String name, Type t, Local realLocal, Object info)
           
 

Uses of Type in soot.jimple.toolkits.pointer.representations
 

Fields in soot.jimple.toolkits.pointer.representations declared as Type
 Type TypeConstants.CLASSCLASS
           
 Type TypeConstants.CLASSCLASS
           
 Type TypeConstants.CLASSLOADERCLASS
           
 Type TypeConstants.CLASSLOADERCLASS
           
 Type TypeConstants.CONSTRUCTORCLASS
           
 Type TypeConstants.CONSTRUCTORCLASS
           
 Type TypeConstants.FIELDCLASS
           
 Type TypeConstants.FIELDCLASS
           
 Type TypeConstants.FILESYSTEMCLASS
           
 Type TypeConstants.FILESYSTEMCLASS
           
 Type TypeConstants.LEASTCLASS
           
 Type TypeConstants.LEASTCLASS
           
 Type TypeConstants.METHODCLASS
           
 Type TypeConstants.METHODCLASS
           
 Type TypeConstants.OBJECTCLASS
           
 Type TypeConstants.OBJECTCLASS
           
 Type TypeConstants.PRIVILEGEDACTIONEXCEPTION
           
 Type TypeConstants.PRIVILEGEDACTIONEXCEPTION
           
 Type TypeConstants.PROCESSCLASS
           
 Type TypeConstants.PROCESSCLASS
           
 Type TypeConstants.STRINGCLASS
           
 Type TypeConstants.STRINGCLASS
           
 Type TypeConstants.THREADCLASS
           
 Type TypeConstants.THREADCLASS
           
 

Methods in soot.jimple.toolkits.pointer.representations that return Type
 Type AbstractObject.getType()
           
 Type GeneralConstObject.getType()
           
 Type GeneralConstObject.getType()
           
 Type AbstractObject.getType()
           
 

Constructors in soot.jimple.toolkits.pointer.representations with parameters of type Type
GeneralConstObject(Type t, String n)
           
GeneralConstObject(Type t, String n)
           
 

Uses of Type in soot.jimple.toolkits.scalar
 

Methods in soot.jimple.toolkits.scalar with parameters of type Type
 Local LocalCreation.newLocal(String prefix, Type type)
          returns a new local with the given prefix and the given type.
the returned local will automaticly added to the locals-chain.
 Local LocalCreation.newLocal(String prefix, Type type)
          returns a new local with the given prefix and the given type.
the returned local will automaticly added to the locals-chain.
 Local LocalCreation.newLocal(Type type)
          returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the given type.
The returned local will automaticly added to the locals-chain.
The local will be of the form: prefixX (where the last X is a number, so the localname is unique).
 Local LocalCreation.newLocal(Type type)
          returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the given type.
The returned local will automaticly added to the locals-chain.
The local will be of the form: prefixX (where the last X is a number, so the localname is unique).
 

Uses of Type in soot.jimple.toolkits.thread.synchronization
 

Methods in soot.jimple.toolkits.thread.synchronization that return Type
 Type NewStaticLock.getType()
           
 Type NewStaticLock.getType()
           
 

Uses of Type in soot.jimple.toolkits.typing
 

Methods in soot.jimple.toolkits.typing with parameters of type Type
 soot.jimple.toolkits.typing.TypeNode ClassHierarchy.typeNode(Type type)
          Get the type node for the given type.
 soot.jimple.toolkits.typing.TypeNode TypeResolver.typeNode(Type type)
           
 soot.jimple.toolkits.typing.TypeNode TypeResolverBV.typeNode(Type type)
          Deprecated.  
 soot.jimple.toolkits.typing.TypeNode TypeResolverBV.typeNode(Type type)
          Deprecated.  
 soot.jimple.toolkits.typing.TypeNode TypeResolver.typeNode(Type type)
           
 soot.jimple.toolkits.typing.TypeNode ClassHierarchy.typeNode(Type type)
          Get the type node for the given type.
 soot.jimple.toolkits.typing.TypeVariable TypeResolver.typeVariable(Type type)
          Get type variable for the given type.
 soot.jimple.toolkits.typing.TypeVariableBV TypeResolverBV.typeVariable(Type type)
          Deprecated. Get type variable for the given type.
 soot.jimple.toolkits.typing.TypeVariableBV TypeResolverBV.typeVariable(Type type)
          Deprecated. Get type variable for the given type.
 soot.jimple.toolkits.typing.TypeVariable TypeResolver.typeVariable(Type type)
          Get type variable for the given type.
 

Uses of Type in soot.jimple.toolkits.typing.fast
 

Subclasses of Type in soot.jimple.toolkits.typing.fast
 class BottomType
           
 class Integer127Type
           
 class Integer1Type
           
 class Integer32767Type
           
 

Methods in soot.jimple.toolkits.typing.fast that return Type
static Type AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
           
static Type AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
           
 Type Typing.get(Local v)
           
 Type Typing.get(Local v)
           
 Type Typing.set(Local v, Type t)
           
 Type Typing.set(Local v, Type t)
           
 

Methods in soot.jimple.toolkits.typing.fast that return types with arguments of type Type
 Collection<Type> AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
           
 Collection<Type> IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
           
 Collection<Type> IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
           
 Collection<Type> AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
           
static Collection<Type> AugHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> BytecodeHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> BytecodeHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> AugHierarchy.lcas_(Type a, Type b)
           
 Collection<Type> AugHierarchy.lcas(Type a, Type b)
           
 Collection<Type> BytecodeHierarchy.lcas(Type a, Type b)
           
 Collection<Type> IHierarchy.lcas(Type a, Type b)
           
 Collection<Type> IHierarchy.lcas(Type a, Type b)
           
 Collection<Type> BytecodeHierarchy.lcas(Type a, Type b)
           
 Collection<Type> AugHierarchy.lcas(Type a, Type b)
           
 

Methods in soot.jimple.toolkits.typing.fast with parameters of type Type
static boolean AugHierarchy.ancestor_(Type ancestor, Type child)
           
static boolean BytecodeHierarchy.ancestor_(Type ancestor, Type child)
           
static boolean BytecodeHierarchy.ancestor_(Type ancestor, Type child)
           
static boolean AugHierarchy.ancestor_(Type ancestor, Type child)
           
 boolean AugHierarchy.ancestor(Type ancestor, Type child)
           
 boolean BytecodeHierarchy.ancestor(Type ancestor, Type child)
           
 boolean IHierarchy.ancestor(Type ancestor, Type child)
           
 boolean IHierarchy.ancestor(Type ancestor, Type child)
           
 boolean BytecodeHierarchy.ancestor(Type ancestor, Type child)
           
 boolean AugHierarchy.ancestor(Type ancestor, Type child)
           
static Collection<Type> AugHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> BytecodeHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> BytecodeHierarchy.lcas_(Type a, Type b)
           
static Collection<Type> AugHierarchy.lcas_(Type a, Type b)
           
 Collection<Type> AugHierarchy.lcas(Type a, Type b)
           
 Collection<Type> BytecodeHierarchy.lcas(Type a, Type b)
           
 Collection<Type> IHierarchy.lcas(Type a, Type b)
           
 Collection<Type> IHierarchy.lcas(Type a, Type b)
           
 Collection<Type> BytecodeHierarchy.lcas(Type a, Type b)
           
 Collection<Type> AugHierarchy.lcas(Type a, Type b)
           
 Type Typing.set(Local v, Type t)
           
 Type Typing.set(Local v, Type t)
           
static boolean TypeResolver.typesEqual(Type a, Type b)
           
static boolean TypeResolver.typesEqual(Type a, Type b)
           
 Value IUseVisitor.visit(Value op, Type useType, Stmt stmt)
           
 Value IUseVisitor.visit(Value op, Type useType, Stmt stmt)
           
 

Uses of Type in soot.jimple.toolkits.typing.integer
 

Methods in soot.jimple.toolkits.typing.integer with parameters of type Type
 soot.jimple.toolkits.typing.integer.TypeNode ClassHierarchy.typeNode(Type type)
          Get the type node for the given type.
 soot.jimple.toolkits.typing.integer.TypeNode ClassHierarchy.typeNode(Type type)
          Get the type node for the given type.
 soot.jimple.toolkits.typing.integer.TypeVariable TypeResolver.typeVariable(Type type)
          Get type variable for the given type.
 soot.jimple.toolkits.typing.integer.TypeVariable TypeResolver.typeVariable(Type type)
          Get type variable for the given type.
 

Uses of Type in soot.shimple
 

Methods in soot.shimple that return Type
 Type PhiExpr.getType()
          The type of the PhiExpr is usually the same as the type of its arguments.
 Type PhiExpr.getType()
          The type of the PhiExpr is usually the same as the type of its arguments.
 

Uses of Type in soot.shimple.internal
 

Fields in soot.shimple.internal declared as Type
protected  Type SPhiExpr.type
           
protected  Type SPhiExpr.type
           
 

Methods in soot.shimple.internal that return Type
 Type SPhiExpr.getType()
           
 Type SPiExpr.getType()
           
 Type SPiExpr.getType()
           
 Type SPhiExpr.getType()
           
 

Uses of Type in soot.shimple.toolkits.graph
 

Fields in soot.shimple.toolkits.graph declared as Type
protected  Type ValueGraph.TypeValueWrapper.type
           
protected  Type ValueGraph.TypeValueWrapper.type
           
 

Methods in soot.shimple.toolkits.graph that return Type
 Type ValueGraph.TypeValueWrapper.getType()
           
 Type ValueGraph.TypeValueWrapper.getType()
           
 

Constructors in soot.shimple.toolkits.graph with parameters of type Type
ValueGraph.TypeValueWrapper(Type type)
           
ValueGraph.TypeValueWrapper(Type type)
           
 

Uses of Type in soot.shimple.toolkits.scalar
 

Methods in soot.shimple.toolkits.scalar that return Type
 Type SEvaluator.TopConstant.getType()
           
 Type SEvaluator.BottomConstant.getType()
           
 Type SEvaluator.TopConstant.getType()
           
 Type SEvaluator.BottomConstant.getType()
           
 

Uses of Type in soot.sootify
 

Methods in soot.sootify with parameters of type Type
 void TypeTemplatePrinter.caseDefault(Type t)
           
 void TypeTemplatePrinter.caseDefault(Type t)
           
 void TypeTemplatePrinter.printAssign(String v, Type t)
           
 void TypeTemplatePrinter.printAssign(String v, Type t)