Package | Description |
---|---|
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.
|
Modifier and Type | Method | Description |
---|---|---|
PUTFIELD |
InstructionFactory.createPutField(java.lang.String class_name,
java.lang.String name,
Type t) |
Modifier and Type | Method | Description |
---|---|---|
void |
EmptyVisitor.visitPUTFIELD(PUTFIELD obj) |
|
void |
Visitor.visitPUTFIELD(PUTFIELD obj) |
Modifier and Type | Method | Description |
---|---|---|
void |
ExecutionVisitor.visitPUTFIELD(PUTFIELD o) |
Symbolically executes the corresponding Java Virtual Machine instruction.
|
void |
InstConstraintVisitor.visitPUTFIELD(PUTFIELD o) |
Ensures the specific preconditions of the said instruction.
|