Jump to content
Wikipedia The Free Encyclopedia

Talk:Java Modeling Language

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This article is rated Start-class on Wikipedia's content assessment scale.
It is of interest to the following WikiProjects:
WikiProject icon Java Low‐importance
WikiProject icon This 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.JavaWikipedia:WikiProject JavaTemplate:WikiProject JavaJava
Low This article has been rated as Low-importance on the project's importance scale.
WikiProject icon Computing : Software / CompSci Low‐importance
WikiProject icon This article is within the scope of WikiProject Computing , a collaborative effort to improve the coverage of computers, computing, and information technology 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.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
Low This article has been rated as Low-importance on the project's importance scale.
Taskforce icon
This article is supported by WikiProject Software (assessed as Low-importance).
Taskforce icon
This article is supported by WikiProject Computer science (assessed as Low-importance).
Things you can help WikiProject Computer science with:

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

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

I fixed the links, which should refer to jmlspecs.org Gleavens (talk) 20:00, 1 December 2009 (UTC) gleavens (December 1, 2009)[reply ]

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

;

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

AltStyle によって変換されたページ (->オリジナル) /