SCM Repository
Annotation of /sml/trunk/src/ml-burg/burg-ast.sml
Parent Directory
| 
Revision Log
Revision 250 - (view) (download)
| 1 : | monnier | 249 | (* |
| 2 : | * burg-ast.sml | ||
| 3 : | * | ||
| 4 : | * Abstract syntax trees for BURG specifications. | ||
| 5 : | * | ||
| 6 : | * $Log$ | ||
| 7 : | * Revision 1.1.1.8 1999/04/17 18:56:03 monnier | ||
| 8 : | * version 110.16 | ||
| 9 : | * | ||
| 10 : | * Revision 1.1.1.1 1997/01/14 01:37:59 george | ||
| 11 : | * Version 109.24 | ||
| 12 : | * | ||
| 13 : | * Revision 1.1.1.2 1997/01/11 18:52:28 george | ||
| 14 : | * ml-burg Version 109.24 | ||
| 15 : | * | ||
| 16 : | * Revision 1.1.1.1 1996/01/31 16:01:24 george | ||
| 17 : | * Version 109 | ||
| 18 : | * | ||
| 19 : | *) | ||
| 20 : | |||
| 21 : | structure BurgAST = | ||
| 22 : | struct | ||
| 23 : | |||
| 24 : | datatype decl_ast = START of string | ||
| 25 : | | TERM of (string * string option) list | ||
| 26 : | | TERMPREFIX of string | ||
| 27 : | | RULEPREFIX of string | ||
| 28 : | | SIG of string | ||
| 29 : | |||
| 30 : | datatype pattern_ast = PAT of (string * pattern_ast list) | ||
| 31 : | |||
| 32 : | datatype rule_ast = RULE of (string * pattern_ast * string * int list) | ||
| 33 : | |||
| 34 : | datatype spec_ast = SPEC of {head : string list, | ||
| 35 : | decls : decl_ast list, | ||
| 36 : | rules : rule_ast list, | ||
| 37 : | tail : string list} | ||
| 38 : | end (* BurgAST *) | ||
| 39 : |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
