| Package | Description |
|---|---|
| org.apache.bcel.verifier |
BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
|
| org.apache.bcel.verifier.statics |
Provides PassVerifier classes used internally by JustIce.
|
| 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 |
|---|---|---|
static Verifier |
VerifierFactory.getVerifier(java.lang.String fully_qualified_classname) |
Returns the (only) verifier responsible for the class with the given name.
|
static Verifier[] |
VerifierFactory.getVerifiers() |
Returns all Verifier instances created so far.
|
| Constructor | Description |
|---|---|
Pass1Verifier(Verifier owner) |
Should only be instantiated by a Verifier.
|
Pass2Verifier(Verifier owner) |
Should only be instantiated by a Verifier.
|
Pass3aVerifier(Verifier owner,
int method_no) |
Should only be instantiated by a Verifier.
|
| Constructor | Description |
|---|---|
Pass3bVerifier(Verifier owner,
int method_no) |
This class should only be instantiated by a Verifier.
|