public SymbolTablePrinter printUsedSymbolName(Symbol symbol, Symbol user) { Name name = symbol.name; if (!global.debug) name = NameTransformer.decode(name); String s = name.toString(); if (htmlGenerator.isReferenced(symbol)) htmlGenerator.page.printAhref(htmlGenerator.ref(symbol), s); else htmlGenerator.page.print(s);
public SymbolTablePrinter printUsedSymbolName(Symbol symbol) { htmlGenerator.printSymbol(symbol, true);
    public SymbolTablePrinter printUsedSymbolName(Symbol symbol, Symbol user) {        Name name = symbol.name;        if (!global.debug) name = NameTransformer.decode(name);        String s = name.toString();        if (htmlGenerator.isReferenced(symbol))            htmlGenerator.page.printAhref(htmlGenerator.ref(symbol), s);	else	    htmlGenerator.page.print(s);        printSymbolUniqueId(symbol);        return this;    }