soot.jimple.toolkits.typing.fast

Class DefaultTypingStrategy

java.lang.Object

soot.jimple.toolkits.typing.fast.DefaultTypingStrategy

All Implemented Interfaces:

ITypingStrategy

public class DefaultTypingStrategy
extends Object
implements ITypingStrategy

The defualt typing strategy

Field Summary

Fields

Modifier and Type	Field and Description
static ITypingStrategy	INSTANCE

Constructor Summary

Constructors

Constructor and Description
DefaultTypingStrategy()

Method Summary

Modifier and Type	Method and Description
int	compare(Typing a, Typing b, IHierarchy h, Collection<Local> localsToIgnore)
Typing	createTyping(Chain<Local> locals) Creates a new typing class instance with initialized bottom types for the given locals
Typing	createTyping(Typing tg) Creates a new typing class as a copy from a given class
static MultiMap<Local,Type>	getFlatTyping(List<Typing> tgs)
static Set<Local>	getObjectLikeTypings(List<Typing> tgs)
void	minimize(List<Typing> tgs, IHierarchy h) Minimize the given typing list using the hierarchy

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final ITypingStrategy INSTANCE

Constructor Detail

DefaultTypingStrategy

public DefaultTypingStrategy()

Method Detail

createTyping

public Typing createTyping(Chain<Local> locals)

Description copied from interface: ITypingStrategy

Creates a new typing class instance with initialized bottom types for the given locals

Specified by:

createTyping in interface ITypingStrategy

Parameters:

locals - the locals

Returns:

the typing

createTyping

public Typing createTyping(Typing tg)

Description copied from interface: ITypingStrategy

Creates a new typing class as a copy from a given class

Specified by:

createTyping in interface ITypingStrategy

Returns:

the typing

getFlatTyping

public static MultiMap<Local,Type> getFlatTyping(List<Typing> tgs)

getObjectLikeTypings

public static Set<Local> getObjectLikeTypings(List<Typing> tgs)

minimize

public void minimize(List<Typing> tgs,
                     IHierarchy h)

Description copied from interface: ITypingStrategy

Minimize the given typing list using the hierarchy

Specified by:

minimize in interface ITypingStrategy

Parameters:

tgs - the typign list

h - the hierarchy

compare

public int compare(Typing a,
                   Typing b,
                   IHierarchy h,
                   Collection<Local> localsToIgnore)