#ifndef LIBRARY_MANAGER_CLASS
#define LIBRARY_MANAGER_CLASS

// library_manager: deals with pulling the existing symbols out of the current
// directory's library file and storing them when done.

#include "symbol_tree.h"

class library_manager
{
public:
  // constructor loads in the library symbol tree from the current directory's
  // library file.
  library_manager();

  // destructor saves modifications to the symbol table back into the library
  // file.
  ~library_manager();

  // clear: empties the library file of symbols.
  void clear();

  // get_tree: returns the current symbol_tree.
  symbol_tree *get_tree() const;

private:
  // this_tree: the symbol tree held here.
  symbol_tree *this_tree;
};

#endif