diff options
Diffstat (limited to 'symtab.sig')
-rw-r--r-- | symtab.sig | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/symtab.sig b/symtab.sig new file mode 100644 index 0000000..61ed1cb --- /dev/null +++ b/symtab.sig @@ -0,0 +1,16 @@ +signature SYMTAB = sig + + type 'token t + + val init: unit -> 'token t + + type 'token auxInfo = 'token option * 'token option + val insert: 'token t -> string -> ('token auxInfo -> 'token auxInfo) + -> int + val getId: 'token t -> string -> int + val getStr: 'token t -> int -> string + val isPpcDir: 'token t -> int -> 'token option + val isKw: 'token t -> int -> 'token option + + val print: 'token t -> unit +end |