Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /ml-burg/releases/release-110.67/burg-ast.sml
ViewVC logotype

Annotation of /ml-burg/releases/release-110.67/burg-ast.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)
Original Path: sml/trunk/src/ml-burg/burg-ast.sml

1 : monnier 249 (*
2 :     * burg-ast.sml
3 :     *
4 :     * Abstract syntax trees for BURG specifications.
5 :     *
6 :     * $Log$
7 : monnier 651 * Revision 1.2 2000/06/01 18:33:42 monnier
8 :     * bring revisions from the vendor branch to the trunk
9 :     *
10 : monnier 249 * Revision 1.1.1.8 1999/04/17 18:56:03 monnier
11 :     * version 110.16
12 :     *
13 :     * Revision 1.1.1.1 1997/01/14 01:37:59 george
14 :     * Version 109.24
15 :     *
16 :     * Revision 1.1.1.2 1997/01/11 18:52:28 george
17 :     * ml-burg Version 109.24
18 :     *
19 :     * Revision 1.1.1.1 1996/01/31 16:01:24 george
20 :     * Version 109
21 :     *
22 :     *)
23 :    
24 :     structure BurgAST =
25 :     struct
26 :    
27 :     datatype decl_ast = START of string
28 :     | TERM of (string * string option) list
29 :     | TERMPREFIX of string
30 :     | RULEPREFIX of string
31 :     | SIG of string
32 :    
33 :     datatype pattern_ast = PAT of (string * pattern_ast list)
34 :    
35 :     datatype rule_ast = RULE of (string * pattern_ast * string * int list)
36 :    
37 :     datatype spec_ast = SPEC of {head : string list,
38 :     decls : decl_ast list,
39 :     rules : rule_ast list,
40 :     tail : string list}
41 :     end (* BurgAST *)
42 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0