Uses of Class
soot.jimple.toolkits.typing.fast.Typing

Packages that use Typing

Package	Description
soot.jimple.toolkits.typing.fast

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

Fields in soot.jimple.toolkits.typing.fast declared as Typing

Modifier and Type	Field	Description
protected Typing	TypeResolver.CastInsertionUseVisitor.tg

Methods in soot.jimple.toolkits.typing.fast that return Typing

Modifier and Type	Method	Description
Typing	DefaultTypingStrategy.createTyping(Typing tg)
Typing	DefaultTypingStrategy.createTyping(Chain<Local> locals)
Typing	ITypingStrategy.createTyping(Typing tg)	Creates a new typing class as a copy from a given class
Typing	ITypingStrategy.createTyping(Chain<Local> locals)	Creates a new Typing class instance with initialized bottom types for the given locals

Methods in soot.jimple.toolkits.typing.fast that return types with arguments of type Typing

Modifier and Type	Method	Description
protected Collection<Typing>	TypeResolver.applyAssignmentConstraints(Typing tg, IEvalFunction ef, IHierarchy h)
protected List<Typing>	TypeResolver.createResultList()

Methods in soot.jimple.toolkits.typing.fast with parameters of type Typing

Modifier and Type	Method	Description
protected Collection<Typing>	TypeResolver.applyAssignmentConstraints(Typing tg, IEvalFunction ef, IHierarchy h)
void	UseChecker.check(Typing tg, IUseVisitor uv)
int	DefaultTypingStrategy.compare(Typing a, Typing b, IHierarchy h, Collection<Local> localsToIgnore)
protected TypeResolver.CastInsertionUseVisitor	TypeResolver.createCastInsertionUseVisitor(Typing tg, IHierarchy h, boolean countOnly)	Allows clients to provide an own visitor for cast insertion
Typing	DefaultTypingStrategy.createTyping(Typing tg)
Typing	ITypingStrategy.createTyping(Typing tg)	Creates a new typing class as a copy from a given class
Collection<Type>	AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
Collection<Type>	IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
void	DefaultTypingStrategy.finalizeTypes(Typing tp)
void	ITypingStrategy.finalizeTypes(Typing tp)	Finalizes the given types, i.e., converts intermediate types such as [0..1] to final types such as boolean.

Method parameters in soot.jimple.toolkits.typing.fast with type arguments of type Typing

Modifier and Type	Method	Description
static MultiMap<Local,Type>	DefaultTypingStrategy.getFlatTyping(List<Typing> tgs)
static Set<Local>	DefaultTypingStrategy.getObjectLikeTypings(List<Typing> tgs)
void	DefaultTypingStrategy.minimize(List<Typing> tgs, IHierarchy h)
void	ITypingStrategy.minimize(List<Typing> tgs, IHierarchy h)	Minimize the given typing list using the hierarchy
void	DefaultTypingStrategy.minimizeParallel(List<Typing> tgs, IHierarchy h)
void	DefaultTypingStrategy.minimizeSequential(List<Typing> tgs, IHierarchy h)

Constructors in soot.jimple.toolkits.typing.fast with parameters of type Typing

Constructor	Description
CastInsertionUseVisitor(boolean countOnly, JimpleBody jb, Typing tg, IHierarchy h)
TypePromotionUseVisitor(JimpleBody jb, Typing tg)
Typing(Typing tg)