Commit b0704e4b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Exposed [Analysis.first].

parent 48813d9e
......@@ -1093,6 +1093,8 @@ module Analysis = struct
let nullable = Array.get nullable
let first = Array.get first
let nullable_first_rhs = nullable_first_rhs
let explain_first_rhs (tok : Terminal.t) (rhs : Symbol.t array) (i : int) =
......@@ -369,6 +369,10 @@ module Analysis : sig
val nullable: Nonterminal.t -> bool
(* [first nt] is the FIRST set of the non-terminal symbol [nt]. *)
val first: Nonterminal.t -> TerminalSet.t
(* [nullable_first_rhs rhs i] considers the string of symbols found at
offset [i] in the array [rhs]. It returns its NULLABLE flag as well
as its FIRST set. The offset [i] must be contained between [0] and
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment