This is the top-level package of the JustIce verifier. To actually use it, have a look at the VerifierFactory and Verifier classes.
| Modifier and Type | Interface and Description |
|---|---|
| public interface | VerifierFactoryObserver
VerifierFactoryObserver instances are notified when new Verifier instances are created. |
| Modifier and Type | Class and Description |
|---|---|
| public class | GraphicalVerifier
A graphical user interface application demonstrating JustIce. |
| public abstract class | 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. |
| public abstract class | PassVerifier
A PassVerifier actually verifies a class file; it is instantiated by a Verifier. |
| public class | TransitiveHull
This class has a main method implementing a demonstration program of how to use the VerifierFactoryObserver. |
| public class | VerificationResult
A VerificationResult is what a PassVerifier returns after verifying. |
| public class | Verifier
A Verifier instance is there to verify a class file according to The Java Virtual Machine Specification, 2nd Edition. |
| public class | VerifierAppFrame
This class implements a machine-generated frame for use with the GraphicalVerfifier. |
| public class | VerifierFactory
This class produces instances of the Verifier class. |
| public class | VerifierFactoryListModel
This class implements an adapter; it implements both a Swing ListModel and a VerifierFactoryObserver. |
| public class | VerifyDialog
A class for simple graphical class file verification. |