DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH
 

(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