Exemplos de DataNodeWrapper em C# (CSharp)

Exemplo n.º 1

Arquivo: DataNodeMachine.cs Projeto: 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());
        }

Exemplo n.º 2

Arquivo: DataNodeMachine.cs Projeto: 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());
        }