---

INVOKEINTERFACE Class Reference

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

Public Methods
	INVOKEINTERFACE (int index, int nargs)
int	consumeStack (ConstantPoolGen cpg)
void	dump (DataOutputStream out) throws IOException
Class[]	getExceptions ()
int	getNoArguments ()
String	toString (ConstantPool cp)
boolean	examine (SystemState ss, KernelState ks, ThreadInfo th)
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
boolean	isExecutable (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	INVOKEINTERFACE (int index, int nargs)
void	accept (Visitor v)
int	consumeStack (ConstantPoolGen cpg)
void	dump (DataOutputStream out) throws IOException
Class[]	getExceptions ()
int	getNoArguments ()
String	toString (ConstantPool cp)
boolean	examine (SystemState ss, KernelState ks, ThreadInfo th)
Instruction	execute (SystemState ss, KernelState ks, ThreadInfo th)
boolean	isExecutable (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp)
Protected Methods
void	initFromFile (ByteSequence bytes, boolean wide) throws IOException
void	initFromFile (ByteSequence bytes, boolean wide) throws IOException
Private Methods
	INVOKEINTERFACE ()
	INVOKEINTERFACE ()
Private Attributes
int	nargs
de fub bytecode generic INVOKEINTERFACE	peer

---

Detailed Description

INVOKEINTERFACE - Invoke interface method

Stack: ..., objectref, [arg1, [arg2 ...]] -> ...

Version:

Id:

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

Author:

M. Dahm

Definition at line 16 of file lib/jpf/de/fub/bytecode/generic/INVOKEINTERFACE.java.

---

Constructor & Destructor Documentation

INVOKEINTERFACE::INVOKEINTERFACE (    )  [inline, private]

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

INVOKEINTERFACE::INVOKEINTERFACE (    )  [inline, private]

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

---

Member Function Documentation

void INVOKEINTERFACE::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 42 of file src/de/fub/bytecode/generic/INVOKEINTERFACE.java.

int INVOKEINTERFACE::consumeStack (  ConstantPoolGen   cpg )  [inline]

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

int INVOKEINTERFACE::consumeStack (  ConstantPoolGen   cpg )  [inline]

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

void INVOKEINTERFACE::dump (  DataOutputStream   out )  [inline]

Dump instruction as byte code to stream out. Parameters: out   Output stream Reimplemented from FieldOrMethod. Definition at line 60 of file src/de/fub/bytecode/generic/INVOKEINTERFACE.java.

void INVOKEINTERFACE::dump (  DataOutputStream   out )  [inline]

Dump instruction as byte code to stream out. Parameters: out   Output stream Reimplemented from FieldOrMethod. Definition at line 39 of file lib/jpf/de/fub/bytecode/generic/INVOKEINTERFACE.java.

void INVOKEINTERFACE::initFromFile (  ByteSequence   bytes, boolean   wide )  [inline, protected]

Read needed data (i.e., index) from file. Reimplemented from Instruction. Definition at line 83 of file src/de/fub/bytecode/generic/INVOKEINTERFACE.java.

void INVOKEINTERFACE::initFromFile (  ByteSequence   bytes, boolean   wide )  [inline, protected]

Read needed data (i.e. index) from file. Reimplemented from Instruction. Definition at line 60 of file lib/jpf/de/fub/bytecode/generic/INVOKEINTERFACE.java.

String INVOKEINTERFACE::toString (  ConstantPool   cp )  [inline]

Returns: mnemonic for instruction with symbolic references resolved Reimplemented from InvokeInstruction. Definition at line 95 of file src/de/fub/bytecode/generic/INVOKEINTERFACE.java.

String INVOKEINTERFACE::toString (  ConstantPool   cp )  [inline]

Returns: mnemonic for instruction with symbolic references resolved Reimplemented from InvokeInstruction. Definition at line 72 of file lib/jpf/de/fub/bytecode/generic/INVOKEINTERFACE.java.

---

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

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

---