soot.jimple.toolkits.typing.fast

Class Typing

java.lang.Object

soot.jimple.toolkits.typing.fast.Typing

public class Typing
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Typing(java.util.Collection<Local> vs)
Typing(Typing tg)

Method Summary

Modifier and Type	Method and Description
static int	compare(Typing a, Typing b, IHierarchy h)
Type	get(Local v)
static void	minimize(java.util.List<Typing> tgs, IHierarchy h)
Type	set(Local v, Type t)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Typing

public Typing(java.util.Collection<Local> vs)

Typing

public Typing(Typing tg)

Method Detail

get

public Type get(Local v)

set

public Type set(Local v,
                Type t)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

minimize

public static void minimize(java.util.List<Typing> tgs,
                            IHierarchy h)

compare

public static int compare(Typing a,
                          Typing b,
                          IHierarchy h)