|
||||||||||
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 |
clearInstanceOfValueNumberAndType()
Reset information for modeling of instanceof branches. |
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. |
org.apache.bcel.generic.Type |
getInstanceOfType()
Get the instanceof Type. |
ValueNumber |
getInstanceOfValueNumber()
Get the value number of the value checked by the instanceof branch. |
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. |
void |
setExact(int slot,
boolean isExact)
Set whether or not a type in a given slot is exact. |
void |
setInstanceOfValueNumberAndType(ValueNumber instanceOfValueNumber,
org.apache.bcel.generic.Type instanceOfType)
Set information for modeling of instanceof branches. |
void |
setTop()
Make this frame the special "TOP" value. |
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, getArgument, getArgumentSet, getInstance, getInstanceSlot, getInstanceStackLocation, getNumArguments, getNumArgumentsIncludingObjectInstance, getNumLocals, getNumSlots, getOperand, getStackDepth, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, popValue, pushValue, sameAs, setBottom, setValid, setValue, toString |
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 aspublic void clearInstanceOfValueNumberAndType()
public void setInstanceOfValueNumberAndType(ValueNumber instanceOfValueNumber, org.apache.bcel.generic.Type instanceOfType)
instanceOfValueNumber
- ValueNumber of checked instanceinstanceOfType
- instanceof Typepublic ValueNumber getInstanceOfValueNumber()
public org.apache.bcel.generic.Type getInstanceOfType()
protected 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()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |