SCM Repository
[diderot] Annotation of /trunk/src/parser/parser.sml
Annotation of /trunk/src/parser/parser.sml
Parent Directory
| 
Revision Log
Revision 14 -
(view)
(download)
| 1 : |
jhr |
14 |
(* parser.sml
|
| 2 : |
|
|
*
|
| 3 : |
|
|
* COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
|
| 4 : |
|
|
* All rights reserved.
|
| 5 : |
|
|
*
|
| 6 : |
|
|
* Parser glue.
|
| 7 : |
|
|
*)
|
| 8 : |
|
|
|
| 9 : |
|
|
structure Parser : sig
|
| 10 : |
|
|
|
| 11 : |
|
|
(* parse a file; return NONE if there are syntax errors *)
|
| 12 : |
|
|
val parseFile : (Error.err_stream * TextIO.instream) -> ParseTree.program option
|
| 13 : |
|
|
|
| 14 : |
|
|
end = struct
|
| 15 : |
|
|
|
| 16 : |
|
|
(* glue together the lexer and parser *)
|
| 17 : |
|
|
structure DiderotParser = DiderotParseFn(DiderotLex)
|
| 18 : |
|
|
|
| 19 : |
|
|
(* error function for lexers *)
|
| 20 : |
|
|
fun lexErr errStrm (pos, msg) = Error.errorAt(errStrm, (pos, pos), msg)
|
| 21 : |
|
|
|
| 22 : |
|
|
(* error function for parsers *)
|
| 23 : |
|
|
val parseErr = Error.parseError DiderotTokens.toString
|
| 24 : |
|
|
|
| 25 : |
|
|
(* parse a file, returning a parse tree *)
|
| 26 : |
|
|
fun parseFile (errStrm, file) = let
|
| 27 : |
|
|
fun get () = TextIO.input file
|
| 28 : |
|
|
val lexer = DiderotLex.lex (Error.sourceMap errStrm) (lexErr errStrm)
|
| 29 : |
|
|
in
|
| 30 : |
|
|
case DiderotParser.parse lexer (DiderotLex.streamify get)
|
| 31 : |
|
|
of (SOME pt, _, []) => (TextIO.closeIn file; SOME pt)
|
| 32 : |
|
|
| (_, _, errs) => (
|
| 33 : |
|
|
TextIO.closeIn file;
|
| 34 : |
|
|
List.app (parseErr errStrm) errs;
|
| 35 : |
|
|
NONE)
|
| 36 : |
|
|
(* end case *)
|
| 37 : |
|
|
end
|
| 38 : |
|
|
|
| 39 : |
|
|
end
|
