INTERFACE TokSpec;
IMPORT Rd;
IMPORT CharRange;
IMPORT TextList;
IMPORT TextIntTbl;
IMPORT IntTextTbl;
TYPE
  T <: Public;
  Public = OBJECT
    tokens: TextList.T;         (* all tokens but characters *)
    charTokens: CharRange.T;    (* characters *)
    varTokens: TextList.T;      (* non-constant tokens *)

    (* %char and %const *)
    constTokens: TextIntTbl.T;  (* name -> code *)
    constTokensR: IntTextTbl.T; (* code -> name *)
    lastConstCode: INTEGER;
  METHODS
    init(): T;
    read(from: Rd.T);  (* e.g. reader for a ".t" file *)
    error(rd: Rd.T; message: TEXT); (* default: FileRdErr.E *)
    fmtVar(form: TEXT): TEXT;
    fmtOrig(tokMN: TEXT): TEXT; (* tokMN=NIL means this is the original intf *)
  END;
END TokSpec.