Class Cf_dfa.cursor

class ['a] cursor : int -> object .. end

Inherits

Cf_parser.cursor The initial position, i.e. usually zero

method error : int ->
       ('a * (< advance : 'a -> 'c; error : 'b; position : int; .. > as 'c))
       Cf_seq.t -> unit as 'b

This method is invoked as c#error n z in a DFA when no rule matches the input stream z after n symbols. The purpose is to give a derived class an opportunity to raise an exception rather that allow the parser to return without a match.