INTERFACE HTMLVBTGRep;

IMPORT RefList, VBT, Split, HTMLVBTG;

TYPE
  HeaderBox <: ROOT;

REVEAL
  HTMLVBTG.Private = HTMLVBTG.Public BRANDED OBJECT
        (* set in init method: *)
        baseURL: TEXT;
        useZippers: BOOLEAN;
        useAlt: BOOLEAN;
        toLoad: RefList.T;
        (* global state; while walking parse tree: *)
        headers: HeaderBox;
        page: Split.T;
        hsplit  : VBT.T;
        ulDepth : INTEGER;
        verbatim: BOOLEAN;
      END;

END HTMLVBTGRep.