Esempi in C# (CSharp) per ISharedCounter.Add

Esempio n. 1

            void EntryInit()
            {
                counter = (this.ReceivedEvent as E).counter;

                counter.Add(-4);
                counter.Decrement();
                var v = counter.Exchange(100);

                counter.Add(-5);
                counter.Add(v - 100);
            }

Esempio n. 2

File: SharedCounterMockTest2.cs Progetto: wxdtony/PSharp

            void EntryInit()
            {
                counter = (this.ReceivedEvent as E).counter;

                counter.Add(5);
            }

Esempio n. 3

File: DistributedCounter.cs Progetto: urasandesu/Bondage

 object AddCore(params object[] args)
 {
     return(m_counter.Add((int)args[0]));
 }