JML

org.jmlspecs.samples.prelimdesign
Class USMoney

java.lang.Object
  extended byorg.jmlspecs.samples.prelimdesign.MoneyAC
      extended byorg.jmlspecs.samples.prelimdesign.MoneyComparableAC
          extended byorg.jmlspecs.samples.prelimdesign.USMoney
All Implemented Interfaces:
Cloneable, JMLType, Money, MoneyComparable, MoneyOps, Serializable

public class USMoney
extends MoneyComparableAC
implements MoneyOps


Field Summary
 
Fields inherited from class org.jmlspecs.samples.prelimdesign.MoneyAC
numCents
 
Constructor Summary
USMoney(double amt)
           
USMoney(long cs)
           
 
Method Summary
 MoneyOps minus(Money m2)
           
 MoneyOps plus(Money m2)
           
 MoneyOps scaleBy(double factor)
           
 String toString()
           
 
Methods inherited from class org.jmlspecs.samples.prelimdesign.MoneyComparableAC
greaterThan, greaterThanOrEqualTo, lessThan, lessThanOrEqualTo, totalCents
 
Methods inherited from class org.jmlspecs.samples.prelimdesign.MoneyAC
cents, clone, dollars, equals, hashCode
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
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
 

Constructor Detail

USMoney

public USMoney(long cs)

USMoney

public USMoney(double amt)
Method Detail

plus

public MoneyOps plus(Money m2)
Specified by:
plus in interface MoneyOps

minus

public MoneyOps minus(Money m2)
Specified by:
minus in interface MoneyOps

scaleBy

public MoneyOps scaleBy(double factor)
Specified by:
scaleBy in interface MoneyOps

toString

public String toString()
Overrides:
toString in class Object

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.