Beispiel #1
0
        public void AddActor(Actor actor)
        {
            Contract.Requires(actor != null);

            _newActors.Enqueue(actor);
            _event.Set();
        }
Beispiel #2
0
        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();
 }
Beispiel #4
0
 public void AddActor(Actor actor)
 {
     Contract.Requires(actor != null);
 }