edu.umd.cs.findbugs.ba
Class TypeFrame

java.lang.Object
  edu.umd.cs.findbugs.ba.Frame<org.apache.bcel.generic.Type>
      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.