public void AddActor(Actor actor) { Contract.Requires(actor != null); _newActors.Enqueue(actor); _event.Set(); }
internal IScheduler RegisterActor(Actor actor) { Contract.Requires(actor != null); Contract.Ensures(Contract.Result<IScheduler>() != null); var scheduler = PickScheduler(); scheduler.AddActor(actor); return scheduler; }
void IScheduler.AddActor(Actor actor) { _newActors.Enqueue(actor); _event.Set(); }
public void AddActor(Actor actor) { Contract.Requires(actor != null); }