Lines Matching refs:out
78 {Number} { out.write("<span class=\"n\">");
79 out.write(yytext());
80 out.write("</span>"); }
82 \" { yybegin(STRING);out.write("<span class=\"s\">\""); spans.push("s"); }
83 ";" { yybegin(SCOMMENT);out.write("<span class=\"c\">;"); spans.push("c"); }
87 \" {WhiteSpace} \" { out.write(yytext()); }
88 \" { yybegin(YYINITIAL); out.write("\"</span>"); spans.pop(); }
89 \\\\ { out.write("\\\\"); }
90 \\\" { out.write("\\\""); }
96 out.write("<span class=\"c\">");
99 out.write("#|");
104 "|#" { out.write("|#");
107 out.write("</span>");
115 yybegin(YYINITIAL); out.write("</span>"); spans.pop();
121 "&" {out.write( "&");}
122 "<" {out.write( "<");}
123 ">" {out.write( ">");}
125 {WhiteSpace} { out.write(yytext()); }
126 [!-~] { out.write(yycharat(0)); }
132 { out.write(Util.breadcrumbPath(urlPrefix+"path=",yytext(),'/'));}
137 out.write("<a href=\""+urlPrefix+"path=");
138 out.write(path);
140 out.write("\">");
141 out.write(path);
142 out.write("</a>");}
147 out.write("<a href=\"");
148 out.write(Util.uriEncodeURL(url));out.write("\">");
149 out.write(Util.htmlize(url));out.write("</a>");}