JML

org.jmlspecs.samples.prelimdesign
Class MoneyAC

java.lang.Object
  extended byorg.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
Constructor Detail

MoneyAC

public MoneyAC()
Method Detail

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

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.