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