static const char *NAME = "info_unit";

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

#include "info_unit.h"

info_unit::info_unit()
{
  (NAME?1:0);
  spec_seen = FALSE;
  operation_apply_count = 0;
  declarations = NIL;
  current_operation = NIL;
}

info_unit::~info_unit()
{
  if (declarations) rm(declarations);
}

void info_unit::add_to_prefixed_declarations(zeno_tree *to_add)
{
  if (!declarations) {
    declarations = new zeno_tree;
    declarations->attach(to_add);
  } else declarations->attach(to_add);
}

zeno_tree *info_unit::prefixed_declarations()
{
  return declarations;
}

int info_unit::subprg_spec_seen()
{
  return spec_seen;
}

void info_unit::set_subprg_spec_seen()
{
  spec_seen = TRUE;
}

int info_unit::operation_application_count()
{
  return operation_apply_count;
}

void info_unit::increment_operations_applied()
{
  operation_apply_count++;
}

operation *info_unit::current_op()
{
  return current_operation;
}

void info_unit::set_current_op(operation *to_set)
{
  current_operation = to_set;
}