org.jmlspecs.samples.prelimdesign
Class MoneyAC

java.lang.Object
  org.jmlspecs.samples.prelimdesign.MoneyAC

All Implemented Interfaces:

Cloneable, JMLType, Money, Serializable

Direct Known Subclasses:

MoneyComparableAC

public abstract class MoneyAC

extends Object

implements Money

Field Summary
protected  long	numCents

 

Constructor Summary

MoneyAC()

 

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.
int	hashCode()           Return a hash code for this object.

 

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

numCents

protected long numCents

MoneyAC

public MoneyAC()

dollars

public long dollars()

Specified by:

dollars in interface Money

cents

public long cents()

Specified by:

cents in interface Money

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 Money

Overrides:

equals in class Object

hashCode

public int hashCode()

Description copied from interface: JMLType

Return a hash code for this object.

Specified by:

hashCode in interface JMLType

Overrides:

hashCode in class Object

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface Money

Overrides:

clone in class Object