version 1.10, 2001/11/18 09:49:43
|
version 1.11, 2001/11/21 18:48:05
|
Line 688 EndLine ([\r][\n]|[\n])
|
Line 688 EndLine ([\r][\n]|[\n])
|
} |
} |
|
|
<S_IMPORT>{ |
<S_IMPORT>{ |
{FileName}{Space}* { |
{FileName}{Space}* { char *endquote; |
end_mode(); |
end_mode(); |
start_mode(MODE_IMPORT,NULL); |
start_mode(MODE_IMPORT,NULL); |
send("%s/%s",import_prefix,yytext); |
endquote = strrchr(yytext,'\"'); |
end_mode(); |
*endquote = '\0'; |
BEGIN S_SKIP; |
if (yytext[1] == '/') { |
|
send("%s%s",import_prefix,&yytext[1]); |
|
} else { |
|
send("%s",&yytext[1]); |
|
} |
} |
} |
{Identifier}{Space}* { end_mode(); |
{Identifier}{Space}* { end_mode(); |
start_mode(MODE_IMPORT,NULL); |
start_mode(MODE_IMPORT,NULL); |
send("$%s",yytext); |
send("$%s",yytext); |
end_mode(); |
|
BEGIN S_SKIP; |
|
} |
} |
|
{Space}+ { } |
|
{EndLine} {end_mode(); BEGIN S_TEXT;} |
|
|
} |
} |
|
|
<S_ANSWER>{ |
<S_ANSWER>{ |