Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
org.jmlspecs.samples.prelimdesign.Money

Packages that use Money
org.jmlspecs.samples.prelimdesign This package contains samples of JML specifications from the paper Preliminary Design of JML. 
 

Uses of Money in org.jmlspecs.samples.prelimdesign
 

Subinterfaces of Money in org.jmlspecs.samples.prelimdesign
 interface MoneyComparable
           
 interface MoneyOps
           
 

Classes in org.jmlspecs.samples.prelimdesign that implement Money
 class MoneyAC
           
 class MoneyComparableAC
           
 class USMoney
           
 

Fields in org.jmlspecs.samples.prelimdesign declared as Money
private  Money USMoney_JML_Test.TestPlus.m2
          Argument m2
private  Money USMoney_JML_Test.TestMinus.m2
          Argument m2
private  Money USMoney_JML_Test.TestGreaterThan.arg1
          Argument arg1
private  Money USMoney_JML_Test.TestGreaterThanOrEqualTo.arg1
          Argument arg1
private  Money USMoney_JML_Test.TestLessThan.arg1
          Argument arg1
private  Money USMoney_JML_Test.TestLessThanOrEqualTo.arg1
          Argument arg1
 

Methods in org.jmlspecs.samples.prelimdesign with parameters of type Money
abstract  MoneyOps MoneyOps.plus(Money m2)
           
abstract  MoneyOps MoneyOps.minus(Money m2)
           
abstract  boolean MoneyComparable.greaterThan(Money m2)
           
abstract  boolean MoneyComparable.greaterThanOrEqualTo(Money m2)
           
abstract  boolean MoneyComparable.lessThan(Money m2)
           
abstract  boolean MoneyComparable.lessThanOrEqualTo(Money m2)
           
protected static long MoneyComparableAC.totalCents(Money m2)
           
 boolean MoneyComparableAC.greaterThan(Money m2)
           
 boolean MoneyComparableAC.greaterThanOrEqualTo(Money m2)
           
 boolean MoneyComparableAC.lessThan(Money m2)
           
 boolean MoneyComparableAC.lessThanOrEqualTo(Money m2)
           
 MoneyOps USMoney.plus(Money m2)
           
 MoneyOps USMoney.minus(Money m2)
           
 

Constructors in org.jmlspecs.samples.prelimdesign with parameters of type Money
USMoney_JML_Test.TestPlus(USMoney receiver$, Money m2)
          Initialize this instance.
USMoney_JML_Test.TestMinus(USMoney receiver$, Money m2)
          Initialize this instance.
USMoney_JML_Test.TestGreaterThan(USMoney receiver$, Money arg1)
          Initialize this instance.
USMoney_JML_Test.TestGreaterThanOrEqualTo(USMoney receiver$, Money arg1)
          Initialize this instance.
USMoney_JML_Test.TestLessThan(USMoney receiver$, Money arg1)
          Initialize this instance.
USMoney_JML_Test.TestLessThanOrEqualTo(USMoney receiver$, Money arg1)
          Initialize this instance.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    
JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.