import cpp

string arguments(Function f, int i) {

result = "," and i = -1

or

result = "" and i = min(int j | function_template_argument(unresolveElement(f), j, _)) - 1

or

result = arguments(f, i - 1) + "," + f.getTemplateArgument(i).toString()

}

string name(Function f) {

if f.isConstructedFrom(_)

then result = f.toString() + "<" + max(arguments(f, _)).suffix(1) + ">"

else

if f instanceof TemplateFunction

then result = f.toString() + " prototype instantiation"

else result = f.toString()

}

from ControlFlowNode x, ControlFlowNode y

where y = x.getASuccessor()

select name(x.getControlFlowScope()), x.getLocation().getStartLine(),

count(x.getAPredecessor*()), // This helps order things sensibly

x.toString(), y.getLocation().getStartLine(), y.toString()