Java Modeling Language (JML) / Things to Do / #57 document -warning levels

#57 document -warning levels

Milestone: self_reported

Status: open

Owner: nobody

Labels: checker (i.e., the jml tool) (12)

Module:

Priority: 5

Updated: 2006-05-18

Created: 2004-04-17

Creator: David Cok

Private: No

The various -warning levels should be documented and the
warnings
themselves checked for consistency with the level.

Discussion

Gary T. Leavens - 2006-05-18

labels: 484353 --> checker (i.e., the jml tool)

milestone: 296846 --> self_reported

assigned_to: cheon --> nobody
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.