Package soot.jimple.toolkits.typing.fast

Class BytecodeHierarchy

java.lang.Object

soot.jimple.toolkits.typing.fast.BytecodeHierarchy

All Implemented Interfaces:

IHierarchy

public class BytecodeHierarchy
extends Object
implements IHierarchy

Author:

Ben Bellamy

Constructor Summary

Constructors

Constructor	Description
BytecodeHierarchy()

Method Summary

Modifier and Type	Method	Description
boolean	ancestor(Type ancestor, Type child)
static boolean	ancestor_(Type ancestor, Type child)
Collection<Type>	lcas(Type a, Type b, boolean useWeakObjectType)
static Collection<Type>	lcas_(Type a, Type b)
static Collection<Type>	lcas_(Type a, Type b, boolean useWeakObjectType)
static RefType	lcsc(RefType a, RefType b)
static RefType	lcsc(RefType a, RefType b, RefType anchor)

Methods inherited from class java.lang.Object

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

Constructor Detail

BytecodeHierarchy

public BytecodeHierarchy()

Method Detail

lcas_

public static Collection<Type> lcas_(Type a,
                                     Type b)

lcas_

public static Collection<Type> lcas_(Type a,
                                     Type b,
                                     boolean useWeakObjectType)

ancestor_

public static boolean ancestor_(Type ancestor,
                                Type child)

lcsc

public static RefType lcsc(RefType a,
                           RefType b)

lcsc

public static RefType lcsc(RefType a,
                           RefType b,
                           RefType anchor)

lcas

public Collection<Type> lcas(Type a,
                             Type b,
                             boolean useWeakObjectType)

Specified by:

lcas in interface IHierarchy

ancestor

public boolean ancestor(Type ancestor,
                        Type child)

Specified by:

ancestor in interface IHierarchy