---

GETFIELD Class Reference

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

Public Methods
	GETFIELD (int index)
Class[]	getExceptions ()
int	produceStack (ConstantPoolGen cpg)
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	GETFIELD (int index)
void	accept (Visitor v)
Class[]	getExceptions ()
int	produceStack (ConstantPoolGen cpg)
Instruction	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp)
Private Methods
	GETFIELD ()
void	ANALYZE_execute (ThreadInfo th, int objref, DynamicArea da, ConstantPoolGen cpg)
void	DEPEND_execute (ThreadInfo th, int objref)
	GETFIELD ()
Private Attributes
de fub bytecode generic GETFIELD	peer
String	fname
int	size

---

Detailed Description

GETFIELD - Fetch field from object

Stack: ..., objectref -> ..., value

OR

Stack: ..., objectref -> ..., value.word1, value.word2

Version:

Id:

GETFIELD.java,v 1.1.1.1 2002/01/24 03:44:06 pserver Exp

Author:

M. Dahm

Definition at line 14 of file lib/jpf/de/fub/bytecode/generic/GETFIELD.java.

---

Constructor & Destructor Documentation

GETFIELD::GETFIELD (    )  [inline, private]

Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 19 of file lib/jpf/de/fub/bytecode/generic/GETFIELD.java.

GETFIELD::GETFIELD (    )  [inline, private]

Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 21 of file src/de/fub/bytecode/generic/GETFIELD.java.

---

Member Function Documentation

void GETFIELD::accept (  Visitor   v )  [inline, virtual]

Call corresponding visitor method(s). The order is: Call visitor methods of implemented interfaces first, then call methods according to the class hierarchy in descending order, i.e., the most specific visitXXX() call comes last. Parameters: v   Visitor object Reimplemented from Instruction. Definition at line 33 of file src/de/fub/bytecode/generic/GETFIELD.java.

int GETFIELD::produceStack (  ConstantPoolGen   cpg )  [inline]

Also works for instructions whose stack effect depends on the constant pool entry they reference. Returns: Number of words produced onto stack by this instruction Reimplemented from Instruction. Definition at line 57 of file src/de/fub/bytecode/generic/GETFIELD.java.

int GETFIELD::produceStack (  ConstantPoolGen   cpg )  [inline]

Also works for instructions whose stack effect depends on the constant pool entry they reference. Returns: Number of words produced onto stack by this instruction Reimplemented from Instruction. Definition at line 32 of file lib/jpf/de/fub/bytecode/generic/GETFIELD.java.

---

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

• lib/jpf/de/fub/bytecode/generic/GETFIELD.java
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/GETFIELD.java
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/GETFIELD.java
• src/de/fub/bytecode/generic/GETFIELD.java

---