joeq.Compiler.BytecodeAnalysis
Class Bytecodes.IREM

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.ArithmeticInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.IREM

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.ExceptionThrower, Bytecodes.StackConsumer, Bytecodes.StackProducer, Bytecodes.TypedInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.IREM
extends Bytecodes.ArithmeticInstruction
implements Bytecodes.ExceptionThrower, Bytecodes.TypedInstruction, Bytecodes.StackProducer, Bytecodes.StackConsumer

See Also:

Serialized Form

Field Summary

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

length, opcode

Constructor Summary

Bytecodes.IREM()
Remainder of ints

Method Summary

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

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

getType

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.TypedInstruction

getType

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

produceStack

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

consumeStack

Constructor Detail

Bytecodes.IREM

public Bytecodes.IREM()

Remainder of ints

Method Detail

getExceptions

public 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