NameGenerator::current

Returns the current name, based on the current ID number.

Synopsis

Declared in <src/midend/programTransformation/astOutlining/NameGenerator.hh>

virtual
std::string
current(std::string full_file_name = "");

Return Value

the current name, based on the current ID number.

Created with MrDocs