Menu ▾ ▴

#73 Should warn if a final field is listed as assignable

open
nobody
checker (i.e., the jml tool) (25)
5
2013-10-27
2003-11-17
David Cok
No

Jml should warn about final fields that are listed in
assignable clauses (except perhaps in constructors).

Discussion

  • Gary T. Leavens

    Gary T. Leavens - 2006-05-18
    • assigned_to: cheon --> ye-cui
    • summary: final fields not modifiable --> Should warn if a final field is listed as assignable
     

  • Gary T. Leavens

    Gary T. Leavens - 2006-05-18

    Logged In: YES
    user_id=633675

    Cui, I'm assigning this to you. If you see a way to do this
    as part of your work, please implement it.

     

  • Gary T. Leavens

    Gary T. Leavens - 2008-03-10
    • assigned_to: ye-cui --> nobody
     

Log in to post a comment.