// Account.h

#ifndef Account_h
#define Account_h 1

class Account {
  // ABSTRACTLY: some number of dollars
public:
  Account();
    // POST: balance of self is zero
    // MODIFIES: self
    // NOTE: this must be called first
  void Deposit(int cts);
    // PRE: Open was called && cts >= 0
    // MODIFIES: self
    // POST: the new balance is
    //  self<entry> + cts/100 dollars
  double Dollars() const;
    // PRE: Open was called
    // POST: FCTVAL is approximately
    // the balance of self.
#include "Account.pri"
};
#endif