package Ġautom aton . constructor . view . module . executor Ċ Ċ import Ġautom aton . constructor . model . module . executor . Execution State Ċ import Ġautom aton . constructor . utils . hover able Tooltip Ċ import Ġautom aton . constructor . view . State View Ċ import Ġjavafx . collections . Set ChangeListener Ċ import Ġjavafx . geometry . Orientation Ċ import Ġjavafx . scene . layout . V Box Ċ import Ġt orn ad of x .* Ċ Ċ private Ġconst Ġval ĠMAX _ SHO WN _ EXEC UTION _ STAT ES Ġ= Ġ 5 Ċ Ċ fun ĠState View . install Execution State Tooltip () Ġ= Ġgroup . hover able Tooltip Ġ{ ĊĠĠĠ Ġif Ġ( state . execution States . isEmpty ()) Ġnull ĊĠĠĠ Ġelse ĠV Box (). apply Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġlistener Ġ= ĠSet ChangeListener < Execution State > Ġ{ Ġrestart Timer () Ġ} ĊĠĠĠĠĠĠĠ Ġstate . execution States . addListener ( listener ) ĊĠĠĠĠĠĠĠ Ġon Hide Ġ= Ġ{ Ġstate . execution States . remove Listener ( listener ) Ġ} ĊĠĠĠĠĠĠĠ Ġstate . execution States ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. sorted By Ġ{ Ġit . status Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. take ( MAX _ SHO WN _ EXEC UTION _ STAT ES ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. forEach Indexed Ġ{ Ġi , Ġexecution State Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( i Ġ!= Ġ 0 ) Ġseparator ( Orientation . HORIZONTAL ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġadd ( execution State . tooltip Content (). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġbackground Property (). bind ( execution State . background Binding ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ}) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġnot Shown Execution States Ġ= Ġstate . execution States . size Ġ- ĠMAX _ SHO WN _ EXEC UTION _ STAT ES ĊĠĠĠĠĠĠĠ Ġif Ġ( not Shown Execution States Ġ> Ġ 0 ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġseparator ( Orientation . HORIZONTAL ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġlabel ("$ not Shown Execution States Ġexecution Ġstates Ġnot Ġshown ") Ġ{ Ġpadding All Ġ= Ġ 5 . 0 Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