Ċ class ĠSpect ator ( val Ġhall : ĠHall , Ġval Ġname : ĠString ) Ġ: ĠRunnable Ġ{ ĊĊĠ Ġoverride Ġfun Ġrun () Ġ{ ĊĠĠĠ Ġhall . no J udge . acquire () ĊĊĠĠĠ Ġenter () ĊĊĠĠĠ Ġhall . no J udge . release () ĊĊĠĠĠ Ġspect ate () ĊĠĠĠ Ġleave () ĊĠ Ġ} ĊĊĠ Ġfun Ġenter () Ġ{ ĊĠĠĠ Ġprintln (" Spect ator Ġ$ name Ġentered Ġthe Ġhall !") ĊĠ Ġ} ĊĊĠ Ġfun Ġspect ate () Ġ{ ĊĠĠĠ Ġprintln (" Spect ator Ġ$ name Ġleft !") ĊĠ Ġ} ĊĊĠ Ġfun Ġleave () Ġ{ ĊĠĠĠ Ġprintln (" Spect ator Ġ$ name Ġleft !") ĊĠ Ġ} Ċ } Ċ