Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 10 | ||
Data.sml | H A D | 25-Jul-2019 | 8.5 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 205 | |
Lexer.lex | H A D | 25-Jul-2019 | 4.5 KiB | |
load | H A D | 25-Jul-2019 | 31 | |
Main.sml | H A D | 25-Jul-2019 | 4.9 KiB | |
Parser.grm | H A D | 25-Jul-2019 | 10.4 KiB | |
README | H A D | 25-Jul-2019 | 966 |
README
1PSL/Sugar parser 2=============== 3 4This directory is adapted from "examples/lexyacc" in the mosml distribution. 5 6The files in this directory present lexer and parser specifications 7for PSL/Sugar properties. 8 9 File contents 10 -------------------------------------------------------- 11 README describes the grammar and the lexical conventions, 12 and gives an example (this file) 13 Lexer.lex the lexer specification 14 Parser.grm the parser specification 15 Data.sml describes the abstract syntax datatype 16 Main.sml uses the generated lexer and parser 17 18 19Generating, compiling, and using the lexer and parser 20----------------------------------------------------- 21 22You may type `make' to perform steps 1-3 below. 23 241. Generate the parser 25 mosmlyac Parser.grm 26 272. Generate the lexer 28 mosmllex Lexer.lex 29 303. Compile lexer, parser and auxiliary programs 31 mosmlc -c Data.sml Parser.sig Parser.sml Lexer.sml Main.sml 32 33 34