(flex.info)Specify Reentrant


Next: Extra Reentrant Argument Prev: Reentrant Detail Up: Reentrant Detail
Enter node , (file) or (file)node

19.4.1 Declaring a Scanner As Reentrant
---------------------------------------

%option reentrant (-reentrant) must be specified.

   Notice that '%option reentrant' is specified in the above example
(Note: 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.


automatically generated by info2www version 1.2.2.9