Package | Description |
---|---|
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 | Class | Description |
---|---|---|
class |
Pass1Verifier |
This PassVerifier verifies a class file according to pass 1 as
described in The Java Virtual Machine Specification, 2nd edition.
|
class |
Pass2Verifier |
This PassVerifier verifies a class file according to
pass 2 as described in The Java Virtual Machine
Specification, 2nd edition.
|
class |
Pass3aVerifier |
This PassVerifier verifies a class file according to
pass 3, static part as described in The Java Virtual
Machine Specification, 2nd edition.
|
Modifier and Type | Class | Description |
---|---|---|
class |
Pass3bVerifier |
This PassVerifier verifies a method of class file according to pass 3,
so-called structural verification as described in The Java Virtual Machine
Specification, 2nd edition.
|