summaryrefslogtreecommitdiff
path: root/ppc.sig
blob: ba61742516a3efddfdc6c03ef786840b6b818ba9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
signature PPC = sig

  structure T: TOKENIZER

  type t
  type tkErrorVal
  type tkClassErrorVal
  type tkPos

  exception TkError of tkErrorVal
  exception TkClassError of tkClassErrorVal


  datatype tkClass =
    Ctk of T.token |
    Cid |
    Cconst |
    Cunop |
    Cbinop |
    Cop

  val create: { fname: string, incDirs: string list, debugMode: bool } -> t
  val debugPrint: string -> string list -> unit

  val getClass: t -> tkClass list -> T.token * tkPos * t

  val raiseTkError: tkPos -> string -> 'a
  val tkErrorPrint: tkErrorVal -> unit

  val raiseTkClassError: tkPos -> tkClass list -> 'a
  val tkClassErrorPrint: tkClassErrorVal -> unit
end