# Package org.apache.bcel.verifier.statics

package org.apache.bcel.verifier.statics
PassVerifier classes used internally by JustIce. You don't need to bother with them.

## Package Specification

Contained in this package are PassVerifier classes for use with the JustIce verifier. Only the passes performing what Sun calls 'static constraints' have PassVerifier classes here.

- Related Packages
  Package
  Description
  org.apache.bcel.verifier
  BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
  org.apache.bcel.verifier.exc
  Exception classes used by JustIce, mostly used internally.
  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.
- Classes
  Class
  Description
  DOUBLE_Upper
  This class represents the upper half of a DOUBLE variable.
  IntList
  A small utility class representing a set of basic int values.
  LocalVariableInfo
  A utility class holding the information about the name and the type of a local variable in a given slot (== index).
  LocalVariablesInfo
  A utility class holding the information about the names and the types of the local variables in a given method.
  LONG_Upper
  This class represents the upper half of a LONG variable.
  Pass1Verifier
  This PassVerifier verifies a class file according to pass 1 as described in The Java Virtual Machine Specification, 2nd edition.
  Pass2Verifier
  This PassVerifier verifies a class file according to pass 2 as described in The Java Virtual Machine Specification, 2nd edition.
  Pass3aVerifier
  This PassVerifier verifies a class file according to pass 3, static part as described in The Java Virtual Machine Specification, 2nd edition.
  StringRepresentation
  BCEL's Node classes (those from the classfile API that accept() Visitor instances) have toString() methods that were not designed to be robust, this gap is closed by this class.