static const char *NAME("library_manager");

//===========================//
//==   This software is    ==//
//== (c)opyrighted in 1993 ==//
//==   by Chris Koeritz    ==//
//==  cak0l@Virginia.EDU   ==//
//===========================//

#include "library_manager.h"
#include "symbol_tree.h"
#include "io_extend.h"
#include "files.h"

#define LIBRARY_FILE_NAME "zeno_symbol_library"

library_manager::library_manager()
{
  (NAME?1:0);
  string libname(LIBRARY_FILE_NAME);
  if (exists(libname)) {
    chunk *file_contents;
//load from file.
//this_tree = new symbol_tree(file_contents, symbol_unpack);
  } else {
    this_tree = new symbol_tree();
  }
}

library_manager::~library_manager()
{
  
}

void library_manager::clear()
{
}

symbol_tree *library_manager::get_tree() const { return this_tree; }