public class TypeResolver extends Object
| Modifier and Type | Class and Description |
|---|---|
class |
TypeResolver.CastInsertionUseVisitor |
| Modifier and Type | Field and Description |
|---|---|
protected JimpleBody |
jb |
| Constructor and Description |
|---|
TypeResolver(JimpleBody jb) |
| Modifier and Type | Method and Description |
|---|---|
protected Collection<Typing> |
applyAssignmentConstraints(Typing tg,
IEvalFunction ef,
IHierarchy h) |
protected Type |
convert(Type t) |
protected TypeResolver.CastInsertionUseVisitor |
createCastInsertionUseVisitor(Typing tg,
IHierarchy h,
boolean countOnly)
Allows clients to provide an own visitor for cast insertion
|
protected List<Typing> |
createResultList() |
protected ArrayDeque<soot.jimple.toolkits.typing.fast.TypeResolver.WorklistElement> |
createSigmaQueue() |
protected ITypingStrategy |
getTypingStrategy() |
void |
inferTypes() |
static boolean |
typesEqual(Type a,
Type b) |
protected final JimpleBody jb
public TypeResolver(JimpleBody jb)
public void inferTypes()
protected ITypingStrategy getTypingStrategy()
protected TypeResolver.CastInsertionUseVisitor createCastInsertionUseVisitor(Typing tg, IHierarchy h, boolean countOnly)
tg - the typingh - the hierarchycountOnly - whether to count only (no actual changes)protected Collection<Typing> applyAssignmentConstraints(Typing tg, IEvalFunction ef, IHierarchy h)
protected ArrayDeque<soot.jimple.toolkits.typing.fast.TypeResolver.WorklistElement> createSigmaQueue()
Copyright © 2024 Soot OSS. All rights reserved.