module Mcfggram: sig end
rule ::= ID "-->" rhs
rhs ::= STRING | ID rhs2
rhs2 ::= ID maps | maps
maps ::= "[" map "]" maps | /*empty*/
map ::= INT "," INT map2
map2 ::= ";" map | /*empty*/
Author(s): Daniel M. Albro
Version: $Revision$
Since 12/03/02 - [da]: Initial Creation.
val lexer : string -> Genlex.token Stream.t
s
s
: String to parseval file_lexer : string -> Genlex.token Stream.t
filename
filename
: Name of file to parseval parse_grammar : Grammar.grammar -> Genlex.token Stream.t -> unit
g
: Grammar object to fill out with the information being parsed,
also provides information needed for parsing.s
: Stream (lexical analyzer) we're parsingval parse_rule : Grammar.grammar -> Genlex.token Stream.t -> Grammar.rule
g
: Grammar object to fill out with the information being parsed,
also provides information needed for parsing.s
: Stream of tokens (lexical analyzer) from an MCFG.