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 default typing strategy

Field Summary

Fields

Modifier and Type	Field and Description
static ITypingStrategy	INSTANCE
static boolean	MINIMIZING_ENABLED
static int	USE_PARALLEL_MINIMIZE_IF_ENTRIES_MORE_THAN

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
void	finalizeTypes(Typing tp) Finalizes the given types, i.e., converts intermediate types such as [0..1] to final types such as boolean.
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
void	minimizeParallel(List<Typing> tgs, IHierarchy h)
void	minimizeSequential(List<Typing> tgs, IHierarchy h)

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

MINIMIZING_ENABLED

public static boolean MINIMIZING_ENABLED

USE_PARALLEL_MINIMIZE_IF_ENTRIES_MORE_THAN

public static int USE_PARALLEL_MINIMIZE_IF_ENTRIES_MORE_THAN

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

Parameters:

tg - the existing Typing

Returns:

the new 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 Typing list

h - the hierarchy

minimizeSequential

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

compare

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

minimizeParallel

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

finalizeTypes

public void finalizeTypes(Typing tp)

Description copied from interface: ITypingStrategy

Finalizes the given types, i.e., converts intermediate types such as [0..1] to final types such as boolean.

Specified by:

finalizeTypes in interface ITypingStrategy

Parameters:

tp - The typing to finalize