Talk:Java Modeling Language
Appearance
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||
|
Untitled
[edit]Hi, just a question, why is the literature mentioned not linked from here? Links are available online. --Gwyndon 21:24, 8 May 2006 (UTC)
The external link to the JML homepage is broken. Glasser 18:52, 22 June 2006 (UTC)
I fixed the links, which should refer to jmlspecs.org Gleavens (talk) 20:00, 1 December 2009 (UTC) gleavens (December 1, 2009)
a <==> b
[edit]The logical construct a if and only if b
What does logical construct mean? --Abdull (talk) 16:06, 22 February 2008 (UTC)
;
[edit]//@ requires amount > 0; //@ ensures balance = \old(balance) - amount; //@ assignable balance public void debit(int amount) { ... }
I think there is a ; missing instead it should be
//@ requires amount > 0; //@ ensures balance = \old(balance) - amount; //@ assignable balance; public void debit(int amount) { ... } —Preceding unsigned comment added by 134.2.222.208 (talk) 07:47, 9 July 2008 (UTC)
That was correct, but there were several other syntax and logic errors, that I fixed. Gleavens (talk) 19:59, 1 December 2009 (UTC) gleavens (Dec. 1, 2009).
Kategorien:
- Start-Class Java articles
- Low-importance Java articles
- WikiProject Java articles
- Start-Class Computing articles
- Low-importance Computing articles
- Start-Class software articles
- Low-importance software articles
- Start-Class software articles of Low-importance
- All Software articles
- Start-Class Computer science articles
- Low-importance Computer science articles
- All Computing articles