PDFGeneration::get_bookmark_name

Synopsis

Declared in <src/midend/astDump/PDFGeneration.h>

virtual
std::string
get_bookmark_name(SgNode* node);

Created with MrDocs