+%{
+ int lineno IF_LINT (= 0);
+ char *outname = NULL;
+%}
+
+"@output ".*\n {
+ char const *file_name = yytext + sizeof "@output " - 1;
+ yytext[yyleng - 1] = '\0';
+
+ /* Decode special file names. They include the directory part,
+ contrary to their "free" occurrences, used for issuing #includes,
+ which must not include the directory part. */
+
+ if (*file_name == '@')
+ {
+ if (strcmp (file_name, "@output_header_name@") == 0)
+ file_name = spec_defines_file;
+ else if (strcmp (file_name, "@output_parser_name@") == 0)
+ file_name = parser_file_name;
+ else
+ fatal ("invalid token in skeleton: %s", yytext);
+ }
+ if (outname)
+ {
+ free (outname);
+ xfclose (yyout);
+ }
+ outname = xstrdup (file_name);
+ yyout = xfopen (outname, "w");
+ lineno = 1;
+}
+
+"@@" fputc ('@', yyout);
+"@{" fputc ('[', yyout);
+"@}" fputc (']', yyout);
+
+"@oline@" fprintf (yyout, "%d", lineno + 1);
+"@ofile@" QPUTS (outname);
+"@dir_prefix@" QPUTS (dir_prefix);
+"@output_parser_name@" BASE_QPUTS (parser_file_name);
+"@output_header_name@" BASE_QPUTS (spec_defines_file);
+
+ /* This pattern must not match more than the previous @ patterns. */
+@[^{}@\n]* fatal ("invalid @ in skeleton: %s", yytext);
+\n lineno++; ECHO;
+[^@\n]+ ECHO;
+
+<<EOF>> {
+ if (outname)
+ {
+ free (outname);
+ xfclose (yyout);
+ }
+ return EOF;
+}