Ejemplos de TestFrameworkOOB.Purity TypeMethodPurity en C# (CSharp)

Ejemplo n.º 1

Archivo: Purity.cs Proyecto: 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));
 }

Ejemplo n.º 2

Archivo: Purity.cs Proyecto: 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));
        }