#include "semcheck.h"




static int Num_CPPKeyWords = 56;

static char *CPPKeyWords[] = {
"Construction",
"Terminal",
"Universal",
"asm",
"auto",
"break",
"case",
"catch",
"char",
"class",
"const",
"continue",
"default",
"delete",
"do",
"double",
"else",
"enum",
"extern",
"float",
"for",
"friend",
"goto",
"if",
"inline",
"int",
"label",
"list",
"long",
"new",
"operator",
"private",
"protected",
"public",
"register",
"repetition",
"return",
"short",
"signed",
"sizeof",
"static",
"struct",
"switch",
"template",
"this",
"throw",
"try",
"type",
"typedef",
"union",
"unsigned",
"virtual",
"virtual",
"void",
"volatile",
"while",
};

void search_cpp_keyw(DemIdent* val, int& result)
{
//binary search

   int left  = 0;
   int right = Num_CPPKeyWords-1;
   int middle;

   while (left <= right)
   {
      middle = (left+right) / 2;
      int cmp_result = strcmp(CPPKeyWords[middle],val->get_val());
      if (cmp_result==0)
      {
        result = ERROR_CPP;
        cerr << toolname << ": error: on line " << val->get_line_number() << " keyword C++ Demeter '" << val->get_val() << "' is used" << endl;
        return;
      }
      else
      if (cmp_result < 0)
	     left = middle+1;
      else
	     right = middle-1;
   }
}


//  Cd_graph  = <adjacencies > Adjacency_Nlist 
//            [ <dfs_n > DemNumber  ] 
//            [ <current_component > DemNumber  ] 
//            [ <stack > Adjacency_List  ] 
//            [ <pools > Vertices_With_Same_Fset_List  ] 
//            [ <terminal_sets > Vertex_Comma_list  ] 
//            [ <foreign_classes > Term_Comma_list  ] .
void Cd_graph::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Cd_graph","void Cd_graph::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_adjacencies()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  if ( this->get_stack() != NULL )
  {
  // construction edge prefix wrappers
    this->get_stack()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_pools() != NULL )
  {
  // construction edge prefix wrappers
    this->get_pools()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_terminal_sets() != NULL )
  {
  // construction edge prefix wrappers
    this->get_terminal_sets()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_foreign_classes() != NULL )
  {
  // construction edge prefix wrappers
    this->get_foreign_classes()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Vertices_With_Same_Fset  = "*pool*" 
//                          <pool > Vertex_List .
void Vertices_With_Same_Fset::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Vertices_With_Same_Fset","void Vertices_With_Same_Fset::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_pool()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Adjacency  = <source > Vertex 
//             [ <parameters > Vertex_Comma_list  ] 
//            <ns > Neighbors 
//             [ <treated > DemNumber  ] 
//             [ <imm_ancester > Vertex  ] 
//             [ <inherited_Any_vertex > Any_vertex_List  ] 
//             [ <expanded_common_parts > Common_parts_List  ] 
//             [ <associated > Adjacency_List  ] 
//             [ <dfs > DemNumber  ] 
//             [ <high > DemNumber  ] 
//             [ <scc > DemNumber  ] 
//             [ <firstset > Ll1SetElement_Comma_list  ] 
//             [ <followset > Ll1SetElement_Comma_list  ] 
//            "." .
void Adjacency::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Adjacency","void Adjacency::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

   adj = this;
   // < source > Vertex
   source->check_cpp_keyw(adj,result );
   // [ < parameters > Vertex_comma_list ]
   if ( parameters )
      parameters->check_cpp_keyw(adj,result );
   // < ns > Neighbors
   ns->check_cpp_keyw(adj,result );


  // outgoing calls
  // construction edge prefix wrappers
  this->get_source()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  if ( this->get_parameters() != NULL )
  {
  // construction edge prefix wrappers
    this->get_parameters()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // construction edge prefix wrappers
  this->get_ns()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  if ( this->get_imm_ancester() != NULL )
  {
  // construction edge prefix wrappers
    this->get_imm_ancester()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_inherited_Any_vertex() != NULL )
  {
  // construction edge prefix wrappers
    this->get_inherited_Any_vertex()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_expanded_common_parts() != NULL )
  {
  // construction edge prefix wrappers
    this->get_expanded_common_parts()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_associated() != NULL )
  {
  // construction edge prefix wrappers
    this->get_associated()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Common_parts  = "*common parts*" 
//               <owner > Adjacency 
//               "*is*" 
//               <common > Any_vertex_List .
void Common_parts::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Common_parts","void Common_parts::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_owner()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_common()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Neighbors  : Neighbors_wc   |
//            Repetit_n 
//           *common* .
void Neighbors::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Neighbors","void Neighbors::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Neighbors",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Neighbors_wc  : Construct_ns   |
//               Alternat_ns 
//           *common* <construct_ns > Any_vertex_List .
void Neighbors_wc::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Neighbors_wc","void Neighbors_wc::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Neighbors_wc",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Construct_ns  = "=" .
void Construct_ns::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Construct_ns","void Construct_ns::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in



  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // construction edge prefix wrappers
  this->get_construct_ns()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out


}

//  Alternat_ns  = ":" 
//              <alternat_ns > Term_Bar_list 
//               [ <common > Common  ] 
//               [ <emptycommon > DemNumber  ] .
void Alternat_ns::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Alternat_ns","void Alternat_ns::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in



  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_alternat_ns()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge prefix wrappers
  // construction edge prefix wrappers
  this->get_construct_ns()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out


}

//  Repetit_n  = "~" 
//            <sandwiched > Kernel_Sandwich .
void Repetit_n::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Repetit_n","void Repetit_n::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in


  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_sandwiched()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out

}

