Skip navigation links

Package org.apache.bcel.verifier.structurals

Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.

See: Description

Package org.apache.bcel.verifier.structurals Description

Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.

Package Specification

Contained in this package is a PassVerifier class for use with the JustIce verifier and its utility classes. Only the pass performing what Sun calls "Structural Constraints on Java Virtual Machine Code" has a PassVerifier class here. JustIce calls this pass "Pass 3b".
Skip navigation links

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