diff options
Diffstat (limited to 'src/java/org/apache/bcel/verifier/structurals/package.html')
-rw-r--r-- | src/java/org/apache/bcel/verifier/structurals/package.html | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/java/org/apache/bcel/verifier/structurals/package.html b/src/java/org/apache/bcel/verifier/structurals/package.html new file mode 100644 index 00000000..915ff5e9 --- /dev/null +++ b/src/java/org/apache/bcel/verifier/structurals/package.html @@ -0,0 +1,27 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> +<html> +<head> +<!-- +$Id$ +--> +</head> +<body bgcolor="white"> + +Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as +a nice side effect. + +<h2>Package Specification</h2> + +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". + +<h2>Related Documentation</h2> + +For a simple demonstration of JustIce working, please see: +<ul> + <li><a href="http://www.inf.fu-berlin.de/~ehaase/cgi-html/Verifier.html">A WWW front-end for JustIce.</a> +</ul> + +</body> +</html> |