head 1.1;
access;
symbols;
locks; strict;
comment @# @;
1.1
date 2008.09.16.16.34.34; author martin; state Exp;
branches;
next ;
commitid 1f7948cfe0184567;
desc
@@
1.1
log
@Add BCEL 5.1 source
@
text
@
Provides PassVerifier classes used internally by JustIce. You don't need to bother with them.
Package Specification
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.
Related Documentation
For a simple demonstration of JustIce working, please see:
@