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