NameDateSize

..25-Jul-201910

Data.smlH A D25-Jul-20198.5 KiB

HolmakefileH A D25-Jul-2019205

Lexer.lexH A D25-Jul-20194.5 KiB

loadH A D25-Jul-201931

Main.smlH A D25-Jul-20194.9 KiB

Parser.grmH A D25-Jul-201910.4 KiB

READMEH A D25-Jul-2019966

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