public DynamicTypeLattice(ITypeExprFactory /*!*/ factory, IPropExprFactory /*!*/ propFactory) { Contract.Requires(propFactory != null); Contract.Requires(factory != null); this.factory = factory; this.propFactory = propFactory; // base(); }
public DynamicTypeLattice(ITypeExprFactory/*!*/ factory, IPropExprFactory/*!*/ propFactory) { Contract.Requires(propFactory != null); Contract.Requires(factory != null); this.factory = factory; this.propFactory = propFactory; // base(); }