/*
* CDDL HEADER START
*
* The contents of this file are subject to the terms of the
* Common Development and Distribution License (the "License").
* You may not use this file except in compliance with the License.
*
* See LICENSE.txt included in this distribution for the specific
* language governing permissions and limitations under the License.
*
* When distributing Covered Code, include this CDDL HEADER in each
* file and include the License file at LICENSE.txt.
* If applicable, add the following below this CDDL HEADER, with the
* fields enclosed by brackets "[]" replaced with your own identifying
* information: Portions Copyright [yyyy] [name of copyright owner]
*
* CDDL HEADER END
*/
/*
*/
/*
* Cross reference a Java file
*/
%%
%int
%{
/* Must match WhiteSpace regex */
// TODO move this into an include file when bug #16053 is fixed
%}
/* Must match WHITE_SPACE constant */
WhiteSpace = [ \t\f]+
EOL = \r|\n|\r\n
URIChar = [\?\+\%\&\:\/\.\@\_\;\=\$\,\-\!\~\*\\]
%%
<YYINITIAL>{
{Identifier} {
}
}
/*{Hier}
{ out.write(Util.breadcrumbPath(urlPrefix+"defs=",yytext(),'.'));}
*/
\' { yybegin(COMMENT);out.write("<span class=\"c\">\'"); spans.push("c"); }
}
<STRING> {
\" {WhiteSpace} \" { out.write(yytext());}
\" { yybegin(YYINITIAL); out.write("\"</span>"); spans.pop(); }
\\\\ { out.write("\\\\"); }
\\\" { yybegin(YYINITIAL); out.write("\\\"</span>"); spans.pop(); }
}
<COMMENT> {
{WhiteSpace}*{EOL} {
yybegin(YYINITIAL); out.write("</span>"); spans.pop();
startNewLine();
}
}
<YYINITIAL, STRING, COMMENT> {
"&" {out.write( "&");}
"<" {out.write( "<");}
">" {out.write( ">");}
{WhiteSpace}*{EOL} { startNewLine(); }
{WhiteSpace} { out.write(yytext()); }
[!-~] { out.write(yycharat(0)); }
. { writeUnicodeChar(yycharat(0)); }
}
<STRING, COMMENT> {
{Path}
{ out.write(Util.breadcrumbPath(urlPrefix+"path=",yytext(),'/'));}
{File}
{
String path = yytext();
out.write("<a href=\""+urlPrefix+"path=");
out.write(path);
appendProject();
out.write("\">");
out.write(path);
out.write("</a>");}
("http" | "https" | "ftp" ) "://" ({FNameChar}|{URIChar})+[a-zA-Z0-9/]
{
String url = yytext();
out.write("<a href=\"");
out.write(Util.uriEncodeURL(url));out.write("\">");
out.write(Util.htmlize(url));out.write("</a>");}
{FNameChar}+ "@" {FNameChar}+ "." {FNameChar}+
{
writeEMailAddress(yytext());
}
}