soot.jbco.bafTransformations

Class StackTypeHeightCalculator

java.lang.Object

soot.jbco.bafTransformations.StackTypeHeightCalculator

public class StackTypeHeightCalculator
extends java.lang.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

Methods

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

calculateStackHeights

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

calculateStackHeights

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

updateStack

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

updateStack

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

printStack

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

getAfterStack

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

getAfterStack

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