Uses of Interface
soot.Immediate

Packages that use Immediate

soot	Base Soot classes, shared by different intermediate representations.
soot.baf.internal	Internal, messy, implementation-specific classes for the Baf intermediate representation.
soot.dava.internal.javaRep
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.infoflow
soot.shimple.toolkits.scalar	Some analyses based on Shimple.

Uses of Immediate in soot

Subinterfaces of Immediate in soot

interface

Local A local variable, used within Body classes.

Uses of Immediate in soot.baf.internal

Classes in soot.baf.internal that implement Immediate

class

BafLocal

Uses of Immediate in soot.dava.internal.javaRep

Classes in soot.dava.internal.javaRep that implement Immediate

class

DIntConstant

Uses of Immediate in soot.jimple

Classes in soot.jimple that implement Immediate

class	ArithmeticConstant
class	ClassConstant
class	Constant
class	DoubleConstant
class	FloatConstant
class	IntConstant
class	LongConstant
class	NullConstant
class	NumericConstant
class	RealConstant
class	StringConstant

Uses of Immediate in soot.jimple.internal

Classes in soot.jimple.internal that implement Immediate

class

JimpleLocal

Uses of Immediate in soot.jimple.toolkits.annotation.nullcheck

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Immediate

boolean	NullnessAnalysis.isAlwaysNonNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always non-null before the statement s.
boolean	NullnessAnalysis.isAlwaysNonNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always non-null before the statement s.
boolean	NullnessAnalysis.isAlwaysNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always null before the statement s.
boolean	NullnessAnalysis.isAlwaysNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always null before the statement s.
boolean	NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always treated as non-null after and including the statement s.
boolean	NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always treated as non-null after and including the statement s.
boolean	NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always treated as null after and including the statement s.
boolean	NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s, Immediate i) Returns true if the analysis could determine that i is always treated as null after and including the statement s.

Uses of Immediate in soot.jimple.toolkits.infoflow

Classes in soot.jimple.toolkits.infoflow that implement Immediate

class

FakeJimpleLocal

Uses of Immediate in soot.shimple.toolkits.scalar

Classes in soot.shimple.toolkits.scalar that implement Immediate

static class	SEvaluator.BottomConstant Bottom i.e.
static class	SEvaluator.MetaConstant Head of a new hierarchy of constants -- Top and Bottom.
static class	SEvaluator.TopConstant Top i.e.