---

DSTORE Class Reference

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

Public Methods
	DSTORE (int n)
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	DSTORE (int n)
void	accept (Visitor v)
Instruction	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp)
Private Methods
	DSTORE ()
	DSTORE ()
Private Attributes
de fub bytecode generic DSTORE	peer
int	index

---

Detailed Description

DSTORE - Store double into local variable Stack ..., value.word1, value.word2 -> ...

Version:

Id:

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

Author:

M. Dahm

Definition at line 10 of file lib/jpf/de/fub/bytecode/generic/DSTORE.java.

---

Constructor & Destructor Documentation

DSTORE::DSTORE (    )  [inline, private]

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

DSTORE::DSTORE (    )  [inline, private]

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

DSTORE::DSTORE (  int   n )  [inline]

Store double into local variable Parameters: n   index of local variable Definition at line 22 of file src/de/fub/bytecode/generic/DSTORE.java.

---

Member Function Documentation

void DSTORE::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/DSTORE.java.

---

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

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

---