public void unreg3() { PlainMailbox mb = new PlainMailbox(this, 1L); mb.RegisterNotify(notify, null, 0); mb.UnregisterNotify(notify); mb.UnregisterNotify(notify); mb.UnregisterNotify(notify1x); }
public void unreg5() { // notify != this.notify PlainMailbox mb = new PlainMailbox(this, 1L); mb.RegisterNotify(notify, null, 0); mb.UnregisterNotify(notify1x); }
public void unreg1() { PlainMailbox mb = new PlainMailbox(this, 1L); mb.UnregisterNotify(notify); }