soot.jbco.bafTransformations

Class StackTypeHeightCalculator

java.lang.Object

soot.jbco.bafTransformations.StackTypeHeightCalculator

public class StackTypeHeightCalculator
extends Object

Author:

Michael Batchelder Created on 3-May-2006

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	StackTypeHeightCalculator.StackEffectSwitch

Field Summary

Fields

Modifier and Type	Field and Description
static BriefUnitGraph	bug
static StackTypeHeightCalculator.StackEffectSwitch	sw

Constructor Summary

Constructors

Constructor and Description
StackTypeHeightCalculator()

Method Summary

Modifier and Type	Method and Description
static Map<Unit,Stack<Type>>	calculateStackHeights(Body b)
static Map<Unit,Stack<Type>>	calculateStackHeights(Body b, boolean jimpleLocals)
static Map<Unit,Stack<Type>>	calculateStackHeights(Body b, Map<Local,Local> b2JLocs)
static Stack<Type>	getAfterStack(Body b, Unit u)
static Stack<Type>	getAfterStack(Stack<Type> beforeStack, Unit u)
static void	printStack(PatchingChain<Unit> units, Map<Unit,Stack<Type>> stacks, boolean before)
static Stack<Type>	updateStack(StackTypeHeightCalculator.StackEffectSwitch sw, Stack<Type> st)
static Stack<Type>	updateStack(Unit u, Stack<Type> st)

Methods inherited from class java.lang.Object

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

Field Detail

sw

public static StackTypeHeightCalculator.StackEffectSwitch sw

bug

public static BriefUnitGraph bug

Constructor Detail

StackTypeHeightCalculator

public StackTypeHeightCalculator()

Method Detail

calculateStackHeights

public static Map<Unit,Stack<Type>> calculateStackHeights(Body b,
                                                          Map<Local,Local> b2JLocs)

calculateStackHeights

public static Map<Unit,Stack<Type>> calculateStackHeights(Body b)

calculateStackHeights

public static Map<Unit,Stack<Type>> calculateStackHeights(Body b,
                                                          boolean jimpleLocals)

updateStack

public static Stack<Type> updateStack(Unit u,
                                      Stack<Type> st)

updateStack

public static Stack<Type> updateStack(StackTypeHeightCalculator.StackEffectSwitch sw,
                                      Stack<Type> st)

printStack

public static void printStack(PatchingChain<Unit> units,
                              Map<Unit,Stack<Type>> stacks,
                              boolean before)

getAfterStack

public static Stack<Type> getAfterStack(Body b,
                                        Unit u)

getAfterStack

public static Stack<Type> getAfterStack(Stack<Type> beforeStack,
                                        Unit u)