org.jmlspecs.samples.prelimdesign
Interface Money

All Superinterfaces:

Cloneable, JMLType, Serializable

All Known Subinterfaces:

MoneyComparable, MoneyOps

All Known Implementing Classes:

MoneyAC, MoneyComparableAC, USMoney

public interface Money

extends JMLType

Method Summary
long	cents()
Object	clone()           Return a clone of this object.
long	dollars()
boolean	equals(Object o2)           Test whether this object's value is equal to the given argument.

 

Methods inherited from interface org.jmlspecs.models.JMLType

hashCode

 

Method Detail

dollars

public long dollars()

cents

public long cents()

equals

public boolean equals(Object o2)

Description copied from interface: JMLType

Test whether this object's value is equal to the given argument.

Specified by:

equals in interface JMLType

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface JMLType