Uses of Class
org.apache.bcel.generic.IREM

Packages that use IREM

org.apache.bcel.generic	This package contains the "generic" part of the Byte Code Engineering Library, i.e., classes to dynamically modify class objects and byte code instructions.
org.apache.bcel.verifier.structurals	Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.

Uses of IREM in org.apache.bcel.generic

Methods in org.apache.bcel.generic with parameters of type IREM

void	Visitor.visitIREM(IREM obj)
void	EmptyVisitor.visitIREM(IREM obj)

Uses of IREM in org.apache.bcel.verifier.structurals

Methods in org.apache.bcel.verifier.structurals with parameters of type IREM

void	InstConstraintVisitor.visitIREM(IREM o) Ensures the specific preconditions of the said instruction.
void	ExecutionVisitor.visitIREM(IREM o) Symbolically executes the corresponding Java Virtual Machine instruction.