Talk:Java Modeling Language

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)

a <==> b

The logical construct a if and only if b

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

;

   //@ 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) { ... }