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