#include "build.h"



void Term::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("Term","void Term::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

      vertex->get_full_type_names(full_type_name,prec_type_name);
      moduleRef->get_full_type_names(full_type_name,prec_type_name);
   

  // suffix class wrappers

}

void Vertex::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("Vertex","void Vertex::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

      derror('i',strlen(this->get_vertex_name()->get_val()) > MAXNAMLEN,
                 "get_full_type_names(): name buffer overflow.");

      sprintf(full_type_name,this->get_vertex_name()->get_val());
      sprintf(prec_type_name,this->get_vertex_name()->get_val());
   

  // suffix class wrappers

}

void TermRef::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("TermRef","void TermRef::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

       cerr << " never called. " << endl;
       exit(1);
   

  // suffix class wrappers

}

void LocalRef::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("LocalRef","void LocalRef::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

   

  // suffix class wrappers

}

void ModuleRef::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("ModuleRef","void ModuleRef::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

       cerr << " never called. " << endl;
       exit(1);
   

  // suffix class wrappers

}

void CompRef::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("CompRef","void CompRef::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

      derror('i',strlen(full_type_name)+2+strlen(this->get_moduleName()->get_val())
                 > MAXNAMLEN,
                 "get_full_type_names(): name buffer overflow.");

      strcat(full_type_name,"@");
      strcat(full_type_name,this->get_moduleName()->get_val());
      strcat(prec_type_name,"_at_");
      strcat(prec_type_name,this->get_moduleName()->get_val());
   

  // suffix class wrappers

}

void LibRef::get_full_type_names( char* &  full_type_name,char* &  prec_type_name )
{
  DEM_TRACE("LibRef","void LibRef::get_full_type_names(char* &  full_type_name,char* &  prec_type_name)");
  // prefix class wrappers

      derror('i',strlen(full_type_name)+3+strlen(this->get_moduleName()->get_val())
                > MAXNAMLEN,
                 "get_full_type_names(): name buffer overflow.");

      strcat(full_type_name,"@@");
      strcat(full_type_name,this->get_moduleName()->get_val());
   

  // suffix class wrappers

}