|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.Frame<org.apache.bcel.generic.Type>
edu.umd.cs.findbugs.ba.type.TypeFrame
public class TypeFrame
A specialization of Frame
for determining the types
of values in the Java stack frame (locals and operand stack).
Frame
,
TypeAnalysis
Constructor Summary | |
---|---|
TypeFrame(int numLocals)
Constructor. |
Method Summary | |
---|---|
void |
clearExactSet()
Clear the exact type set. |
void |
copyFrom(Frame<org.apache.bcel.generic.Type> other_)
Make this Frame exactly the same as the one given as a parameter. |
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. |
boolean |
isExact(int slot)
Get whether or not a type in a given slot is exact. |
org.apache.bcel.generic.Type |
popValue()
Pop a value off of the Java operand stack. |
void |
pushValue(org.apache.bcel.generic.Type value)
Push a value onto the Java operand stack. |
void |
setExact(int slot,
boolean isExact)
Set whether or not a type in a given slot is exact. |
void |
setTop()
Make this frame the special "TOP" value. |
java.lang.String |
toString()
Convert to string. |
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 |
---|
allSlots, clearStack, contains, getArgument, getArgument, getArgumentSet, getArgumentSlot, getInstance, getInstanceSlot, getInstanceStackLocation, getLastUpdateTimestamp, getNumArguments, getNumArgumentsIncludingObjectInstance, getNumLocals, getNumSlots, getOperand, getStackDepth, getStackLocation, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, sameAs, setBottom, setLastUpdateTimestamp, setValid, setValue |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public TypeFrame(int numLocals)
Method Detail |
---|
public void setExact(int slot, boolean isExact)
slot
- the slotisExact
- true if the slot contains an exact type, false if just an upper boundpublic boolean isExact(int slot)
slot
- the slot
public void clearExactSet()
public void setTop()
Frame
setTop
in class Frame<org.apache.bcel.generic.Type>
public void copyFrom(Frame<org.apache.bcel.generic.Type> other_)
Frame
copyFrom
in class Frame<org.apache.bcel.generic.Type>
other_
- the Frame to make this object the same asprotected java.lang.String valueToString(org.apache.bcel.generic.Type value)
Frame
valueToString
in class Frame<org.apache.bcel.generic.Type>
public static org.apache.bcel.generic.Type getTopType()
public static org.apache.bcel.generic.Type getBottomType()
public static org.apache.bcel.generic.Type getLongExtraType()
public static org.apache.bcel.generic.Type getDoubleExtraType()
public static org.apache.bcel.generic.Type getNullType()
public void pushValue(org.apache.bcel.generic.Type value)
Frame
pushValue
in class Frame<org.apache.bcel.generic.Type>
value
- the ValueType to pushpublic org.apache.bcel.generic.Type popValue() throws DataflowAnalysisException
popValue
in class Frame<org.apache.bcel.generic.Type>
DataflowAnalysisException
- if the Java operand stack is emptypublic java.lang.String toString()
Frame
toString
in class Frame<org.apache.bcel.generic.Type>
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |