Esempi in C# (CSharp) per IIntExprFactory

Esempio n. 1

File: ConstantAbstraction.cs Progetto: omaragb/tlp182

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

Esempio n. 2

File: ConstantAbstraction.cs Progetto: Chenguang-Zhu/ICE-C5

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