JML

org.jmlspecs.samples.prelimdesign
Interface MoneyOps

All Superinterfaces:
Cloneable, JMLType, Money, MoneyComparable, Serializable
All Known Implementing Classes:
USMoney

public interface MoneyOps
extends MoneyComparable


Method Summary
 MoneyOps minus(Money m2)
           
 MoneyOps plus(Money m2)
           
 MoneyOps scaleBy(double factor)
           
 
Methods inherited from interface org.jmlspecs.samples.prelimdesign.MoneyComparable
greaterThan, greaterThanOrEqualTo, lessThan, lessThanOrEqualTo
 
Methods inherited from interface org.jmlspecs.samples.prelimdesign.Money
cents, clone, dollars, equals
 
Methods inherited from interface org.jmlspecs.models.JMLType
hashCode
 

Method Detail

plus

public MoneyOps plus(Money m2)

minus

public MoneyOps minus(Money m2)

scaleBy

public MoneyOps scaleBy(double factor)

JML

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.