Annotations for JML

This package of annotation definitions defines the various annotations used by JML. They enable replacing the old style of specially formatted comments by the now standard Java annotations. For example

/*@ non_null */
can now be written simply as
@NonNull