Uses of Interface
soot.util.Numberable

Packages that use Numberable
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.jimple.internal Internal, messy, implementation-specific classes for the Jimple intermediate representation. 
soot.jimple.paddle   
soot.jimple.spark.geom.geomE   
soot.jimple.spark.geom.geomPA   
soot.jimple.spark.geom.heapinsE   
soot.jimple.spark.geom.ptinsE   
soot.jimple.spark.pag   
soot.jimple.toolkits.infoflow   
soot.jimple.toolkits.typing.fast   
soot.util Generally useful utility classes for Soot. 
 

Uses of Numberable in soot
 

Subinterfaces of Numberable in soot
 interface Local
          A local variable, used within Body classes.
 

Classes in soot that implement Numberable
 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 Kind
          Enumeration type representing the kind of a call graph edge.
 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 SootClass
          Soot representation of a Java class.
 class SootField
          Soot representation of a Java field.
 class SootMethod
          Soot representation of a Java method.
 class StmtAddressType
          Soot representation of the Java type for a statement address.
 class Type
          Represents types within Soot, eg int, java.lang.String.
 class UnknownType
          Soot representation used for not-yet-typed objects.
 class VoidType
          Represents the Java void type.
 

Uses of Numberable in soot.baf
 

Classes in soot.baf that implement Numberable
 class DoubleWordType
           
 class WordType
           
 

Uses of Numberable in soot.baf.internal
 

Classes in soot.baf.internal that implement Numberable
 class BafLocal
           
 

Uses of Numberable in soot.coffi
 

Classes in soot.coffi that implement Numberable
 class Double2ndHalfType
           
 class Long2ndHalfType
           
 class UnusuableType
           
 

Uses of Numberable in soot.jimple.internal
 

Classes in soot.jimple.internal that implement Numberable
 class JimpleLocal
           
 

Uses of Numberable in soot.jimple.paddle
 

Subinterfaces of Numberable in soot.jimple.paddle
 interface PaddleField
          Represents a field.
 

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

Classes in soot.jimple.spark.geom.geomE that implement Numberable
 class FullSensitiveNode
           
 

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

Classes in soot.jimple.spark.geom.geomPA with type parameters of type Numberable
 class ZArrayNumberer<E extends Numberable>
          Similar to the ArrayNumberer in soot.
 class ZArrayNumberer<E extends Numberable>
          Similar to the ArrayNumberer in soot.
 

Classes in soot.jimple.spark.geom.geomPA that implement Numberable
 class CallsiteContextVar
          A general interface for generating traditional context represented variables.
 class DummyNode
           
 class IVarAbstraction
          An interface makes the points-to solver automatically adapt to different kind of encodings.
 

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

Classes in soot.jimple.spark.geom.heapinsE that implement Numberable
 class HeapInsNode
          Constraints graph node, each node represents a variable
 

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

Classes in soot.jimple.spark.geom.ptinsE that implement Numberable
 class PtInsNode
           
 

Uses of Numberable in soot.jimple.spark.pag
 

Subinterfaces of Numberable in soot.jimple.spark.pag
 interface SparkField
          Represents a field.
 

Classes in soot.jimple.spark.pag that implement Numberable
 class AllocDotField
          Represents an alloc-site-dot-field node (Yellow) in the pointer assignment graph.
 class AllocNode
          Represents an allocation site node (Blue) in the pointer assignment graph.
 class ArrayElement
          Represents an array element.
 class ClassConstantNode
          Represents an allocation site node the represents a known java.lang.Class object.
 class ContextVarNode
          Represents a simple variable node with context.
 class FieldRefNode
          Represents a field reference node (Red) in the pointer assignment graph.
 class GlobalVarNode
          Represents a simple variable node (Green) in the pointer assignment graph that is not associated with any particular method invocation.
 class LocalVarNode
          Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation.
 class Node
          Represents every node in the pointer assignment graph.
 class Parm
          Represents a method parameter.
 class StringConstantNode
          Represents an allocation site node the represents a constant string.
 class ValNode
          Represents a simple of field ref node (Green or Red) in the pointer assignment graph.
 class VarNode
          Represents a simple variable node (Green) in the pointer assignment graph.
 

Uses of Numberable in soot.jimple.toolkits.infoflow
 

Classes in soot.jimple.toolkits.infoflow that implement Numberable
 class FakeJimpleLocal
           
 

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

Classes in soot.jimple.toolkits.typing.fast that implement Numberable
 class BottomType
           
 class Integer127Type
           
 class Integer1Type
           
 class Integer32767Type
           
 

Uses of Numberable in soot.util
 

Classes in soot.util that implement Numberable
 class NumberedString
          A class that assigns integers to java.lang.Strings.
 

Methods in soot.util with parameters of type Numberable
 boolean NumberedSet.add(Numberable o)
           
 boolean NumberedSet.add(Numberable o)
           
 boolean NumberedSet.contains(Numberable o)
           
 boolean NumberedSet.contains(Numberable o)
           
 Object LargeNumberedMap.get(Numberable key)
           
 Object SmallNumberedMap.get(Numberable key)
          Returns the value associated with a given key.
 Object SmallNumberedMap.get(Numberable key)
          Returns the value associated with a given key.
 Object LargeNumberedMap.get(Numberable key)
           
 boolean LargeNumberedMap.put(Numberable key, Object value)
           
 boolean SmallNumberedMap.put(Numberable key, Object value)
          Associates a value with a key.
 boolean SmallNumberedMap.put(Numberable key, Object value)
          Associates a value with a key.
 boolean LargeNumberedMap.put(Numberable key, Object value)