Uses of Interface

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

Methods in org.jmlspecs.samples.prelimdesign that return Money
 Money BankAccount.balance()

Methods in org.jmlspecs.samples.prelimdesign with parameters of type Money
abstract  MoneyOps 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 m2)
 MoneyOps USMoney.minus(Money m2)

Constructors in org.jmlspecs.samples.prelimdesign with parameters of type Money
BankAccount(Money amt, String own)


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.