org.jmlspecs.samples.prelimdesign
Class MoneyComparableAC

java.lang.Object
  org.jmlspecs.samples.prelimdesign.MoneyAC
      org.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()

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