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