/////////////////////////////////////////////////////////////////////////////////
//  $Log: get_full_type_name.pp,v $
//  Revision 5.5.1.1  1994/08/30  14:25:53  demeter
//  *** empty log message ***
//
//  Revision 5.5  1994/08/30  14:25:51  demeter
//  *** empty log message ***
//
//  Revision 5.4.1.3  1994/02/25  22:13:25  demeter
//  *** empty log message ***
//
//
/////////////////////////////////////////////////////////////////////////////////
*operation* void get_full_type_names(char *&full_type_name,char *&prec_type_name)
  *wrapper* Term
  *prefix*
   (@
      vertex->get_full_type_names(full_type_name,prec_type_name);
      moduleRef->get_full_type_names(full_type_name,prec_type_name);
   @)

  *wrapper* Vertex
  *prefix*
   (@
      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());
   @)

  *wrapper* TermRef
  *prefix*
   (@
       cerr << " never called. " << endl;
       exit(1);
   @)

  *wrapper* LocalRef
  *prefix*
   (@
   @)
  *wrapper* ModuleRef
  *prefix*
   (@
       cerr << " never called. " << endl;
       exit(1);
   @)

  *wrapper* CompRef
  *prefix*
   (@
      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());
   @)

  *wrapper* LibRef
  *prefix*
   (@
      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());
   @)