aboutsummaryrefslogtreecommitdiffstats
path: root/bcel-builder/verifier-src/org/aspectj/apache/bcel/verifier/statics/package.html
blob: a354da1b7e2c86403e13dc1a528be31199570fe5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--
$Id: package.html,v 1.2 2008/05/28 23:52:54 aclement Exp $
-->
</head>
<body bgcolor="white">

Provides PassVerifier classes used internally by JustIce. You don't need to bother with them.

<h2>Package Specification</h2>

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.

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