void OpenCLPrinter::print(std::string name, std::string value, int indents) { std::string stringIndents = getIndentation(indents); std::cout << stringIndents << boost::format("%-30s %-20s\n") % name % value; }
void ASTPrinter::writeLine(string const& _line) { *m_ostream << getIndentation() << _line << endl; }