INTERFACE LoadSpec;
IMPORT TextTextTbl;
IMPORT TextIntTbl;
IMPORT Rd;
TYPE
  Info = RECORD
    types: TextTextTbl.T; (* name -> containing interface *)
    procs: TextTextTbl.T; (* name -> procedure form *)
    tokMN, methMN, outMN: TEXT;
    kind: CHAR;
    orig, tokOrig: TEXT;
    allocTypes: TextTextTbl.T;(* types that might be allocated in our module *)
    retType: TextTextTbl.T; (* procname -> return type, yacc only *)
    argCount: TextIntTbl.T; (* procname -> num args (default 0) *)
  END;

  T <: Public;
  Public = OBJECT
  METHODS
    init(): T;
    setTarget(mn: TEXT);
    readSpec(from: Rd.T; mn: TEXT; kind: CHAR);
    get(): Info;
  END;

END LoadSpec.