joeq.Compiler.BytecodeAnalysis
Class Bytecodes.ATHROW

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.ATHROW

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.ExceptionThrower, Bytecodes.UnconditionalBranch

Enclosing interface:

Bytecodes

public static class Bytecodes.ATHROW
extends Bytecodes.Instruction
implements Bytecodes.UnconditionalBranch, Bytecodes.ExceptionThrower

See Also:

Serialized Form

Constructor Summary

Bytecodes.ATHROW()
Throw exception

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
java.util.Set	getExceptions()

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction

consumeStack, copy, dump, getLength, getOpcode, produceStack, readInstruction, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Bytecodes.ATHROW

public Bytecodes.ATHROW()

Throw exception

Method Detail

getExceptions

public java.util.Set getExceptions()

Specified by:

getExceptions in interface Bytecodes.ExceptionThrower

Returns:

exceptions this instruction may cause

accept

public void accept(Bytecodes.Visitor v)

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.

Specified by:

accept in class Bytecodes.Instruction

Parameters:

v - Visitor object