summaryrefslogtreecommitdiff
path: root/symtab.sig
diff options
context:
space:
mode:
Diffstat (limited to 'symtab.sig')
-rw-r--r--symtab.sig16
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