soot.jimple.toolkits.typing.fast

Interface ITypingStrategy

All Known Implementing Classes:

DefaultTypingStrategy

public interface ITypingStrategy

Provides a way to use different was to create and minimize typings

Author:

Marc Miltenberger

Method Summary

Modifier and Type	Method and Description
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	minimize(List<Typing> tgs, IHierarchy h) Minimize the given typing list using the hierarchy

Method Detail

createTyping

Typing createTyping(Chain<Local> locals)

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

Parameters:

locals - the locals

Returns:

the typing

createTyping

Typing createTyping(Typing tg)

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

Parameters:

locals - the locals

Returns:

the typing

minimize

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

Minimize the given typing list using the hierarchy

Parameters:

tgs - the typign list

h - the hierarchy