Package | Description |
---|---|
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.
|
Modifier and Type | Method | Description |
---|---|---|
void |
ExecutionVisitor.visitLDC_W(LDC_W o) |
Symbolically executes the corresponding Java Virtual Machine instruction.
|
void |
InstConstraintVisitor.visitLDC_W(LDC_W o) |
Ensures the specific preconditions of the said instruction.
|