Lines Matching refs:write
71 {Number} { out.write("<span class=\"n\">");
72 out.write(yytext());
73 out.write("</span>"); }
75 \" { yybegin(STRING);out.write("<span class=\"s\">\""); spans.push("s"); }
76 "#" { yybegin(SCOMMENT);out.write("<span class=\"c\">#"); spans.push("c"); }
80 \" {WhiteSpace} \" { out.write(yytext()); }
81 \" { yybegin(YYINITIAL); out.write("\"</span>"); spans.pop(); }
82 \\\\ { out.write("\\\\"); }
83 \\\" { out.write("\\\""); }
88 yybegin(YYINITIAL); out.write("</span>"); spans.pop();
94 "&" {out.write( "&");}
95 "<" {out.write( "<");}
96 ">" {out.write( ">");}
98 {WhiteSpace} { out.write(yytext()); }
99 [!-~] { out.write(yycharat(0)); }
105 { out.write(Util.breadcrumbPath(urlPrefix+"path=",yytext(),'/'));}
110 out.write("<a href=\""+urlPrefix+"path=");
111 out.write(path);
113 out.write("\">");
114 out.write(path);
115 out.write("</a>");}
120 out.write("<a href=\"");
121 out.write(Util.uriEncodeURL(url));out.write("\">");
122 out.write(Util.htmlize(url));out.write("</a>");}