webvbt/src/HTMLVBTGRep.i3


 Copyright (C) 1996, Digital Equipment Corporation                         
 All rights reserved.                                                      
 See the file COPYRIGHT for a full description.                            
                                                                           
 Last modified on Thu Mar  7 16:16:29 PST 1996 by mhb                      

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.