//  Kernel  =  [ <nonempty > Term  ] 
//         "{" 
//         <repeated > Term_Sandwich 
//         "}" .
void Kernel::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Kernel","void Kernel::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  if ( this->get_nonempty() != NULL )
  {
  // construction edge prefix wrappers
    this->get_nonempty()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // construction edge prefix wrappers
  this->get_repeated()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Any_vertex  : Opt_labeled_term   |
//             Optional_term   |
//             Syntax_vertex   |
//             Inherit_term 
//           *common*  [ <origin > Adjacency  ] .
void Any_vertex::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Any_vertex","void Any_vertex::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Any_vertex",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Vertex  = <vertex_name > DemIdent .
void Vertex::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Vertex","void Vertex::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

   search_cpp_keyw(vertex_name,result);


  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

//  Syntax_vertex  : Regular_syntax   |
//                Print_command 
//           *common* .
void Syntax_vertex::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Syntax_vertex","void Syntax_vertex::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Syntax_vertex",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Regular_syntax  = <string > DemString .
void Regular_syntax::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Regular_syntax","void Regular_syntax::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in



  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out


}

//  Print_command  : Print_indent   |
//                Print_unindent   |
//                Print_skip   |
//                Print_space 
//           *common* .
void Print_command::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Print_command","void Print_command::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Print_command",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Print_indent  = "+" .
void Print_indent::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Print_indent","void Print_indent::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in




  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out



}

//  Print_unindent  = "-" .
void Print_unindent::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Print_unindent","void Print_unindent::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in




  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out



}

//  Print_skip  = "*l" .
void Print_skip::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Print_skip","void Print_skip::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in




  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out



}

//  Print_space  = "*s" .
void Print_space::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Print_space","void Print_space::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in




  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out



}

//  Opt_labeled_term  : Labeled   |
//                   Regular 
//           *common*  [ <staticspec > StaticSpec  ] 
//                     [ <accessorspec > AccessorSpec  ] 
//                    <vertex > Term .
void Opt_labeled_term::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Opt_labeled_term","void Opt_labeled_term::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Opt_labeled_term",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  Regular  = .
void Regular::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Regular","void Regular::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in



  // prefix class wrappers

  // outgoing calls
  // inheritance edge prefix wrappers
  // construction edge prefix wrappers
  this->get_vertex()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out


}

