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.grimp Public classes for the Grimp intermediate representation. 
soot.grimp.internal Internal, messy, implementation-specific classes for the Grimp intermediate representation. 
soot.javaToJimple   
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.internal   
soot.jimple.spark.pag   
soot.jimple.spark.sets   
soot.jimple.toolkits.callgraph   
soot.jimple.toolkits.pointer.representations   
soot.jimple.toolkits.scalar A toolkit for scalar optimization of Jimple. 
soot.jimple.toolkits.typing Implements a typing algorithm for Jimple. 
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. 
 

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.
 

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 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 EquivalentValue.getType()
           
 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.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 Type RefType.getArrayElementType()
           
 Type SootField.getType()
           
 Type SootFieldRef.type()
           
 Type SootMethod.getReturnType()
          Returns the return type of this method.
 Type SootMethod.getParameterType(int n)
          Gets the type of the nth parameter of this method.
 Type SootMethodRef.returnType()
           
 Type SootMethodRef.parameterType(int i)
           
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
 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 Value.getType()
          Returns the Soot type of this Value.
 

Methods in soot with parameters of type Type
static int AbstractJasminClass.sizeOfType(Type t)
           
static String AbstractJasminClass.jasminDescriptorOf(Type type)
           
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.
 void BriefUnitPrinter.type(Type t)
           
 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.
abstract  void LabeledUnitPrinter.type(Type t)
           
 void Local.setType(Type t)
          Sets the type of the current variable.
 void NormalUnitPrinter.type(Type t)
           
 Type RefType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 SootMethodRef Scene.makeMethodRef(SootClass declaringClass, String name, List parameterTypes, Type returnType, boolean isStatic)
          Create an unresolved reference to a method.
 SootFieldRef Scene.makeFieldRef(SootClass declaringClass, String name, Type type, boolean isStatic)
          Create an unresolved reference to a field.
 SootField SootClass.getField(String name, Type type)
          Returns the field of this class 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.
 SootMethod SootClass.getMethod(String name, List parameterTypes, Type returnType)
           
 boolean SootClass.declaresMethod(String name, List parameterTypes, Type returnType)
          Does this class declare a method with the given name, parameter types, and return type?
static String SootField.getSignature(SootClass cl, String name, Type type)
           
 void SootField.setType(Type t)
           
 void SootMethod.setReturnType(Type t)
          Sets the return type of this method.
static String SootMethod.getSignature(SootClass cl, String name, List params, Type returnType)
           
static String SootMethod.getSubSignature(String name, List params, Type returnType)
           
static Type Type.toMachineType(Type t)
          Converts the int-like types (short, byte, boolean and char) to IntType.
 Type Type.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 void TypeSwitch.defaultCase(Type t)
           
 void TypeSwitch.caseDefault(Type t)
          Deprecated. Replaced by defaultCase(Type)
 void UnitPrinter.type(Type t)
           
 Type UnknownType.merge(Type other, Scene cm)
          Returns the least common superclass of this type and other.
 

Constructors in soot with parameters of type Type
SootField(String name, Type type, int modifiers)
          Constructs a Soot field with the given name, type and modifiers.
SootField(String name, Type type)
          Constructs a Soot field with the given name, type and no 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, 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 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
static Type Baf.getDescriptorTypeOf(Type opType)
           
 Type Dup1Inst.getOp1Type()
           
 Type Dup1_x1Inst.getOp1Type()
           
 Type Dup1_x1Inst.getUnder1Type()
           
 Type Dup1_x2Inst.getOp1Type()
           
 Type Dup1_x2Inst.getUnder1Type()
           
 Type Dup1_x2Inst.getUnder2Type()
           
 Type Dup2Inst.getOp1Type()
           
 Type Dup2Inst.getOp2Type()
           
 Type Dup2_x1Inst.getOp1Type()
           
 Type Dup2_x1Inst.getOp2Type()
           
 Type Dup2_x1Inst.getUnder1Type()
           
 Type Dup2_x2Inst.getOp1Type()
           
 Type Dup2_x2Inst.getOp2Type()
           
 Type Dup2_x2Inst.getUnder1Type()
           
 Type Dup2_x2Inst.getUnder2Type()
           
 Type InstanceCastInst.getCastType()
           
 Type InstanceOfInst.getCheckType()
           
 Type LoadInst.getOpType()
           
 Type NewArrayInst.getBaseType()
           
 Type OpTypeArgInst.getOpType()
           
 Type PrimitiveCastInst.getFromType()
           
 Type PrimitiveCastInst.getToType()
           
 Type StoreInst.getOpType()
           
 Type SwapInst.getFromType()
           
 Type SwapInst.getToType()
           
 

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

Uses of Type in soot.baf.internal
 

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

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

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

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

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.jimpleTypesOfFieldOrMethodDescriptor(String descriptor)
           
 Type Util.jimpleTypeOfFieldDescriptor(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)
           
 

