// 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

#include <Deed.h>

class PropertyDeed : public Deed {
public:
  // IO
  virtual Listable* duplicate(void) const;
  virtual char* classname(void) const;
  virtual IOstatus readContents(void);
  virtual IOstatus writeContents(void) const;
};

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