public AssumptionHandler(ConstraintBuilder constraintBuilder, ClassAssumptions classAssumptions, PropertyAssumptions propertyAssumptions) { _constraintBuilder = constraintBuilder; _classAssumptions = classAssumptions; _propertyAssumptions = propertyAssumptions; }
public EFMetamodelInstantiation(IEnumerable <INamedTypeSymbol> entityTypeSymbols, ObjectTheoremContext objectTheorem, ClassAssumptions classAssumptions, PropertyAssumptions propertyAssumptions) { _entityTypeSymbols = entityTypeSymbols; _objectTheorem = objectTheorem; _constraintBuilder = _objectTheorem.ConstraintBuilder; _propertyAssumptions = propertyAssumptions; _assumptionHandler = new AssumptionHandler(_constraintBuilder, classAssumptions, propertyAssumptions); }
public EFRoslynTheorem() { _classAssumptions = new ClassAssumptions(); _propertyAssumptions = new PropertyAssumptions(); _objectTheorem = new ObjectTheoremContext(); }