Java Modeling Language (JML) / Feature Requests / #149 Add support for "//@nowarn"

#149 Add support for "//@nowarn"

Milestone: OpenJML

Status: open

Labels: OpenJML (4)

Module: OpenJML

Priority: 5

Updated: 2013-10-27

Created: 2011-03-10

Creator: Anonymous

Private: No

Since tool is not complete there are lots of false negatives. It would be nice to have, if OpenJML supported the JML //@ nowarn.

Discussion

David Cok - 2012-11-27

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

David Cok - 2013-10-27

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

David Cok - 2013-10-27

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