JML

org.jmlspecs.samples.prelimdesign
Class MoneyComparableAC

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

public abstract class MoneyComparableAC
extends MoneyAC
implements MoneyComparable


Field Summary
 
Fields inherited from class org.jmlspecs.samples.prelimdesign.MoneyAC
numCents
 
Constructor Summary
MoneyComparableAC()
           
 
Method Summary
 boolean greaterThan(Money m2)
           
 boolean greaterThanOrEqualTo(Money m2)
           
 boolean lessThan(Money m2)
           
 boolean lessThanOrEqualTo(Money m2)
           
protected static long totalCents(Money m2)
           
 
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, toString, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.samples.prelimdesign.Money
cents, clone, dollars, equals
 
Methods inherited from interface org.jmlspecs.models.JMLType
hashCode
 

Constructor Detail

MoneyComparableAC

public MoneyComparableAC()
Method Detail

totalCents

protected static long totalCents(Money m2)

greaterThan

public boolean greaterThan(Money m2)
Specified by:
greaterThan in interface MoneyComparable

greaterThanOrEqualTo

public boolean greaterThanOrEqualTo(Money m2)
Specified by:
greaterThanOrEqualTo in interface MoneyComparable

lessThan

public boolean lessThan(Money m2)
Specified by:
lessThan in interface MoneyComparable

lessThanOrEqualTo

public boolean lessThanOrEqualTo(Money m2)
Specified by:
lessThanOrEqualTo in interface MoneyComparable

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.