/****
 *
 * Class File is a generic model class for file operations used in tools such
 * as those being developed in the Polysuite and Enchilada projects.  This is
 * an initial skeletal design with no preconditions, postconditions, or data
 * represenation yet defined.
 *
 */

#ifndef fileIncluded
#define fileIncluded

#include "model.h"


class File : public Model {
  public:
    File(View* v = NULL);
    /*
     * Construct this.
     */

    virtual ~File();
    /*
     * Destruct this.
     */

    virtual viod New();
    /*
     * Create a new empty rolodex.
     */

    virtual viod Open(String* name);
    /*
     * Open an existing rolodex file of the given name.  Create a rolodex
     * containing the data of the opened file.
     */

    virtual viod Save();
    /*
     * Save this in the filespace.
     */

    virtual viod SaveAs(String* name);
    /*
     * Save this in the filespace under the given name.
     */    

    virtual viod Print();
    /* 
     * Print this in textual format.
     */

    virtual viod Quit();
    /*
     * Quit the rolodex system.
     */

  protected:
				// Data represenation forthcoming
};

#endif