Esempi in C# (CSharp) per TestFrameworkOOB.Purity TypeMethodPurity

Esempio n. 1

File: Purity.cs Progetto: blinds52/CodeContracts

 private void Foo()
 {
     J message = new TypeMethodPurity();
     Type t = message.GetType();
     Contract.Assert(t != null);
     Contract.Assume(t == typeof(TypeMethodPurity));
     Contract.Assume(typeof(J).IsAssignableFrom(typeof(TypeMethodPurity)));
     Contract.Assume(typeof(J).IsAssignableFrom(t));
 }

Esempio n. 2

File: Purity.cs Progetto: terrorizer1980/CodeContracts

        private void Foo()
        {
            J    message = new TypeMethodPurity();
            Type t       = message.GetType();

            Contract.Assert(t != null);
            Contract.Assume(t == typeof(TypeMethodPurity));
            Contract.Assume(typeof(J).IsAssignableFrom(typeof(TypeMethodPurity)));
            Contract.Assume(typeof(J).IsAssignableFrom(t));
        }