joeq.Compiler.BytecodeAnalysis
Class Bytecodes.MONITORENTER

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

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.ExceptionThrower, Bytecodes.StackConsumer

Enclosing interface:

Bytecodes

public static class Bytecodes.MONITORENTER
extends Bytecodes.Instruction
implements Bytecodes.ExceptionThrower, Bytecodes.StackConsumer

See Also:

Serialized Form

Field Summary

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

length, opcode

Constructor Summary

Bytecodes.MONITORENTER()

Method Summary

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

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackConsumer

consumeStack

Constructor Detail

Bytecodes.MONITORENTER

public Bytecodes.MONITORENTER()

Method Detail

getExceptions

public Set getExceptions()

Specified by:

getExceptions in interface Bytecodes.ExceptionThrower

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