// 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 CardIndex_h
#define CardIndex_h 1

//  This object contains the master Index of all existing Cards.
//  Other objects should refer to this Index via keys.

#include <Index.h>

class CardIndex: public Index {
public:
  // Default constructor works just fine...

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

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