C# (CSharp) Microsoft.Research.CodeAnalysis WorkerId примеры использования

Пример #1

Файл: WorkerPool.cs Проект: asvishnyakov/CodeContracts

    public Worker CreateWorker(IWorkerFactory workerFactory)
    {
      Contract.Requires(workerFactory != null);

      var workerId = new WorkerId { Name = String.Format("{0}.{1}", this.name, this.idgen++) };

      var worker = workerFactory.NewWorker(workerId);

      worker.Start();

      lock (this.waitHandlesLock)
      {
        this.waitHandles = null;

        this.workers.Add(workerId, worker);
      }

      return worker;
    }

Пример #2

Файл: WorkerPool.cs Проект: zhuyue1314/CodeContracts

        public Worker CreateWorker(IWorkerFactory workerFactory)
        {
            Contract.Requires(workerFactory != null);

            var workerId = new WorkerId {
                Name = String.Format("{0}.{1}", this.name, this.idgen++)
            };

            var worker = workerFactory.NewWorker(workerId);

            worker.Start();

            lock (this.waitHandlesLock)
            {
                this.waitHandles = null;

                this.workers.Add(workerId, worker);
            }

            return(worker);
        }