C# (CSharp) INullnessFactory Examples

Example #1

 public NullnessLattice(INullnessFactory /*!*/ factory)
 {
     Contract.Requires(factory != null);
     this.factory = factory;
     // base();
 }

Example #2

File: Nullness.cs Project: Chenguang-Zhu/ICE-C5

 public NullnessLattice(INullnessFactory/*!*/ factory) {
   Contract.Requires(factory != null);
   this.factory = factory;
   // base();
 }