edu.umd.cs.findbugs.ba
Class TypeFrame

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Frame<org.apache.bcel.generic.Type>
      extended by edu.umd.cs.findbugs.ba.TypeFrame
All Implemented Interfaces:
Debug

public class TypeFrame
extends Frame<org.apache.bcel.generic.Type>

A specialization of Frame for determining the types of values in the Java stack frame (locals and operand stack).

Author:
David Hovemeyer
See Also:
Frame, TypeAnalysis

Field Summary
 
Fields inherited from interface edu.umd.cs.findbugs.ba.Debug
CHECK_ASSERTIONS, VERIFY_INTEGRITY
 
Constructor Summary
TypeFrame(int numLocals)
          Constructor.
 
Method Summary
static org.apache.bcel.generic.Type getBottomType()
          Get the single instance of the "Bottom" type.
static org.apache.bcel.generic.Type getDoubleExtraType()
          Get the single instance of the "DoubleExtra" type.
static org.apache.bcel.generic.Type getLongExtraType()
          Get the single instance of the "LongExtra" type.
static org.apache.bcel.generic.Type getNullType()
          Get the single instance of the "Null" type.
static org.apache.bcel.generic.Type getTopType()
          Get the single instance of the "Top" type.
protected  java.lang.String valueToString(org.apache.bcel.generic.Type value)
          Subclasses may override this if they want to do something special to convert Value objects to Strings.
 
Methods inherited from class edu.umd.cs.findbugs.ba.Frame
clearStack, copyFrom, getInstance, getNumLocals, getNumSlots, getStackDepth, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, popValue, pushValue, sameAs, setBottom, setTop, setValid, setValue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeFrame

public TypeFrame(int numLocals)
Constructor.

Method Detail

valueToString

protected java.lang.String valueToString(org.apache.bcel.generic.Type value)
Description copied from class: Frame
Subclasses may override this if they want to do something special to convert Value objects to Strings. By default, we just call toString() on the values.

Overrides:
valueToString in class Frame<org.apache.bcel.generic.Type>

getTopType

public static org.apache.bcel.generic.Type getTopType()
Get the single instance of the "Top" type.


getBottomType

public static org.apache.bcel.generic.Type getBottomType()
Get the single instance of the "Bottom" type.


getLongExtraType

public static org.apache.bcel.generic.Type getLongExtraType()
Get the single instance of the "LongExtra" type.


getDoubleExtraType

public static org.apache.bcel.generic.Type getDoubleExtraType()
Get the single instance of the "DoubleExtra" type.


getNullType

public static org.apache.bcel.generic.Type getNullType()
Get the single instance of the "Null" type.