joeq.Compiler.BytecodeAnalysis
Class Bytecodes.FREM

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

All Implemented Interfaces:

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

Enclosing interface:

Bytecodes

public static class Bytecodes.FREM
extends Bytecodes.ArithmeticInstruction
implements 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.FREM()
Remainder of floats

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, 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.FREM

public Bytecodes.FREM()

Remainder of floats

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