Ejemplos de DebugPrinter::print en C++ (Cpp)

Ejemplo n.º 1

Archivo: main.cpp Proyecto: Zoxc/legion

void print_ast(std::string name)
{
	#ifdef AST_DEBUG
		DebugPrinter printer;

		for(List<Document>::Iterator i = compiler.documents.begin(); i; i++)
		{
			std::cout << std::endl << "Printing " + name + " for " + i().filename->string() << std::endl;
			std::cout << printer.print(&i().tree) << std::endl;
		}
	#endif
}

Ejemplo n.º 2

Archivo: print.cpp Proyecto: ibrahimshiyam/HOLZ_Isabelle2014

std::ostream& operator<<(std::ostream& os, ValueData & valr){
  DebugPrinter d;
  d.print(os, &valr);
  return os;
}