package Ġit . uni bo . tup ro log . ui . gui Ċ Ċ import Ġit . uni bo . tup ro log . core . Term Ċ import Ġit . uni bo . tup ro log . core . Term Formatter Ċ import Ġit . uni bo . tup ro log . core . Var Ċ import Ġit . uni bo . tup ro log . core . format Ċ import Ġjavafx . f xml . FXML Ċ import Ġjavafx . f xml . FXML Loader Ċ import Ġjavafx . scene . control . Label Ċ import Ġjavafx . scene . layout . Border Pane Ċ import Ġjavafx . scene . layout . H Box Ċ import Ġjava . io . IOException Ċ Ċ class ĠAssignment View ( ĊĠĠĠ Ġvariable : ĠVar , ĊĠĠĠ Ġvalue : ĠTerm , ĊĠĠĠ Ġformatter : ĠTerm Formatter Ġ= ĠTerm Formatter . pretty Expressions () Ċ ) Ġ: ĠH Box () Ġ{ ĊĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġprivate Ġconst Ġval ĠF XML Ġ= Ġ" Assignment View . f xml " ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġinit Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġloader Ġ= ĠF XML Loader ( Assignment View :: class . java . getResource ( FXML )) ĊĠĠĠĠĠĠĠ Ġloader . set Controller ( this ) ĊĠĠĠĠĠĠĠ Ġloader . set Root ( this ) ĊĊĠĠĠĠĠĠĠ Ġtry Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġloader . load < Border Pane >() ĊĠĠĠĠĠĠĠ Ġ} Ġcatch Ġ( e : ĠIOException ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthrow ĠIllegalStateException ( e ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġthis . variable . text Ġ= Ġvariable . format ( formatter ) ĊĠĠĠĠĠĠĠ Ġthis . value . text Ġ= Ġvalue . format ( formatter ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġconstructor ( assignment : ĠPair < Var , ĠTerm >, Ġformatter : ĠTerm Formatter Ġ= ĠTerm Formatter . pretty Expressions ()) Ġ: ĊĠĠĠĠĠĠĠ Ġthis ( assignment . first , Ġassignment . second , Ġformatter ) ĊĊĠĠĠ Ġ@ FXML ĊĠĠĠ Ġlateinit Ġvar Ġvariable : ĠLabel ĊĊĠĠĠ Ġ@ FXML ĊĠĠĠ Ġlateinit Ġvar Ġoperator : ĠLabel ĊĊĠĠĠ Ġ@ FXML ĊĠĠĠ Ġlateinit Ġvar Ġvalue : ĠLabel Ċ } Ċ