(flex.info.gz) Specify Reentrant
Info Catalog
(flex.info.gz) Reentrant Detail
(flex.info.gz) Reentrant Detail
(flex.info.gz) Extra Reentrant Argument
19.4.1 Declaring a Scanner As Reentrant
---------------------------------------
%option reentrant (-reentrant) must be specified.
Notice that `%option reentrant' is specified in the above example
( Reentrant Example. Had this option not been specified, `flex'
would have happily generated a non-reentrant scanner without
complaining. You may explicitly specify `%option noreentrant', if you
do _not_ want a reentrant scanner, although it is not necessary. The
default is to generate a non-reentrant scanner.
Info Catalog
(flex.info.gz) Reentrant Detail
(flex.info.gz) Reentrant Detail
(flex.info.gz) Extra Reentrant Argument
automatically generated byinfo2html