| org.apache.bcel.verifier |
BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
Package Specification
This is the top-level package of the JustIce verifier. To actually use it, have a look at the VerifierFactory and
Verifier classes.
|
| Java Source File Name | Type | Comment |
| GraphicalVerifier.java | Class | A graphical user interface application demonstrating JustIce. |
| NativeVerifier.java | Class | The NativeVerifier class implements a main(String[] args) method that's
roughly compatible to the one in the Verifier class, but that uses the
JVM's internal verifier for its class file verification. |
| PassVerifier.java | Class | A PassVerifier actually verifies a class file; it is instantiated
by a Verifier.
The verification should conform with a certain pass as described
in The Java Virtual Machine Specification, 2nd edition.
This book describes four passes. |
| TransitiveHull.java | Class | This class has a main method implementing a demonstration program
of how to use the VerifierFactoryObserver. |
| VerificationResult.java | Class | A VerificationResult is what a PassVerifier returns
after verifying. |
| Verifier.java | Class | A Verifier instance is there to verify a class file according to The Java Virtual
Machine Specification, 2nd Edition. |
| VerifierAppFrame.java | Class | This class implements a machine-generated frame for use with
the GraphicalVerfifier. |
| VerifierFactory.java | Class | This class produces instances of the Verifier class. |
| VerifierFactoryListModel.java | Class | This class implements an adapter; it implements both a Swing ListModel and
a VerifierFactoryObserver. |
| VerifierFactoryObserver.java | Interface | VerifierFactoryObserver instances are notified when new Verifier
instances are created. |
| VerifyDialog.java | Class | A class for simple graphical class file verification. |