GLL.Flags

Documentation

data Flags

Flags to influence the behaviour of the parser.

Constructors

Flags

Fields

• symbol_nodes :: Bool
• intermediate_nodes :: Bool
• edges :: Bool
• flexible_binarisation :: Bool
• max_errors :: Int
• do_select_test :: Bool

defaultFlags :: Flags

The default flags: * Do not add symbol nodes to the SPPF. * Do not add intermediate nodes to the SPPF. * Do not add edges to the SPPF. * Flexible binarisation. * The three furthest discoveries of a token mismatch are reported. * Select tests are performed.

runOptions :: ParseOptions -> Flags

Execute the given Options in left-to-right order on defaultFlags.

type ParseOption = Flags -> Flags

An option updates the current set of Flags.

type ParseOptions = [ParseOption]

A list of ParserOptions

fullSPPF :: ParseOption

Create the SPPF with all nodes and edges, not necessarily strictly binarised.

allNodes :: ParseOption

Create all nodes, but no edges between nodes.

packedNodesOnly :: ParseOption

Create packed-nodes only.

strictBinarisation :: ParseOption

Fully binarise the SPPF, resulting in a larger SPPF and possibly slower runtimes. When this flag is on, packed nodes can only have a single symbol node child or one intermediate node child and one symbol node child. With the flag disabled a packed node can have two symbol node children.

maximumErrors :: Int -> ParseOption

Set the maximum number of errors shown in case of an unsuccessful parse.

noSelectTest :: ParseOption

Turn of select tests. Disables lookahead.