---

StackFrame Class Reference

Inheritance diagram for StackFrame:[legend]Collaboration diagram for StackFrame:[legend]List of all members.

Public Methods
	StackFrame (ClassInfo c, MethodInfo m, int[] ls, Stack os, InstructionHandle p)
	StackFrame (MethodInfo m, ClassInfo c)
void	clearOperandStack ()
Object	clone ()
InstructionHandle	createAndThrowException (String classname, SystemState ss, KernelState ks, ThreadInfo th)
int	doRandom (int max, Scheduler sch)
void	dup ()
void	dup_x1 ()
void	dup_x2 ()
void	dup2 ()
void	dup2_x1 ()
void	dup2_x2 ()
boolean	equals (Object object)
int	getCalleeThis (int locals)
ClassInfo	getClassInfo ()
ConstantPoolGen	getConstantPool ()
int	getCurrentLine ()
int	getLocalVariable (int i)
long	getLocalVariable (String name)
int[]	getLocalVariables ()
long	getLongLocalVariable (int i)
MethodInfo	getMethodInfo ()
String	getMethodName ()
Stack	getOperandStack ()
InstructionHandle	getPC ()
int	getThis ()
int	getType (String name)
boolean	hasAnyRef ()
void	hash (HashData hd)
int	hashCode ()
void	incIntLocalVariable (int index, int number)
boolean	isOperandRef ()
boolean	isOperandRef (int idx)
boolean	isSafe ()
void	local2stack (int index)
void	local2stack2 (int index)
void	log (int id)
void	mark (DynamicArea da)
int	pcs ()
void	printStackContent ()
void	printStackTrace ()
void	setLocalVariable (int index, int v)
void	setLocalVariableRef (int idx)
void	setLongLocalVariable (int index, long v)
void	setOperandRef ()
void	setPC (InstructionHandle newpc)
void	setUpto (int u)
void	stack2local (int index)
void	stack2local2 (int index)
void	swap ()
void	xSetLocalVariableRef (int idx)
void	xSetOperandRef ()
	StackFrame (MethodInfo m)
void	clearOperandStack ()
Object	clone ()
void	dup ()
void	dup_x1 ()
void	dup_x2 ()
void	dup2 ()
void	dup2_x1 ()
void	dup2_x2 ()
boolean	equals (Object object)
int	getCalleeThis (int size)
int	getCalleeThis (MethodInfo mi)
ClassInfo	getClassInfo ()
int	getLine ()
int	getLocalVariable (int i)
int	getLocalVariable (String name)
int[]	getLocalVariables ()
String	getLocalVariableType (String name)
long	getLongLocalVariable (int i)
long	getLongLocalVariable (String name)
MethodInfo	getMethodInfo ()
String	getMethodName ()
Instruction	getPC ()
int	getThis ()
boolean	hasAnyRef ()
void	hash (HashData hd)
int	hashCode ()
boolean	isLocalVariableRef (int idx)
boolean	isOperandRef ()
boolean	isOperandRef (int idx)
boolean	isSafe ()
boolean	isSystemMethod ()
void	log (int id)
void	mark (DynamicArea da)
void	printStackContent ()
void	printStackTrace ()
void	setLocalVariable (int index, int v, boolean ref)
void	setLongLocalVariable (int index, long v)
void	setPC (Instruction newpc)
void	swap ()
String	toString ()
Private Methods
int	peek ()
int	peek (int n)
long	peek2 ()
long	peek2 (int n)
int	pop ()
void	pop (int n)
long	pop2 ()
void	push (int v)
void	push2 (long v)
int	xpop ()
	StackFrame ()
void	deref (int v)
void	derefLocal (int idx)
void	derefStack ()
int	getLocalVariableOffset (String name)
long	longPeek ()
long	longPeek (int n)
long	longPop ()
void	longPush (long v)
int	peek ()
int	peek (int n)
int	pop ()
void	pop (int n)
void	push (int v, boolean ref)
void	ref (int v)
void	refLocal (int idx)
void	refStack ()
Private Attributes
Stack	operands
int[]	locals
InstructionHandle	pc
ClassInfo	ci
MethodInfo	mi
ConstantPoolGen	cpg
LocalVariableGen[]	localInfo
BitSet	localrefs = new BitSet()
BitSet	operandrefs = new BitSet()
int	upto = 0
LinkedList	operands
int[]	locals
Instruction	pc
BitSet	oRefs
BitSet	lRefs
Static Private Attributes
Random	random = new Random()

---

Detailed Description

Describes a stack frame.

Definition at line 14 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

---

Constructor & Destructor Documentation

StackFrame::StackFrame (    )  [inline, private]

Creates an empty stack frame. Used by clone. Definition at line 63 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

StackFrame::StackFrame (  MethodInfo   m )  [inline]

Creates a new stack frame for a method. Definition at line 68 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

---

Member Data Documentation

BitSet StackFrame::lRefs [private]

Flags saying which local variables are references. Definition at line 58 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

int [] StackFrame::locals [private]

Local variables. Definition at line 38 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

MethodInfo StackFrame::mi [private]

Method being executed. Definition at line 48 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

BitSet StackFrame::oRefs [private]

Flags saying which operands are references. Definition at line 53 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

LinkedList StackFrame::operands [private]

Stores the operand stack. Definition at line 33 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

Instruction StackFrame::pc [private]

Program counter. Definition at line 43 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

Random StackFrame::random = new Random() [static, private]

Used for random choices. Definition at line 27 of file src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/jvm/StackFrame.java
• src/gov/nasa/arc/ase/jpf/jvm/StackFrame.java

---