Esempi in C# (CSharp) per LazyInit.FinalizeInit

Esempio n. 1

File: UserFeedback.cs Progetto: zhuyue1314/CodeContracts

            public static void M()
            {
                var l = new LazyInit();

                Contract.Assume(!String.IsNullOrEmpty("Hello"));
                l.Name = "Hello";
                l.FinalizeInit();
            }