public AssumptionHandler(ConstraintBuilder constraintBuilder, ClassAssumptions classAssumptions, PropertyAssumptions propertyAssumptions)
{
_constraintBuilder = constraintBuilder;
_classAssumptions = classAssumptions;
_propertyAssumptions = propertyAssumptions;
}
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();
}
public EFRoslynTheorem()
{
_classAssumptions = new ClassAssumptions();
_propertyAssumptions = new PropertyAssumptions();
_objectTheorem = new ObjectTheoremContext();
}