//  Labeled  = "<" 
//          <label_name > DemIdent 
//          ">" .
void Labeled::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Labeled","void Labeled::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in



  // prefix class wrappers

   search_cpp_keyw(label_name,result);


  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out


}

//  Inherit_term  = "*inherit*" 
//               <inherited > Term_Comma_list .
void Inherit_term::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Inherit_term","void Inherit_term::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in


  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_inherited()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out

}

//  Term  : Normal   |
//       CppTerm 
//           *common* <vertex > Vertex 
//                    <moduleRef > TermRef 
//                     [ <adjacency > Adjacency  ] 
//                     [ <actual_parameters > Term_Comma_list  ] 
//                     [ <firstset > Ll1SetElement_Comma_list  ] 
//                     [ <followset > Ll1SetElement_Comma_list  ] .
void Term::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Term","void Term::check_cpp_keyw(Adjacency*  adj,int&  result)");
#ifndef NOTRACE
   DemTrace demTraceEmptyMethod(__FILE__,__LINE__,"Term",form(" at %s , ***  PREMATURELY TERMINATED *** ", this->get_type()));
#endif

}

//  CppTerm  = "$" .
void CppTerm::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("CppTerm","void CppTerm::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in


  // prefix class wrappers



  // outgoing calls
  // inheritance edge prefix wrappers
  // construction edge prefix wrappers
  this->get_vertex()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  if ( this->get_adjacency() != NULL )
  {
  // construction edge prefix wrappers
    this->get_adjacency()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_actual_parameters() != NULL )
  {
  // construction edge prefix wrappers
    this->get_actual_parameters()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out

}

//  Normal  = .
void Normal::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Normal","void Normal::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in


  // prefix class wrappers

//  if (this->get_module_name()== NULL)
  this->Term::check_cpp_keyw(adj,result);


  // outgoing calls
  // inheritance edge prefix wrappers
  // construction edge prefix wrappers
  this->get_vertex()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  if ( this->get_adjacency() != NULL )
  {
  // construction edge prefix wrappers
    this->get_adjacency()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  if ( this->get_actual_parameters() != NULL )
  {
  // construction edge prefix wrappers
    this->get_actual_parameters()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out

}

//  Optional_term  = "[" 
//                <opt > Opt_labeled_term_Sandwich 
//                "]" .
void Optional_term::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Optional_term","void Optional_term::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in


  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_opt()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // inheritance edge prefix wrappers
  if ( this->get_origin() != NULL )
  {
  // construction edge prefix wrappers
    this->get_origin()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  }
  // inheritance edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out

}

//  Adjacency_Nlist  ~ Adjacency  { Adjacency  }. .
void Adjacency_Nlist::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Adjacency_Nlist","void Adjacency_Nlist::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Adjacency_list_iterator	next_Adjacency(*this);
  Adjacency*		each_Adjacency;

  while ( each_Adjacency = next_Adjacency() )
  {
  // repetition edge prefix wrappers
    each_Adjacency->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Adjacency_List  ~  { Adjacency  }. .
void Adjacency_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Adjacency_List","void Adjacency_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Adjacency_list_iterator	next_Adjacency(*this);
  Adjacency*		each_Adjacency;

  while ( each_Adjacency = next_Adjacency() )
  {
  // repetition edge prefix wrappers
    each_Adjacency->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Vertices_With_Same_Fset_List  ~  { Vertices_With_Same_Fset  }. .
void Vertices_With_Same_Fset_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Vertices_With_Same_Fset_List","void Vertices_With_Same_Fset_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Vertices_With_Same_Fset_list_iterator	next_Vertices_With_Same_Fset(*this);
  Vertices_With_Same_Fset*		each_Vertices_With_Same_Fset;

  while ( each_Vertices_With_Same_Fset = next_Vertices_With_Same_Fset() )
  {
  // repetition edge prefix wrappers
    each_Vertices_With_Same_Fset->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Vertex_Comma_list  ~ Vertex  { Vertex  }. .
void Vertex_Comma_list::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Vertex_Comma_list","void Vertex_Comma_list::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Vertex_list_iterator	next_Vertex(*this);
  Vertex*		each_Vertex;

  while ( each_Vertex = next_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Vertex->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Term_Comma_list  ~ Term  { Term  }. .
void Term_Comma_list::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Term_Comma_list","void Term_Comma_list::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Term_list_iterator	next_Term(*this);
  Term*		each_Term;

  while ( each_Term = next_Term() )
  {
  // repetition edge prefix wrappers
    each_Term->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Vertex_List  ~  { Vertex  }. .
void Vertex_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Vertex_List","void Vertex_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Vertex_list_iterator	next_Vertex(*this);
  Vertex*		each_Vertex;

  while ( each_Vertex = next_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Vertex->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Any_vertex_List  ~  { Any_vertex  }. .
void Any_vertex_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Any_vertex_List","void Any_vertex_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Any_vertex_list_iterator	next_Any_vertex(*this);
  Any_vertex*		each_Any_vertex;

  while ( each_Any_vertex = next_Any_vertex() )
  {
  // repetition edge prefix wrappers
    each_Any_vertex->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Common_parts_List  ~  { Common_parts  }. .
void Common_parts_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Common_parts_List","void Common_parts_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Common_parts_list_iterator	next_Common_parts(*this);
  Common_parts*		each_Common_parts;

  while ( each_Common_parts = next_Common_parts() )
  {
  // repetition edge prefix wrappers
    each_Common_parts->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Term_Bar_list  ~ Term  { Term  }. .
void Term_Bar_list::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Term_Bar_list","void Term_Bar_list::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Term_list_iterator	next_Term(*this);
  Term*		each_Term;

  while ( each_Term = next_Term() )
  {
  // repetition edge prefix wrappers
    each_Term->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Kernel_Sandwich  = <first > Syntax_vertex_List 
//                  <inner > Kernel 
//                  <second > Syntax_vertex_List 
//                   [ <firstset > Ll1SetElement_Comma_list  ] 
//                   [ <followset > Ll1SetElement_Comma_list  ] .
void Kernel_Sandwich::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Kernel_Sandwich","void Kernel_Sandwich::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_first()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_inner()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_second()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Term_Sandwich  = <first > Syntax_vertex_List 
//                <inner > Term 
//                <second > Syntax_vertex_List 
//                 [ <firstset > Ll1SetElement_Comma_list  ] 
//                 [ <followset > Ll1SetElement_Comma_list  ] .
void Term_Sandwich::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Term_Sandwich","void Term_Sandwich::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_first()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_inner()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_second()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Opt_labeled_term_Sandwich  = <first > Syntax_vertex_List 
//                            <inner > Opt_labeled_term 
//                            <second > Syntax_vertex_List 
//                             [ <firstset > Ll1SetElement_Comma_list  ] 
//                             [ <followset > Ll1SetElement_Comma_list  ] .
void Opt_labeled_term_Sandwich::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Opt_labeled_term_Sandwich","void Opt_labeled_term_Sandwich::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  // construction edge prefix wrappers
  this->get_first()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_inner()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers
  // construction edge prefix wrappers
  this->get_second()->check_cpp_keyw( adj ,  result  );
  // construction edge suffix wrappers

  // suffix class wrappers

  // assignments for carrying out
}

//  Syntax_vertex_List  ~  { Syntax_vertex  }. .
void Syntax_vertex_List::check_cpp_keyw( Adjacency*  adj,int&  result )
{
  DEM_TRACE("Syntax_vertex_List","void Syntax_vertex_List::check_cpp_keyw(Adjacency*  adj,int&  result)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Syntax_vertex_list_iterator	next_Syntax_vertex(*this);
  Syntax_vertex*		each_Syntax_vertex;

  while ( each_Syntax_vertex = next_Syntax_vertex() )
  {
  // repetition edge prefix wrappers
    each_Syntax_vertex->check_cpp_keyw( adj ,  result  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}