joeq.Compiler.BytecodeAnalysis
Class Bytecodes.DREM

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.StackConsumer, Bytecodes.StackProducer, Bytecodes.TypedInstruction

Enclosing interface:

Bytecodes

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

See Also:

Serialized Form

Constructor Summary

Bytecodes.DREM()
Remainder of doubles

Method Summary

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

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

getType

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

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

public Bytecodes.DREM()

Remainder of doubles

Method Detail

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