32333435363738
} public synchronized void check() throws ShuttingDownException { if (shuttingDown == true) throw new ShuttingDownException(); }
4344454647484950
} public synchronized void enter() throws ShuttingDownException { if (shuttingDown == true) throw new ShuttingDownException(); numberOfUsers++; }
23242526272829
/* */ } /* */ /* */ public synchronized void check() throws ShuttingDownException /* */ { /* 36 */ if (this.shuttingDown == true) /* 37 */ throw new ShuttingDownException(); /* */ }
3435363738394041
/* */ } /* */ /* */ public synchronized void enter() throws ShuttingDownException /* */ { /* 47 */ if (this.shuttingDown == true) /* 48 */ throw new ShuttingDownException(); /* 49 */ this.numberOfUsers += 1; /* */ }