|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LREM | |
---|---|
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 LREM in org.apache.bcel.generic |
---|
Methods in org.apache.bcel.generic with parameters of type LREM | |
---|---|
void |
Visitor.visitLREM(LREM obj)
|
void |
EmptyVisitor.visitLREM(LREM obj)
|
Uses of LREM in org.apache.bcel.verifier.structurals |
---|
Methods in org.apache.bcel.verifier.structurals with parameters of type LREM | |
---|---|
void |
InstConstraintVisitor.visitLREM(LREM o)
Ensures the specific preconditions of the said instruction. |
void |
ExecutionVisitor.visitLREM(LREM o)
Symbolically executes the corresponding Java Virtual Machine instruction. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |