// This may look like C code, but it is really -*- C++ -*-
//
//  ${project}  --  Copyright (c) University of Aizu 1994
//
//

// Wrappers protect against including this file more than once

#ifndef PropertyDeed_h
#define PropertyDeed_h 1


//  A property deed is a deed on a space where you can build houses. This class
//  knows everything about houses and rents.

#include <Deed.h>

class PropertyDeed: public Deed {
public:
  // We start having real rules here... build returns the number of houses actually built
  int build(Houses house);

  // How much does it cost to build a house here?
  int cost(void) const;

  virtual int rent(void) const;

  // IO
  virtual char *classname(void) const;
  virtual IOstatus readContents(void);
  virtual IOstatus writeContents(void) const;

  virtual Listable *duplicate(void) const;

private:
  int    cost_;
  Houses houses_;
  int    rent_[6];
};

// End of wrapper
#endif
// End of file