---

CHECKCAST Class Reference

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

Public Methods
	CHECKCAST (int index)
Class[]	getExceptions ()
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	CHECKCAST (int index)
void	accept (Visitor v)
Class[]	getExceptions ()
Instruction	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp)
Private Methods
	CHECKCAST ()
	CHECKCAST ()
Private Attributes
de fub bytecode generic CHECKCAST	peer
String	type

---

Detailed Description

CHECKCAST - Check whether object is of given type

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

Version:

Id:

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

Author:

M. Dahm

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

---

Constructor & Destructor Documentation

CHECKCAST::CHECKCAST (    )  [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/CHECKCAST.java.

CHECKCAST::CHECKCAST (    )  [inline, private]

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

CHECKCAST::CHECKCAST (  int   index )  [inline]

Check whether object is of given type Parameters: n   index to class in constant pool Definition at line 21 of file src/de/fub/bytecode/generic/CHECKCAST.java.

---

Member Function Documentation

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

Class [] CHECKCAST::getExceptions (    )  [inline]

Returns: exceptions this instruction may cause Reimplemented from ExceptionThrower. Definition at line 43 of file src/de/fub/bytecode/generic/CHECKCAST.java.

---

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

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

---