#include "semcheck.h" #include #include void Cd_graph::cd_pp(ostream& strm) { adjacencies->cd_pp(strm); if (terminal_sets) { strm << " *terminal_sets* "; terminal_sets->g_print(strm); strm << ".\n"; } } void Adjacency_Nlist::cd_pp(ostream& strm) { Adjacency_list_iterator next_adj(*this); Adjacency_ each_adj; while (each_adj=next_adj()) each_adj->cd_pp(strm); } void Adjacency::cd_pp(ostream& strm) { source->g_print(strm); if (parameters&&(parameters->list_length()>0)) { strm << "("; parameters->g_print(strm); strm << ")"; } ns->cd_pp(source,strm); strm << ".\n"; } void Neighbors::cd_pp(Vertex *source,ostream& strm) { } void Construct_ns::cd_pp(Vertex *source,ostream& strm) { strm << " = "; this->get_construct_ns()->cd_pp(strlen(source->get_vertex_name()->get_val())+3,strm); } void Alternat_ns::cd_pp(Vertex *source,ostream& strm) { strm << " : "; alternat_ns->cd_pp(strlen(source->get_vertex_name()->get_val())+3,strm); strm << "\n *common* "; this->get_construct_ns()->cd_pp(20,strm); } void Repetit_n::cd_pp(Vertex *source,ostream& strm) { strm << " ~ "; sandwiched->g_print(strm); } void Term::cd_pp(ostream& strm) { } void Normal::cd_pp(ostream& strm) { this->get_vertex()->g_print(strm); this->get_moduleRef()->g_print(strm); if (this->get_actual_parameters()) { strm << "("; if (this->get_actual_parameters()) this->get_actual_parameters()->cd_pp(strm); strm << ")"; } } void CppTerm::cd_pp(ostream& strm) { strm << "$"; this->get_vertex()->g_print(strm); this->get_moduleRef()->g_print(strm); } void Any_vertex_List::cd_pp(int skips,ostream& strm) { Any_vertex_list_iterator next_Any_vertex(*this); Any_vertex_ each_Any_vertex; int length = this->list_length(); int loop,count; count=1; while (each_Any_vertex=next_Any_vertex()) { loop=skips; each_Any_vertex->cd_pp(strm); if (countg_print(strm); } void Print_command::cd_pp(ostream& strm) { } void Print_indent::cd_pp(ostream& strm) { strm << "+"; } void Print_unindent::cd_pp(ostream& strm) { strm << "-"; } void Print_skip::cd_pp(ostream& strm) { strm << "*l"; } void Print_space::cd_pp(ostream& strm) { strm << "*s"; } void Inherit_term::cd_pp(ostream& strm) { strm << "*inherit*"; inherited->g_print(strm); } void Regular::cd_pp(ostream& strm) { if (this->get_staticspec()) { this->get_staticspec()->pp(strm); strm << " "; } if (this->get_accessorspec()) { this->get_accessorspec()->pp(strm); strm << " "; } this->get_vertex()->cd_pp(strm); } void Labeled::cd_pp(ostream& strm) { strm << "<"; this->get_label_name()->g_print(strm); strm << "> "; if (this->get_staticspec()) { this->get_staticspec()->pp(strm); strm << " "; } if (this->get_accessorspec()) { this->get_accessorspec()->pp(strm); strm << " "; } this->get_vertex()->cd_pp(strm); } void Optional_term::cd_pp(ostream& strm) { strm << " [ "; opt->cd_pp(strm); strm << " ] "; } void Opt_labeled_term_Sandwich::cd_pp(ostream& strm) { first->g_print(strm); inner->cd_pp(strm); second->g_print(strm); } void Term_Bar_list::cd_pp(int skips,ostream& strm) { Term_list_iterator next_Term(*this); Term_ each_Term; int length = this->list_length(); int count = 1; int loop=skips; while (each_Term=next_Term()) { loop=skips; each_Term->cd_pp(strm); if ((length>1)&&(countlist_length(); int count = 1; while (each_term=next_term()) { each_term->cd_pp(strm); if (count