# Package org.apache.bcel.verifier

BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.

See: Description

- Interface Summary
  Interface | Description
  --- | ---
  VerifierFactoryObserver | VerifierFactoryObserver instances are notified when new Verifier instances are created.

- Class Summary
  Class | Description
  --- | ---
  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.

## Package org.apache.bcel.verifier Description

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.

Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.