Cross Reference: /opengrok-jel/src/org/opensolaris/opengrok/analysis/JFlexXref.java

Lines Matching refs:symbol
64     /** symbol definitions to use when writing out related info */
228      * Set the symbol defintions to use when writing out related info.
229      * @param defs  symbol definitions to use. Might be {@code null}.
325      * the type, and an array of (symbol, line) pairs for the definitions of
330             // No definitions, no symbol table to write
334         // We want the symbol table to be sorted
338                 // Order by symbol name, and then by line number if multiple
339                 // definitions use the same symbol name
340                 int ret = tag1.symbol.compareTo(tag2.symbol);
385                     out.append(Util.jsStringLiteral(tag.symbol));
506      * Write a symbol and generate links as appropriate.
508      * @param symbol the symbol to write.
510      * will be generated if the symbol is a keyword)
511      * @param line the line number on which the symbol appears
512      * @param escape If {@code true} <var>symbol</var> gets escapes for URI paths
513      *      and html text. Otherwise it is assumed, that symbol contains no HTML
517     protected void writeSymbol(String symbol, Set<String> keywords, int line,
522         if (keywords != null && keywords.contains(symbol)) {
523             String htmlSymbol = escape ? Util.htmlize(symbol) : symbol;
527         } else if (defs != null && defs.hasDefinitionAt(symbol, line, strs)) {
528             // This is the definition of the symbol.
538             //    do this when there's exactly one definition of the symbol in
544             out.append(escape ? Util.formQuoteEscape(symbol) : symbol);
547             // 2) Create a link that searches for all references to this symbol.
551             out.append(escape ? Util.uriEncodeQueryValue(symbol) : symbol);
556             out.append(escape ? Util.htmlize(symbol) : symbol);
559         } else if (defs != null && defs.occurrences(symbol) == 1) {
560             // This is a reference to a symbol defined exactly once in this file.
563             // Generate a direct link to the symbol definition.
567             out.append(escape ? Util.uriEncodeQueryValue(symbol) : symbol);
569             out.append(escape ? Util.htmlize(symbol) : symbol);
573             // This is a symbol that is not defined in this file, or a symbol
576             // link to search for all definitions of that symbol instead.
580             out.append(escape ? Util.uriEncodeQueryValue(symbol) : symbol);
583             out.append(escape ? Util.htmlize(symbol) : symbol);