INTERFACEDefines a public view on a Juno module.PublicView ;
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.