(* Copyright (C) 1992, Digital Equipment Corporation                         *)
(* All rights reserved.                                                      *)
(* See the file COPYRIGHT for a full description.                            *)
(*                                                                           *)
(* Last modified on Wed Aug 16 13:41:54 1995 by gnelson                      *)
(*      modified on Wed Feb  3 16:51:38 PST 1993 by heydon                   *)

INTERFACE PublicView;

(* Defines a public view on a Juno module. *)

IMPORT TextPort, Editor;

TYPE
  T <: Public;
  Public = TextPort.T OBJECT METHODS
    init(e: Editor.T): T
  END;

(* The call "NEW(PublicView.T).init(e)" returns a new public view that
   displays the Juno parse tree "Editor.Trees(e)" in a read-only text port. The
   trees are unparsed to the new window width every time the public view is
   reshaped. *)

END PublicView.