| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> |
| <html> |
| <head> |
| <!-- |
| $Id$ |
| --> |
| </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> |
