Jump to content

Talk:Java Modeling Language

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Gleavens (talk | contribs) at 19:59, 1 December 2009 (;). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconJava Unassessed
WikiProject iconThis article is within the scope of WikiProject Java, a collaborative effort to improve the coverage of Java on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
???This article has not yet received a rating on Wikipedia's content assessment scale.
???This article has not yet received a rating on the project's importance scale.

Hi, just a question, why is the literature mentioned not linked from here? Links are available online. --Gwyndon 21:24, 8 May 2006 (UTC)[reply]

The external link to the JML homepage is broken. Glasser 18:52, 22 June 2006 (UTC)[reply]

a <==> b

The logical construct a if and only if b

What does logical construct mean? --Abdull (talk) 16:06, 22 February 2008 (UTC)[reply]

;

   //@ 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)[reply] 

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).[reply]