C# (CSharp) DataNodeWrapper примеры использования

Пример #1

Файл: DataNodeMachine.cs Проект: rekoder/PSharp

        void Configure()
        {
            this.NodeManagerMachine = (this.ReceivedEvent as Events.DataNodeConfigEvent).id;
            this.Idx = (this.ReceivedEvent as Events.DataNodeConfigEvent).idx;

            this.DataNode = new DataNodeWrapper(this.Idx);

            this.Monitor <M>(new Events.NodeCreatedEvent());
            this.Raise(new Events.UnitEvent());
        }

Пример #2

Файл: DataNodeMachine.cs Проект: huangpf/PSharp

        void Configure()
        {
            this.NodeManagerMachine = (this.ReceivedEvent as Events.DataNodeConfigEvent).id;
            this.Idx = (this.ReceivedEvent as Events.DataNodeConfigEvent).idx;

            this.DataNode = new DataNodeWrapper(this.Idx);

            this.Monitor<M>(new Events.NodeCreatedEvent());
            this.Raise(new Events.UnitEvent());
        }