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 and Description |
---|---|
void |
EmptyVisitor.visitDUP_X1(DUP_X1 obj) |
void |
Visitor.visitDUP_X1(DUP_X1 obj) |
Modifier and Type | Method and Description |
---|---|
void |
ExecutionVisitor.visitDUP_X1(DUP_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
|
void |
InstConstraintVisitor.visitDUP_X1(DUP_X1 o)
Ensures the specific preconditions of the said instruction.
|
Copyright © 2017. All rights reserved.