Module Buffer.MakeSource

Parameters

Signature

Sourcemodule Error : sig ... end
Sourcetype _end =
  1. | No_end
  2. | End_received
  3. | End_consumed
Sourcetype t = {
  1. state : State.t;
  2. has_consumed : bool;
  3. error : Error.t;
  4. la_ptr : int;
  5. is_buffering : bool;
  6. toks : Token.t array;
  7. _end : _end;
}
Sourceval init : State.t -> t
Sourceval state : t -> State.t
Sourceval error : t -> Error.t
Sourceval count_toks : t -> int
Sourceval has_end : t -> bool
Sourceval has_lookahead : t -> bool
Sourceval lookaheads : t -> Token.t array
Sourceval first_lookahead : t -> Token.t option
Sourceval push_token : Token.t -> t -> t
Sourceval push_end : t -> t
Sourceval update : (State.t -> State.t) -> t -> t
Sourceval add_expected : Expect.t -> t -> t
Sourceval put_error : Semantic.t -> t -> t
Sourceval clear_errors : t -> t
Sourceval clear_last_error : t -> t
Sourceval consume : State.t -> t -> t
Sourceval reject : Expect.t -> t -> t
Sourceval start_new_consumer : t -> t
Sourceval has_consumed : t -> bool
Sourceval end_new_consumer : t -> t -> t
Sourceval start_alternatives : t -> t
Sourceval end_failed_alternatives : Expect.t -> t -> t -> t
Sourceval end_succeeded_alternatives : t -> t -> t
Sourceval start_backtrack : t -> t
Sourceval end_backtrack_success : t -> t -> t
Sourceval end_backtrack_fail : Expect.t option -> t -> t -> t