Public Methods | |
ATHROW () | |
Class[] | getExceptions () |
InstructionHandle | execute (SystemState ss, KernelState ks, ThreadInfo th) |
void | setPeer (de.fub.bytecode.generic.Instruction i) |
ATHROW () | |
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 | |
InstructionHandle | findExceptionHandler (ThreadInfo th, int exception, ClassInfo type, KernelState ks) |
Private Attributes | |
de fub bytecode generic ATHROW | peer |
Stack: ..., objectref -> objectref
Definition at line 10 of file lib/jpf/de/fub/bytecode/generic/ATHROW.java.
|
Throw exception Definition at line 14 of file src/de/fub/bytecode/generic/ATHROW.java. |
|
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.
Reimplemented from Instruction. Definition at line 25 of file src/de/fub/bytecode/generic/ATHROW.java. |
|
Reimplemented from ExceptionThrower. Definition at line 32 of file src/de/fub/bytecode/generic/ATHROW.java. |