Uses of Type in soot.dava
 

Methods in soot.dava with parameters of type Type
 Local Dava.newLocal(String name, 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
           
 

Methods in soot.dava.internal.javaRep that return Type
 Type DNotExpr.getType()
           
 Type DVariableDeclarationStmt.getType()
           
 

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

Constructors in soot.dava.internal.javaRep with parameters of type Type
DNewArrayExpr(Type type, Value size)
           
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.inType(Type t)
           
 void DepthFirstAdapter.outType(Type t)
           
 void DepthFirstAdapter.caseType(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.
 InstanceOfExpr Grimp.newInstanceOfExpr(Value op1, Type t)
          Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
 NewArrayExpr Grimp.newNewArrayExpr(Type type, Value size)
          Constructs a NewArrayExpr(Type, Expr) grammar chunk.
 Local Grimp.newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 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()
           
 

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

Uses of Type in soot.javaToJimple
 

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

Methods in soot.javaToJimple with parameters of type Type
protected  Local AbstractJimpleBodyBuilder.generateLocal(Type sootType)
           
protected  Local AbstractJimpleBodyBuilder.getThis(Type sootType)
           
protected  Constant AbstractJimpleBodyBuilder.getConstant(Type sootType, int val)
           
 void AnonClassInitMethodSource.superOuterType(Type t)
           
 void AnonClassInitMethodSource.thisOuterType(Type t)
           
 void AnonClassInitMethodSource.outerClassType(Type type)
           
protected  Constant JimpleBodyBuilder.getConstant(Type type, int val)
          Returns a needed constant given a type and val
protected  Local JimpleBodyBuilder.getThis(Type sootType)
           
protected  Local JimpleBodyBuilder.generateLocal(Type sootType)
           
 Local LocalGenerator.generateLocal(Type type)
          generates a new soot local given the type
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)
           
 

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

Uses of Type in soot.jimple
 

Methods in soot.jimple that return Type
 Type ArrayRef.getType()
           
 Type CastExpr.getCastType()
           
 Type CastExpr.getType()
           
 Type CaughtExceptionRef.getType()
           
 Type ClassConstant.getType()
           
 Type DoubleConstant.getType()
           
 Type FloatConstant.getType()
           
 Type InstanceOfExpr.getType()
           
 Type InstanceOfExpr.getCheckType()
           
 Type IntConstant.getType()
           
 Type InvokeExpr.getType()
           
 Type LongConstant.getType()
           
 Type NewArrayExpr.getBaseType()
           
 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()
           
 

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

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.
 

Uses of Type in soot.jimple.internal
 

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

Methods in soot.jimple.internal with parameters of type Type
 void AbstractCastExpr.setCastType(Type castType)
           
 void AbstractInstanceOfExpr.setCheckType(Type checkType)
           
 void AbstractNewArrayExpr.setBaseType(Type type)
           
 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)
           
AbstractInstanceOfExpr(ValueBox opBox, Type checkType)
           
AbstractNewArrayExpr(Type type, ValueBox sizeBox)
           
JCastExpr(Value op, Type type)
           
JInstanceOfExpr(Value op, Type checkType)
           
JNewArrayExpr(Type type, Value size)
           
JimpleLocal(String name, Type t)
          Constructs a JimpleLocal of the given name and type.
 

Uses of Type in soot.jimple.spark.internal
 

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

Uses of Type in soot.jimple.spark.pag
 

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

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

Methods in soot.jimple.spark.pag with parameters of type Type
 void Node.setType(Type type)
          Sets the declared type of this node, null for unknown.
 AllocNode PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
           
 GlobalVarNode PAG.makeGlobalVarNode(Object value, Type type)
          Finds or creates the GlobalVarNode 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.
 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.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.makeGlobalFieldRefNode(Object baseValue, Type baseType, SparkField field)
          Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
 

Constructors in soot.jimple.spark.pag with parameters of type Type
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
           
 

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

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

Constructors in soot.jimple.spark.sets with parameters of type Type
BitPointsToSet(Type type, PAG pag)
           
DoublePointsToSet(Type type, PAG pag)
           
HashPointsToSet(Type type, PAG pag)
           
HybridPointsToSet(Type type, PAG pag)
           
PointsToSetInternal(Type type)
           
SharedPointsToSet(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 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)
           
 

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

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

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

Constructors in soot.jimple.toolkits.pointer.representations with parameters of type Type
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(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(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.
 

Uses of Type in soot.jimple.toolkits.typing
 

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

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.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.
 

Uses of Type in soot.shimple.internal
 

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

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

Uses of Type in soot.shimple.toolkits.graph
 

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

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

Constructors in soot.shimple.toolkits.graph with parameters of 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()