# Package org.apache.bcel.verifier.statics

Provides PassVerifier classes used internally by JustIce.

See: Description

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

## Package org.apache.bcel.verifier.statics Description

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

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