INTERFACE VTView;

IMPORT Font, Rd, Rect, Thread, VBT;
IMPORT VTDef;

TYPE
  T = VTDef.T;
  ColorScheme = VTDef.ColorScheme;
  I = VTDef.I;
  ErrorCode = VTDef.ErrorCode;
  IntervalStylePrecedence = VTDef.IntervalStylePrecedence;
  Tint = VTDef.Tint;
  VFont = VTDef.VFont;
  VOptions = VTDef.VOptions;
  View = VTDef.View;
  Points = VTDef.Points;

EXCEPTION Error(ErrorCode) (* ! = VTDef.Error !*);

PROCEDURE New (         vt      : T;
                        vbt     : VBT.T;
               READONLY full    : Rect.T;
               READONLY vOptions: VOptions;
                        start   : I         ): View
  RAISES {Rd.EndOfFile, Rd.Failure, Thread.Alerted};

PROCEDURE MakeVFont (         font     : Font.T;
                     READONLY printable: SET OF CHAR;
                              whiteTabs: BOOLEAN      ): VFont
  RAISES {VTDef.Error};

PROCEDURE MakeVOptions (vFont: VFont;
                        leftMargin, rightMargin, turnMargin, topMargin,
                          leading: Points;
                        whiteBlack, whiteStroke: ColorScheme;
                        leftOffset             : Points;
                        wrap                   : BOOLEAN;
                        eob                    : BOOLEAN;
                        intervalStylePrecedence: IntervalStylePrecedence):
  VOptions RAISES {};

PROCEDURE Move (view: View; READONLY full, saved: Rect.T; scroll: BOOLEAN)
  RAISES {Rd.EndOfFile, Rd.Failure, Thread.Alerted};

PROCEDURE Rescreen (view: View; READONLY cd: VBT.RescreenRec) RAISES {};

PROCEDURE Close (t: View) RAISES {};

PROCEDURE SetPixelOptions (VAR vOptions: VOptions; vbt: VBT.T);

END VTView.