Lines Matching refs:write

72         out.write("<");
75 out.write("<a href=\""+urlPrefix+"path=");
76 out.write(path);
78 out.write("\">");
79 out.write(path);
80 out.write("</a>");
81 out.write("&gt;");
84 {Number} { out.write("<span class=\"n\">"); out.write(yytext()); out.write("</span>"); }
86 \" { yybegin(STRING);out.write("<span class=\"s\">\""); spans.push("s"); }
87 \"\"\" { yybegin(LSTRING);out.write("<span class=\"s\">\"\"\""); spans.push("s"); }
88 \' { yybegin(QSTRING);out.write("<span class=\"s\">\'"); spans.push("s"); }
89 \'\'\' { yybegin(LQSTRING);out.write("<span class=\"s\">\'\'\'"); spans.push("s"); }
90 "#" { yybegin(SCOMMENT);out.write("<span class=\"c\">#"); spans.push("c"); }
94 \" { yybegin(YYINITIAL); out.write("\"</span>"); spans.pop(); }
95 \\\\ { out.write("\\\\"); }
96 \\\" { out.write("\\\""); }
98 yybegin(YYINITIAL); out.write("</span>"); spans.pop();
104 "\\\\" { out.write("\\\\"); }
105 "\\\'" { out.write("\\\'"); }
106 \' {WhiteSpace} \' { out.write(yytext()); }
107 \' { yybegin(YYINITIAL); out.write("'</span>"); spans.pop(); }
109 yybegin(YYINITIAL); out.write("</span>"); spans.pop();
115 \" {WhiteSpace} \" { out.write(yytext());}
116 \"\"\" { yybegin(YYINITIAL); out.write("\"\"\"</span>"); spans.pop(); }
117 \\\\ { out.write("\\\\"); }
118 \\\" { out.write("\\\""); }
122 "\\\\" { out.write("\\\\"); }
123 "\\\'" { out.write("\\\'"); }
124 \' {WhiteSpace} \' { out.write(yytext()); }
125 \'\'\' { yybegin(YYINITIAL); out.write("'''</span>"); spans.pop(); }
130 yybegin(YYINITIAL); out.write("</span>"); spans.pop();
137 "&" {out.write( "&amp;");}
138 "<" {out.write( "&lt;");}
139 ">" {out.write( "&gt;");}
141 {WhiteSpace} { out.write(yytext()); }
142 [!-~] { out.write(yycharat(0)); }
148 { out.write(Util.breadcrumbPath(urlPrefix+"path=",yytext(),'/'));}
153 out.write("<a href=\""+urlPrefix+"path=");
154 out.write(path);
156 out.write("\">");
157 out.write(path);
158 out.write("</a>");}
163 out.write("<a href=\"");
164 out.write(Util.uriEncodeURL(url));out.write("\">");
165 out.write(Util.htmlize(url));out.write("</a>");}