summaryrefslogtreecommitdiff
path: root/support/splint/cweb/so.w
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
committerNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
commit0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch)
tree416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/cweb/so.w
parentfdb18507cd80dc17f5a5256153d34668b4f4e61c (diff)
CTAN sync 202010120303
Diffstat (limited to 'support/splint/cweb/so.w')
-rw-r--r--support/splint/cweb/so.w835
1 files changed, 835 insertions, 0 deletions
diff --git a/support/splint/cweb/so.w b/support/splint/cweb/so.w
new file mode 100644
index 0000000000..d7a7696b8c
--- /dev/null
+++ b/support/splint/cweb/so.w
@@ -0,0 +1,835 @@
+@q Copyright (c) 1990 The Regents of the University of California. @>
+@q All rights reserved. @>
+
+@q This code is derived from software contributed to Berkeley by @>
+@q Vern Paxson. @>
+
+@q The United States Government has rights in this work pursuant @>
+@q to contract no. DE-AC03-76SF00098 between the United States @>
+@q Department of Energy and the University of California. @>
+
+@q This file is part of SPLinT. @>
+
+@q Redistribution and use in source and binary forms, with or without @>
+@q modification, are permitted provided that the following conditions @>
+@q are met: @>
+
+@q 1. Redistributions of source code must retain the above copyright @>
+@q notice, this list of conditions and the following disclaimer. @>
+@q 2. Redistributions in binary form must reproduce the above copyright @>
+@q notice, this list of conditions and the following disclaimer in the @>
+@q documentation and/or other materials provided with the distribution. @>
+
+@q Neither the name of the University nor the names of its contributors @>
+@q may be used to endorse or promote products derived from this software @>
+@q without specific prior written permission. @>
+
+@q THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR @>
+@q IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED @>
+@q WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR @>
+@q PURPOSE. @>
+
+@**The lexer for \ifx\flex\UNDEFINED\.{flex}\else\flex\ \fi syntax.
+\ifx\flex\UNDEFINED
+ \input limbo.sty
+ \input grabstates.sty
+ \immediate\openout\stlist=fil_states.h
+\fi
+The original lexer for \flex\ grammar relies on a few rules that use `trailing context'.
+The lexing mechanism implemented by \splint\ cannot process such rules properly in general.
+The rules used by \flex\ match fixed-length trailing context only, which makes it possible
+to replace them with ordinary patterns and use |yyless()| in the actions.
+@(fil.ll@>=
+@G
+%{@> @<Preamble for \flex\ lexer@> @=%}
+ @> @<Options for \flex\ input lexer@> @=
+ @> @<Additional options for \flex\ input lexer@> @=
+ @> @<State definitions for \flex\ input lexer@> @=
+ @> @<Definitions for \flex\ input lexer@> @=
+%%
+ @> @<Postamble for \flex\ input lexer@> @=
+ @> @<Patterns for \flex\ lexer@> @=
+%%
+ @> @<Auxilary code for \flex\ lexer@> @=
+@g
+
+@ @<Preamble for \flex\ lexer@>=
+
+@ There are a few options that are necessary to ensure that the lexer
+functions properly. Some of them (like \.{caseless}) directly
+affect the behavior of the scanner, others (e.g.~\.{noyy\_top\_state})
+prevent generation of unnecessary code.
+@<Options for \flex\ input lexer@>=
+@G
+%option caseless nodefault stack noyy_top_state
+%option nostdinit
+@g
+
+@ @<Additional options for \flex\ input lexer@>=
+@G
+%option bison-bridge
+%option noyywrap nounput noinput reentrant
+%option debug
+%option stack
+%option outfile="fil.c"
+@g
+
+@*1 Regular expression and state definitions.
+The lexer uses a large number of states to control its operation. Both
+section~1 and section~2 rules rely on the scanner being in the
+appropriate state. Otherwise (see \.{symbols.sty} example) the lexer
+may parse the same fragment in a wrong context.
+@<State definitions for \flex\ input lexer@>=
+@G
+%x SECT2 SECT2PROLOG SECT3 CODEBLOCK PICKUPDEF SC CARETISBOL NUM QUOTE
+%x FIRSTCCL CCL ACTION RECOVER COMMENT ACTION_STRING PERCENT_BRACE_ACTION
+%x OPTION LINEDIR CODEBLOCK_MATCH_BRACE
+%x GROUP_WITH_PARAMS
+%x GROUP_MINUS_PARAMS
+%x EXTENDED_COMMENT
+%x COMMENT_DISCARD
+
+@ Somewhat counterintuitively, \flex\ definitions do not {\it always\/} have to be
+fully formed regular expressions. For example, after
+$$
+\hbox to 3in{\flexrenstyle{BOGUS}\hfil\.{\^[a-}}
+$$
+one can form the following action:
+$$
+\hbox to 3in{\flexrenstyle{BOGUS}\.{t]}\hfil\.{;}}
+$$
+although without the `\.{\^}' in the definition of
+`\flexrenstyle{BOGUS}' \flex\ would have put a `\.{)}' inside the
+character class. We will assume such (rather counterproductive) tricks
+are not used. If the definition is not a well-formed regular
+expression the pretty printing will be suspended.
+@<Definitions for \flex\ input lexer@>=
+@G(fs1)
+WS [[:blank:]]+
+OPTWS [[:blank:]]*
+NOT_WS [^[:blank:]\r\n]
+
+NL \r?\n
+
+NAME ([[:alpha:]_][[:alnum:]_-]*)
+NOT_NAME [^[:alpha:]_*\n]+
+
+SCNAME {NAME}
+
+ESCSEQ (\\([^\n]|[0-7]{1,3}|x[[:xdigit:]]{1,2}))
+
+FIRST_CCL_CHAR ([^\\\n]|{ESCSEQ})
+CCL_CHAR ([^\\\n\]]|{ESCSEQ})
+CCL_EXPR ("[:"^?[[:alpha:]]+":]")
+
+LEXOPT [porkacne]
+
+M4QSTART "[["
+M4QEND "]]"
+
+@ @<Postamble for \flex\ input lexer@>=
+
+@*1 Regular expressions for \flex\ input scanner.
+The code below treats \prodstyle{\%pointer} and \prodstyle{\%array} the same way it treats
+\prodstyle{\%option} while typesetting.
+@<Patterns for \flex\ lexer@>=
+@G(fs2)
+<INITIAL>{
+ ^{WS} {@> @[TeX_( "/flindented@@codetrue/yyBEGIN{CODEBLOCK}/yylexnext" );@]@=}
+ ^"/*" {@> @[TeX_( "/yypushstate{COMMENT}/yylexnext" );@]@=}
+ ^#{OPTWS}line{WS} {@> @[TeX_( "/yypushstate{LINEDIR}/yylexnext" );@]@=}
+ ^"%s"{NAME}? {@> @[TeX_( "/yylexreturnptr{SCDECL}" );@]@=}
+ ^"%x"{NAME}? {@> @[TeX_( "/yylexreturnptr{XSCDECL}" );@]@=}
+ ^"%{".*{NL} {@> @<Start a \Cee\ code section@> @=}
+
+ ^"%top"[[:blank:]]*"{"[[:blank:]]*{NL} {@> @<Begin the \prodstyle{\%top} directive@> @=}
+ ^"%top".* {@> @[TeX_( "/yyfatal{malformed '/harmlesscomment top' directive}" );@] @=}
+
+ {WS} {@> @[;@]/* discard */ @=}
+
+ ^"%%".* {@> @<Start section 2@> @=}
+
+ ^"%pointer".*{NL} {@> @[TeX_( "/flinc@@linenum/yylexreturn{POINTER_OP}" );@]@=}
+ ^"%array".*{NL} {@> @[TeX_( "/flinc@@linenum/yylexreturn{ARRAY_OP}" );@]@=}
+
+ ^"%option" {@> @[TeX_( "/yyBEGIN{OPTION}/yylexreturn{OPTION_OP}" );@]@=}
+
+ ^"%"{LEXOPT}{OPTWS}[[:digit:]]*{OPTWS}{NL} {@> @[TeX_( "/flinc@@linenum/yyflexoptreturn{OPT_DEPRECATED}" );@]@=}
+ ^"%"{LEXOPT}{WS}.*{NL} {@> @[TeX_( "/flinc@@linenum/yyflexoptreturn{OPT_DEPRECATED}" );@]@=}
+
+ ^"%"[^porksexcan{}].* {@> @[TeX_( "/yyfatal{unrecognized '/harmlesscomment' directive: /the/yytext}" );@] @=}
+
+ ^{NAME} {@> @<Copy the name and start a definition@> @=}
+ {SCNAME} @> @[TeX_( "/RETURNNAME" );@] @=
+ ^{OPTWS}{NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]/* allows blank lines in section 1 */@=}
+ {OPTWS}{NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]/* maybe end of comment line */@=}
+}
+
+@ @<Start a \Cee\ code section@>=
+ @[TeX_( "/flinc@@linenum" );@]@;
+ @[TeX_( "/flindented@@codefalse/yyBEGIN{CODEBLOCK}" );@]@;
+ @[TeX_( "/yylexnext" );@]@;
+
+@ Ignore setting |brace_start_line| as it is only used internally to report errors.
+@<Begin the \prodstyle{\%top} directive@>=
+ @[TeX_( "/flinc@@linenum" );@]@;
+ @[TeX_( "/def/flbrace@@depth{1}" );@]@;
+ @[TeX_( "/yypushstate{CODEBLOCK_MATCH_BRACE}/yylexnext" );@]@;
+
+@ @<Start section 2@>=
+ @[TeX_( "/def/flsectnum{2}/def/flbracelevel{0}" );@]@;
+ @[TeX_( "/yyBEGIN{SECT2PROLOG}/yylexreturnptr{SECTEND}" );@]@;
+
+@ @<Copy the name and start a definition@>=
+ @[TeX_( "/fldidadeffalse/yyBEGIN{PICKUPDEF}" );@]@;
+ @[TeX_( "/yylexreturnsym{DEF_OP}" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<COMMENT>{
+ "*/" {@> @[TeX_( "/yypopstate/yylexnext" );@]@=}
+ "*" {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@]@=}
+ [^*\n] {@> @[TeX_( "/yylexnext" );@]@=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]@=}
+}
+
+/* This is the same as \flexsnstyle{COMMENT}, but is discarded rather than output. */
+<COMMENT_DISCARD>{
+ "*/" {@> @[TeX_( "/yypopstate/yylexnext" );@]@=}
+ "*" {@> @[TeX_( "/yylexnext" );@]@=}
+ [^*\n] {@> @[TeX_( "/yylexnext" );@]@=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]@=}
+}
+
+<EXTENDED_COMMENT>{
+ ")" {@> @[TeX_( "/yypopstate/yylexnext" );@]@=}
+ [^\n\)]+ {@> @[TeX_( "/yylexnext" );@]@=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]@=}
+}
+
+<LINEDIR>{
+ \n {@> @[TeX_( "/yypopstate/yylexnext" );@]@=}
+ [[:digit:]]+ {@> @[TeX_( "/fllinenum=/number/yytext/yylexnext" );@]@=}
+ \"[^"\n]*\" {@> @[TeX_( "/yylexnext" );@] /* ignore the file name in the line directives */ @=}
+ . {@> @[TeX_( "/yylexnext" );@] /* ignore spurious characters */ @=}
+}
+
+<CODEBLOCK>{
+ ^"%}".*{NL} {@> @[TeX_( "/flinc@@linenum/yyBEGIN{INITIAL}/yylexnext" );@]@=}
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@]@=}
+ . {@> @[TeX_( "/yylexnext" );@]@=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/ifflindented@@code/yyBEGIN{INITIAL}/fi/yylexnext" );@]@=}
+}
+
+<CODEBLOCK_MATCH_BRACE>{
+ "}" {@> @<Pop state if code braces match@> @=}
+ "{" {@> @[TeX_( "/flinc/flbrace@@depth/yylexnext" );@] @=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@]@=}
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@]@=}
+ [^{}\r\n] {@> @[TeX_( "/yylexnext" );@]@=}
+ <<EOF>> {@> @[TeX_( "/yyfatal{Unmatched '/lbchar'}" );@] @=}
+}
+
+@ @<Pop state if code braces match@>=
+ @[TeX_( "/fldec/flbrace@@depth" );@]@;
+ @[TeX_( "/ifnum/flbrace@@depth=/z@@/relax" );@]@;
+ @[TeX_( " /yypopstate/yylexreturnxchar/n" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /yylexnext" );@]@;
+ @[TeX_( "/fi" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<PICKUPDEF>{
+ {WS} {@> @[TeX_( "/yylexnext" );@]@=}
+ {NOT_WS}[^\r\n]* {@> @<Skip trailing whitespace, save the definition@> @=}
+ {NL} {@> @<Complain if not inside a definition, continue otherwise@> @=}
+}
+
+@ @<Skip trailing whitespace, save the definition@>=
+ @[TeX_( "/edef/flnmdef{{/the/yytext}{/the/yytextpure}{/the/yyfmark}{/the/yysmark}}" );@]@;
+ @[TeX_( "/fldidadeftrue/yylexnext" );@]@;
+
+@ @<Complain if not inside a definition, continue otherwise@>=
+ @[TeX_( "/iffldidadef" );@]@;
+ @[TeX_( " /yylval/expandafter{/flnmdef}" );@]@;
+ @[TeX_( " /def/next{/flinc@@linenum/yyBEGIN{INITIAL}/yylexreturn{RE_DEF}}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /def/next{/yyfatal{incomplete name definition}}" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<OPTION>{
+ {NL} {@> @[TeX_( "/flinc@@linenum/yyBEGIN{INITIAL}/yylexnext" );@] @=}
+ {WS} {@> @[TeX_( "/floption@@sensetrue/yylexnext" );@] @=}
+
+ "=" {@> @[TeX_( "/yylexreturnchar" );@]@=}
+
+ no {@> @<Toggle |option_sense|@> @=};
+
+ 7bit {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ 8bit {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ align {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ always-interactive {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ array {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ ansi-definitions {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ ansi-prototypes {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ backup {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ batch {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ bison-bridge {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ bison-locations {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ "c++" {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ caseful|case-sensitive {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ caseless|case-insensitive {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ debug {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ default {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ ecs {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ fast {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ full {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ input {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ interactive {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ lex-compat {@> @<Set |lex_compat|@> @=}
+ posix-compat {@> @<Set |posix_compat|@> @=}
+ main {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ meta-ecs {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ never-interactive {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ perf-report {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ pointer {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ read {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ reentrant {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ reject {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ stack {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ stdinit {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ stdout {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ unistd {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ unput {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ verbose {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ warn {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yylineno {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yymore {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yywrap {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ yy_push_state {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yy_pop_state {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yy_top_state {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ yy_scan_buffer {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yy_scan_bytes {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yy_scan_string {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ yyalloc {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyrealloc {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyfree {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ yyget_debug {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_debug {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_extra {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_extra {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_leng {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_text {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_lineno {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_lineno {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_in {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_in {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_out {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_out {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_lval {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_lval {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyget_lloc {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+ yyset_lloc {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ extra-type {@> @[TeX_( "/yylexreturn{OPT_EXTRA_TYPE}" );@]@=}
+ outfile {@> @[TeX_( "/yylexreturn{OPT_OUTFILE}" );@]@=}
+ prefix {@> @[TeX_( "/yylexreturn{OPT_PREFIX}" );@]@=}
+ yyclass {@> @[TeX_( "/yylexreturn{OPT_YYCLASS}" );@]@=}
+ header(-file)? {@> @[TeX_( "/yylexreturn{OPT_HEADER}" );@]@=}
+ tables-file {@> @[TeX_( "/yylexreturn{OPT_TABLES}" );@]@=}
+ tables-verify {@> @[TeX_( "/yyflexoptreturn{OPT_OTHER}" );@]@=}
+
+ \"[^"\n]*\" {@> @[TeX_( "/edef/flnmstr{{/the/yytext}{/the/yytextpure}}/yylexreturnsym{NAME}" );@]@=}
+
+ (([a-mo-z]|n[a-np-z])[[:alpha:]\-+]*)|. {@> @[TeX_( "/yyfatal{unrecognized /%option: /the/yytext}" );@]@=}
+}
+
+@ @<Toggle |option_sense|@>=
+ @[TeX_( "/iffloption@@sense" );@]@;
+ @[TeX_( " /floption@@sensefalse" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /floption@@sensetrue" );@]@;
+ @[TeX_( "/fi/yylexnext" );@]@;
+
+@ @<Set |lex_compat|@>=
+ @[TeX_( "/iffloption@@sense" );@]@;
+ @[TeX_( " /fllex@@compattrue" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /fllex@@compatfalse" );@]@;
+ @[TeX_( "/fi/yyflexoptreturn{OPT_OTHER}" );@]@;
+
+@ @<Set |posix_compat|@>=
+ @[TeX_( "/iffloption@@sense" );@]@;
+ @[TeX_( " /flposix@@compattrue" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /flposix@@compatfalse" );@]@;
+ @[TeX_( "/fi/yyflexoptreturn{OPT_OTHER}" );@]@;
+
+@ The \flexsnstyle{RECOVER} state is never used for typesetting and is only added for completeness.
+@<Patterns for \flex\ lexer@>=
+@G(fs2)
+<RECOVER>.*{NL} {@> @[TeX_( "/flinc@@linenum/yyBEGIN{INITIAL}/yylexnext" );@] @=}
+
+@ Like \bison, \flex\ allows insertion of \Cee\ code in the middle of the input file.
+\saveparseoutputtrue
+@<Patterns for \flex\ lexer@>=
+@G(fs2)
+<SECT2PROLOG>{
+ ^"%{".* {@> @<Consume the brace and increment the brace level@> @=}
+ ^"%}".* {@> @<Consume the brace and decrement the brace level@> @=}
+
+ ^{WS}.* {@> @[TeX_( "/yylexnext" );@]@=}
+
+ ^{NOT_WS}.* {@> @<Begin section 2, prepare to reread, or ignore braced code@> @=}
+ . {@> @[TeX_( "/yylexnext" );@] @=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@] @=}
+
+ <<EOF>> {@> @[TeX_( "/def/flsectnum{0}/yyterminate" );@] @=}
+}
+
+@ All the code inside is ignored.
+\saveparseoutputfalse
+@<Consume the brace and increment the brace level@>=
+ @[TeX_( "/flinc/flbracelevel/yyless{2}/yylexnext" );@]@;
+
+@ @<Consume the brace and decrement the brace level@>=
+ @[TeX_( "/fldec/flbracelevel/yyless{2}/yylexnext" );@]@;
+
+@ @<Begin section 2, prepare to reread, or ignore braced code@>=
+ @[TeX_( "/ifnum/flbracelevel>/z@@" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /def/next{/yysetbol{/@@ne}/yyBEGIN{SECT2}/yyless{0}/yylexnext}" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ A pattern below (for the character class processing) had to be broken into two lines.
+A symbol ($\odot$@^$\odot$ separator, \flex@>) was inserted to indicate that a break had occured. The macros for \flex\
+typesetting use a different mechanism from that of \bison\ macros and allow typographic
+corrections to be applied to sections of the \flex\ code represented by various nonterminals.
+These corrections can also be delayed. For the details, an interested reader may consult
+\.{yyunion.sty}.
+@<Patterns for \flex\ lexer@>=
+@G(fs2)
+<SECT2>{
+ ^{OPTWS}{NL} {@> @[TeX_( "/flinc@@linenum/yylexnext" );@] /* allow blank lines in section 2 */ @=}
+ ^{OPTWS}"%{" {@> @<Start braced code in section 2@> @=}
+ ^{OPTWS}"<" {@> @[TeX_( "/ifflsf@@skip@@ws/else/yyBEGIN{SC}/fi/yylexreturnraw<" );@] @=}
+ ^{OPTWS}"^" {@> @[TeX_( "/yylexreturnraw^" );@] @=}
+ \" {@> @[TeX_( "/yyBEGIN{QUOTE}/yylexreturnxchar/flquotechar" );@] @=}
+ "{"[[:digit:]] {@> @<Process a repeat pattern@> @=}
+ "$"([[:blank:]]|{NL}) {@> @[TeX_( "/yyless{1}/yylexreturnraw/$" );@] @=}
+
+ {WS}"%{" {@> @<Process braced code in the middle of section 2@> @=}
+ {WS}"|".*{NL} {@> @<Process a deferred action@> @=}
+ ^{WS}"/*" {@> @<Process a comment inside a pattern@> @=}
+ ^{WS} @> ; /* allow indented rules */@=
+ {WS} {@> @<Decide whether to start an action or skip whitespace inside a rule@> @=}
+
+ {OPTWS}{NL} {@> @<Finish the line and/or action@> @=}
+
+ ^{OPTWS}"<<EOF>>" |
+ "<<EOF>>" {@> @[TeX_( "/yylexreturnptr{EOF_OP}" );@] @=}
+
+ ^"%%".* {@> @<Start section 3@> @=}
+@t}\vb{\insertraw{\insrulealign{\rulealigntemplate}{\cr\egroup\egroup}}}{@>
+ "["@>@t}\vb{\insertraw{\insparensalign{&}{}}}{@>@=({FIRST_CCL_CHAR}|{CCL_EXPR})@>@t}\vb{\insertraw{\insparensalign{\rlap{$\odot$}\cr&}{}}}{@>@=({CCL_CHAR}|{CCL_EXPR})* {@> @<Start processing a character class@> @=}
+
+ "{-}" {@> @[TeX_( "/yylexreturn{CCL_OP_DIFF}" );@] @=}
+ "{+}" {@> @[TeX_( "/yylexreturn{CCL_OP_UNION}" );@] @=}
+
+ "{"{NAME}"}"[[:space:]]? {@> @<Process a named expression after checking for whitespace at the end@> @=}
+
+ "/*" {@> @<Decide if this is a comment@> @=}
+ "(?#" {@> @<Determine if this is extended syntax or return a parenthesis@> @=}
+ "(?" {@> @<Determine if this is a parametric group or return a parenthesis@> @=}
+ "(" {@> @[TeX_( "/flsf@@push/yylexreturnraw/(" );@] @=}
+ ")" {@> @[TeX_( "/flsf@@pop/yylexreturnraw/)" );@] @=}
+
+ [/|*+?.(){}] {@> @[TeX_( "/yylexreturnchar" );@] @=}
+ . {@> @[TeX_( "/RETURNCHAR" );@] @=}
+}
+
+@ @<Start braced code in section 2@>=
+ @[TeX_( "/def/flbracelevel{1}" );@]@;
+ @[TeX_( "/indented@@codefalse/doing@@codeblocktrue" );@]@;
+ @[TeX_( "/yyBEGIN{PERCENT_BRACE_ACTION}" );@]@;
+ @[TeX_( "/yylexnext" );@]@;
+
+@ @<Process a repeat pattern@>=
+ @[TeX_( "/yyless{1}/yyBEGIN{NUM}" );@]@;
+ @[TeX_( "/iffllex@@compat" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{BEGIN_REPEAT_POSIX}}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /ifflposix@@compat" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{BEGIN_REPEAT_POSIX}}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{BEGIN_REPEAT_FLEX}}" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Process braced code in the middle of section 2@>=
+ @[TeX_( "/def/flbracelevel{1}" );@]@;
+ @[TeX_( "/yyBEGIN{PERCENT_BRACE_ACTION}" );@]@;
+ @[TeX_( "/ifflin@@rule" );@]@;
+ @[TeX_( " /fldoing@@rule@@actiontrue" );@]@;
+ @[TeX_( " /flin@@rulefalse" );@]@;
+ @[TeX_( " /def/next{/yylexreturnxchar/n}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ This action has been changed to accomodate the new grammar. The separator (\.{\yl})
+is treated as an ordinary (empty) action.
+@<Process a deferred action@>=
+ @[TeX_( "/ifflsf@@skip@@ws" );@]@;/* whitespace ignored, still inside a pattern */
+ @[TeX_( " /yylessafter{|}" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /flinc@@linenum" );@]@;
+ @[TeX_( " /fldoing@@rule@@actiontrue" );@]@;
+ @[TeX_( " /flin@@rulefalse" );@]@;
+ @[TeX_( " /flcontinued@@actiontrue" );@]@;
+ @[TeX_( " /unput{/n}" );@]@;
+ @[TeX_( " /yyBEGIN{ACTION}" );@]@;
+ @[TeX_( " /edef/next{/nx/yylexreturnxchar/n}" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Process a comment inside a pattern@>=
+ @[TeX_( "/ifflsf@@skip@@ws" );@]@;
+ @[TeX_( " /yypushstate{COMMENT_DISCARD}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /unput{//*}" );@]@;
+ @[TeX_( " /def/flbracelevel{0}" );@]@;
+ @[TeX_( " /flcontinued@@actionfalse" );@]@;
+ @[TeX_( " /yyBEGIN{ACTION}" );@]@;
+ @[TeX_( "/fi/yylexnext" );@]@;
+
+@ @<Decide whether to start an action or skip whitespace inside a rule@>=
+ @[TeX_( "/ifflsf@@skip@@ws" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /def/flbracelevel{0}" );@]@;
+ @[TeX_( " /flcontinued@@actionfalse" );@]@;
+ @[TeX_( " /yyBEGIN{ACTION}" );@]@;
+ @[TeX_( " /ifflin@@rule" );@]@;
+ @[TeX_( " /fldoing@@rule@@actiontrue" );@]@;
+ @[TeX_( " /flin@@rulefalse" );@]@;
+ @[TeX_( " /def/next{/yylexreturnxchar/n}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Finish the line and/or action@>=
+ @[TeX_( "/ifflsf@@skip@@ws" );@]@;
+ @[TeX_( " /flinc@@linenum" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /def/flbracelevel{0}" );@]@;
+ @[TeX_( " /flcontinued@@actionfalse" );@]@;
+ @[TeX_( " /yyBEGIN{ACTION}" );@]@;
+ @[TeX_( " /unput{/n}" );@]@;
+ @[TeX_( " /ifflin@@rule" );@]@;
+ @[TeX_( " /fldoing@@rule@@actiontrue" );@]@;
+ @[TeX_( " /flin@@rulefalse" );@]@;
+ @[TeX_( " /def/next{/yylexreturnxchar/n}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /let/next/yylexnext" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Start section 3@>=
+ @[TeX_( "/def/flsectnum{3}" );@]@;
+ @[TeX_( "/yyBEGIN{SECT3}" );@]@;
+ @[TeX_( "/yyterminate" );@]@;
+
+@ @<Start processing a character class@>=
+ @[TeX_( "/edef/flnmstr{/the/yytext}" );@]@;
+ @[TeX_( "/yyless{1}" );@]@;
+ @[TeX_( "/yyBEGIN{FIRSTCCL}" );@]@;
+ @[TeX_( "/yylexreturnraw[" );@]@;
+
+@ Return a special \prodstyle{CHAR} and return the whitespace back into the input.
+The braces and the possible trailing whitespace will be dealt with by the typesetting code.
+@<Process a named expression after checking for whitespace at the end@>=
+ @[TeX_( "/edef/flend@@ch{/the/yytextlastchar}" );@]@;
+ @[TeX_( "/ifnum/flend@@ch=`/}/relax" );@]@;
+ @[TeX_( " /flend@@is@@wsfalse" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /flend@@is@@wstrue" );@]@;
+ @[TeX_( "/fi" );@]@;
+ @[TeX_( "/toksa/expandafter{/astformat@@flnametok}" );@]@;
+ @[TeX_( "/let/astformat@@flnametok/empty" );@]@;
+ @[TeX_( "/edef/next{/yylval{{/nx/flnametok{/the/yytext}{/the/toksa}}{}{/the/yyfmark}{/the/yysmark}}}/next" );@]@;
+ @[TeX_( "/ifflend@@is@@ws" );@]@;
+ @[TeX_( " /unput{ }" );@]@;
+ @[TeX_( "/fi" );@]@;
+ @[TeX_( "/yylexreturn{CHAR}" );@]@;
+
+@ @<Decide if this is a comment@>=
+ @[TeX_( "/ifflsf@@skip@@ws" );@]@;
+ @[TeX_( " /yypushstate{COMMENT_DISCARD}" );@]@;
+ @[TeX_( " /yylexnext" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /yyless{1}" );@]@;
+ @[TeX_( " /yylexreturnraw//" );@]@;
+ @[TeX_( "/fi" );@]@;
+
+@ @<Determine if this is extended syntax or return a parenthesis@>=
+ @[TeX_( "/iffllex@@compat" );@]@;
+ @[TeX_( " /def/next{/yyless{1}/flsf@@push/yylexreturnraw(}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /ifflposix@@compat" );@]@;
+ @[TeX_( " /def/next{/yyless{1}/flsf@@push/yylexreturnraw(}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /def/next{/yypushstate{EXTENDED_COMMENT}}" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+@ @<Determine if this is a parametric group or return a parenthesis@>=
+ @[TeX_( "/flsf@@push" );@]@;
+ @[TeX_( "/iffllex@@compat" );@]@;
+ @[TeX_( " /def/next{/yyless{1}}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /ifflposix@@compat" );@]@;
+ @[TeX_( " /def/next{/yyless{1}}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /def/next{/yyBEGIN{GROUP_WITH_PARAMS}}" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+ @[TeX_( "/yylexreturnraw(" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<SC>{
+ {OPTWS}{NL}{OPTWS} {@> @[TeX_( "/flinc@@linenum" );@] /* allow blank lines and continuations */@+@=}@>
+ [,*] {@> @[TeX_( "/yylexreturnchar" );@] @=}@>
+ ">" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexreturnchar" );@] @=}
+ ">"^ {@> @[TeX_( "/yyBEGIN{CARETISBOL}/yyless{1}/yylexreturnraw>" );@] @=}
+ {SCNAME} {@> @[TeX_( "/RETURNNAME" );@] @=}
+ . {@> @[TeX_( "/yyfatal{bad <start condition>: /the/yytext}" );@] @=}
+}
+
+<CARETISBOL>"^" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexreturnchar" );@] @=}
+
+<QUOTE>{
+ [^"\n] {@> @[TeX_( "/RETURNCHAR" );@] @=}
+ \" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexreturnxchar/flquotechar" );@] @=}
+
+ {NL} {@> @[TeX_( "/yyfatal{missing quote}" );@] @=}
+}
+
+<GROUP_WITH_PARAMS>{
+ ":" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexnext" );@] @=}
+ "-" {@> @[TeX_( "/yyBEGIN{GROUP_MINUS_PARAMS}/yylexnext" );@] @=}
+ i {@> @[TeX_( "/flsf@@case@@instrue/yylexnext" );@] @=}
+ s {@> @[TeX_( "/flsf@@dot@@alltrue/yylexnext" );@] @=}
+ x {@> @[TeX_( "/flsf@@skip@@wstrue/yylexnext" );@] @=}
+}
+
+<GROUP_MINUS_PARAMS>{
+ ":" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexnext" );@] @=}
+ i {@> @[TeX_( "/flsf@@case@@insfalse/yylexnext" );@] @=}
+ s {@> @[TeX_( "/flsf@@dot@@allfalse/yylexnext" );@] @=}
+ x {@> @[TeX_( "/flsf@@skip@@wsfalse/yylexnext" );@] @=}
+}
+
+<FIRSTCCL>{
+ "^"[^-\]\n] {@> @[TeX_( "/yyBEGIN{CCL}/yyless{1}/yylexreturnraw^" );@] @=}
+ "^"("-"|"]") {@> @[TeX_( "/yyless{1}/yylexreturnraw^" );@] @=}
+ . {@> @[TeX_( "/yyBEGIN{CCL}/RETURNCHAR" );@] @=}
+}
+
+<CCL>{
+ -[^\]\n] {@> @[TeX_( "/yyless{1}/yylexreturnraw-" );@] @=}
+ [^\]\n] {@> @[TeX_( "/RETURNCHAR" );@] @=}
+ "]" {@> @[TeX_( "/yyBEGIN{SECT2}/yylexreturnchar" );@] @=}
+ .|{NL} {@> @[TeX_( "/yyfatal{bad character class}" );@] @=}
+}
+
+<FIRSTCCL,CCL>{
+ "[:alnum:]" {@> @[TeX_( "/xcclreturn{CCE_ALNUM}" );@] @=}
+ "[:alpha:]" {@> @[TeX_( "/xcclreturn{CCE_ALPHA}" );@] @=}
+ "[:blank:]" {@> @[TeX_( "/xcclreturn{CCE_BLANK}" );@] @=}
+ "[:cntrl:]" {@> @[TeX_( "/xcclreturn{CCE_CNTRL}" );@] @=}
+ "[:digit:]" {@> @[TeX_( "/xcclreturn{CCE_DIGIT}" );@] @=}
+ "[:graph:]" {@> @[TeX_( "/xcclreturn{CCE_GRAPH}" );@] @=}
+ "[:lower:]" {@> @[TeX_( "/xcclreturn{CCE_LOWER}" );@] @=}
+ "[:print:]" {@> @[TeX_( "/xcclreturn{CCE_PRINT}" );@] @=}
+ "[:punct:]" {@> @[TeX_( "/xcclreturn{CCE_PUNCT}" );@] @=}
+ "[:space:]" {@> @[TeX_( "/xcclreturn{CCE_SPACE}" );@] @=}
+ "[:upper:]" {@> @[TeX_( "/xcclreturn{CCE_UPPER}" );@] @=}
+ "[:xdigit:]" {@> @[TeX_( "/xcclreturn{CCE_XDIGIT}" );@] @=}
+
+ "[:^alnum:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_ALNUM}" );@] @=}
+ "[:^alpha:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_ALPHA}" );@] @=}
+ "[:^blank:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_BLANK}" );@] @=}
+ "[:^cntrl:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_CNTRL}" );@] @=}
+ "[:^digit:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_DIGIT}" );@] @=}
+ "[:^graph:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_GRAPH}" );@] @=}
+ "[:^lower:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_LOWER}" );@] @=}
+ "[:^print:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_PRINT}" );@] @=}
+ "[:^punct:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_PUNCT}" );@] @=}
+ "[:^space:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_SPACE}" );@] @=}
+ "[:^upper:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_UPPER}" );@] @=}
+ "[:^xdigit:]" {@> @[TeX_( "/xcclreturn{CCE_NEG_XDIGIT}" );@] @=}
+ {CCL_EXPR} {@> @[TeX_( "/yyfatal{bad character class expression: /the/yytext}" );@] @=}
+}
+
+<NUM>{
+ [[:digit:]]+ {@> @[TeX_( "/yylexreturnval{NUMBER}" );@] @=}
+
+ "," {@> @[TeX_( "/yylexreturnchar" );@] @=}
+ "}" {@> @<Finish the repeat pattern@> @=}
+ . {@> @[TeX_( "/yyfatal{bad character inside {}'s}" );@] @=}
+
+ {NL} {@> @[TeX_( "/yyfatal{missing /nx/}}" );@] @=}
+}
+
+@ @<Finish the repeat pattern@>=
+ @[TeX_( "/yyBEGIN{SECT2}" );@]@;
+ @[TeX_( "/iffllex@@compat" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{END_REPEAT_POSIX}}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /ifflposix@@compat" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{END_REPEAT_POSIX}}" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /def/next{/yylexreturn{END_REPEAT_FLEX}}" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( "/fi/next" );@]@;
+
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<PERCENT_BRACE_ACTION>{
+ {OPTWS}"%}".* {@> @[TeX_( "/def/flbracelevel{0}/yylexnext" );@] @=}
+
+ <ACTION>"/*" {@> @[TeX_( "/yypushstate{COMMENT}/yylexnext" );@] @=}
+
+ <CODEBLOCK,ACTION>{
+ "reject" {@> @[TeX_( "/yylexnext" );@]@=}
+ "yymore" {@> @[TeX_( "/yylexnext" );@]@=}
+ }
+
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@]@=}
+ . {@> @[TeX_( "/yylexnext" );@]@=}
+ {NL} {@> @<Process a newline inside a braced group@> @=}
+}
+
+@ This actions has been modified to output \prodstyle{'\\n'}.
+@<Process a newline inside a braced group@>=
+ @[TeX_( "/flinc@@linenum" );@]@;
+ @[TeX_( "/ifnum/flbracelevel=/z@@" );@]@;
+ @[TeX_( " /iffldoing@@rule@@action" );@]@;
+ @[TeX_( " /yylexreturnxchar/n" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /yylexnext" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( " /fldoing@@rule@@actionfalse" );@]@;
+ @[TeX_( " /fldoing@@codeblockfalse" );@]@;
+ @[TeX_( " /yyBEGIN{SECT2}" );@]@;
+ @[TeX_( "/else" );@]@;
+ @[TeX_( " /iffldoing@@codeblock" );@]@;
+ @[TeX_( " /ifflindented@@code" );@]@;
+ @[TeX_( " /fldoing@@rule@@actionfalse" );@]@;
+ @[TeX_( " /fldoing@@codeblockfalse" );@]@;
+ @[TeX_( " /yyBEGIN{SECT2}" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( " /yylexnext" );@]@;
+ @[TeX_( "/fi" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+/* |reject| and |yymore()| are checked for above, in \flexsnstyle{PERCENT\_BRACE\_ACTION} */
+<ACTION>{
+ "{" {@> @[TeX_( "/flinc/flbracelevel/yylexnext" );@] @=}
+ "}" {@> @[TeX_( "/fldec/flbracelevel/yylexnext" );@] @=}
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@]@=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@]@=}
+ [^[:alpha:]_{}"'/\n\[\]]+ {@> @[TeX_( "/yylexnext" );@]@=}
+ [\[\]] {@> @[TeX_( "/yylexnext" );@]@=}
+ {NAME} {@> @[TeX_( "/yylexnext" );@]@=}
+ "'"([^'\\\n]|\\.)*"'" {@> @[TeX_( "/yylexnext" );@]@=}
+ \" {@> @[TeX_( "/yyBEGIN{ACTION_STRING}/yylexnext" );@]@=}
+ {NL} {@> @<Process a newline inside an action@> @=}
+ . {@> @[TeX_( "/yylexnext" );@]@=}
+}
+
+@ This actions has been modified to output \prodstyle{'\\n'}.
+@<Process a newline inside an action@>=
+ @[TeX_( "/flinc@@linenum" );@]@;
+ @[TeX_( "/ifnum/flbracelevel=/z@@" );@]@;
+ @[TeX_( " /iffldoing@@rule@@action" );@]@;
+ @[TeX_( " /yylexreturnxchar/n" );@]@;
+ @[TeX_( " /else" );@]@;
+ @[TeX_( " /yylexnext" );@]@;
+ @[TeX_( " /fi" );@]@;
+ @[TeX_( " /fldoing@@rule@@actionfalse" );@]@;
+ @[TeX_( " /yyBEGIN{SECT2}" );@]@;
+ @[TeX_( "/fi" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<ACTION_STRING>{
+ [^"\\\n]+ {@> @[TeX_( "/yylexnext" );@] @=}
+ \\. {@> @[TeX_( "/yylexnext" );@] @=}
+ {NL} {@> @[TeX_( "/flinc@@linenum/yyBEGIN{ACTION}/yylexnext" );@] @=}
+ \" {@> @[TeX_( "/yyBEGIN{ACTION}/yylexnext" );@] @=}
+ . {@> @[TeX_( "/yylexnext" );@] @=}
+}
+
+<COMMENT,COMMENT_DISCARD,ACTION,ACTION_STRING><<EOF>> {@> @[TeX_( "/yyfatal{EOF encountered inside an action}" );@] @=}
+
+<EXTENDED_COMMENT,GROUP_WITH_PARAMS,GROUP_MINUS_PARAMS><<EOF>> {@> @[TeX_( "/yyfatal{EOF encountered inside pattern}" );@] @=}
+
+<SECT2,QUOTE,FIRSTCCL,CCL>{ESCSEQ} {@> @<Process an escaped sequence@> @=}
+
+@ @<Process an escaped sequence@>=
+ @[TeX_( "/ifnum/YYSTART=/number/csname flexstate/parsernamespace FIRSTCCL/endcsname/relax" );@]@;
+ @[TeX_( " /yyBEGIN{CCL}" );@]@;
+ @[TeX_( "/fi" );@]@;
+ @[TeX_( "/RETURNCHAR" );@]@;
+
+@ @<Patterns for \flex\ lexer@>=
+@G(fs2)
+<SECT3>{
+ {M4QSTART} {@> @[TeX_( "/yylexnext" );@] @=}
+ {M4QEND} {@> @[TeX_( "/yylexnext" );@] @=}
+ [^\[\]\n]*(\n?) {@> @[TeX_( "/yylexnext" );@] @=}
+ (.|\n) {@> @[TeX_( "/yylexnext" );@] @=}
+ <<EOF>> {@> @[TeX_( "/def/flsectnum{0}/yyterminate" );@] @=}
+}
+
+<*>.|\n {@> @[TeX_( "/yyfatal{bad character: /the/yytext}" );@] @=}
+
+@ @<Auxilary code for \flex\ lexer@>=
+void define_all_states( void ) {
+ @<Collect state definitions for the \flex\ lexer@>@;
+}
+
+@ @<Collect state definitions for the \flex\ lexer@>=
+#define _register_name( name ) @[Define_State( #name, name )@]
+#include "fil_states.h"
+#undef _register_name
+