# Package org.apache.bcel.verifier

package 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.

- Related Packages
  Package
  Description
  org.apache.bcel
  Basic classes for the Apache Byte Code Engineering Library (BCEL) and constants defined by the JVM specification.
  org.apache.bcel.verifier.exc
  Exception classes used by JustIce, mostly used internally.
  org.apache.bcel.verifier.statics
  PassVerifier classes used internally by JustIce.
  org.apache.bcel.verifier.structurals
  A PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.
  org.apache.bcel.classfile
  Classes that describe the structure of a Java class file and a class file parser.
  org.apache.bcel.generic
  Generic part of the Apache Byte Code Engineering Library (BCEL), classes to dynamically modify class objects and byte code instructions.
  org.apache.bcel.util
  Utility classes for the Apache Byte Code Engineering Library (BCEL), namely: Collection classes for JavaClass objects A converter for class files to HTML A tool to find instructions patterns via regular expressions A class to find classes as defined in the CLASSPATH A class loader that allows to create classes at run time
- 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.
  VerifierFactoryObserver
  VerifierFactoryObserver instances are notified when new Verifier instances are created.
  VerifyDialog
  A class for simple graphical class file verification.