com.sun.org.apache.bcel.internal.verifier.structurals.package.html Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of jaxp-ri Show documentation

Java API for XML Processing Reference Implementation

The newest version!








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

Related Documentation

For a simple demonstration of JustIce working, please see:

  A WWW front-end for JustIce.