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

tg - the existing Typing

Returns:

the new Typing

minimize

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

Minimize the given typing list using the hierarchy

Parameters:

tgs - the Typing list

h - the hierarchy

finalizeTypes

void finalizeTypes(Typing tp)

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

Parameters:

tp - The typing to finalize