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

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	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

BankAccount(Money amt, String own)