static model methods in interfaces

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

#89 static model methods in interfaces

Status: open

Owner: nobody

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

Module:

Priority: 6

Updated: 2006-05-18

Created: 2004-03-18

Private: No

JML complains about model methods in interfaces that are
declared static. It shouldn't.