3 Scanner

The scanner reads in the input file and produces a list of tokens which it hands onto the parser. In addition, some input constructs may cause the scanner to modify some of FunnelWeb's options.

3.1 Basic Input File Processing
3.2 Special Sequences
3.3 Setting the Special Character
3.4 Inserting the Special Character into the Text
3.5 Inserting Arbitrary Characters into the Text
3.6 Comments
3.7 Quick Names
3.8 Inserting End of Line Markers
3.9 Suppressing End of Line Markers
3.10 Include Files
3.11 Pragmas
3.12 Pragma: Indentation
3.13 Pragma: Maximum Input Line Length
3.14 Pragma: Maximum Output File Line Length
3.15 Pragma: Typesetter
3.16 Freestanding Typesetter Directives
3.17 New Page Directives
3.18 Table of Contents
3.19 Vertical Skip
3.20 Title
3.21 Scanner/Parser Interface