Class Summary |
GraphicalVerifier |
A graphical user interface application demonstrating JustIce. |
NativeVerifier |
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 |
A PassVerifier actually verifies a class file; it is instantiated
by a Verifier. |
TransitiveHull |
This class has a main method implementing a demonstration program
of how to use the VerifierFactoryObserver. |
VerificationResult |
A VerificationResult is what a PassVerifier returns
after verifying. |
Verifier |
A Verifier instance is there to verify a class file according to The Java Virtual
Machine Specification, 2nd Edition. |
VerifierAppFrame |
This class implements a machine-generated frame for use with
the GraphicalVerfifier. |
VerifierFactory |
This class produces instances of the Verifier class. |
VerifierFactoryListModel |
This class implements an adapter; it implements both a Swing ListModel and
a VerifierFactoryObserver. |
VerifyDialog |
A class for simple graphical class file verification. |
BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.