16861687168816891690169116921693169416951696
* happened. */ while(!stack.isEmpty()) { SynchronizationRecord value = (SynchronizationRecord)stack.pop(); Synchronization c = value.contents(); try { c.after_completion(myStatus); }
16811682168316841685168616871688168916901691
16821683168416851686168716881689169016911692
16741675167616771678167916801681168216831684
16691670167116721673167416751676167716781679
14731474147514761477147814791480148114821483
*/ } while (value != null) { Synchronization c = value.contents(); c.before_completion(); value = (SynchronizationRecord) iterator.iterate(); }
16231624162516261627162816291630163116321633
* happened. */ while (value != null) { Synchronization c = value.contents(); try { c.after_completion(myStatus); }