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);
        }
Beispiel #4
0
 public EFRoslynTheorem()
 {
     _classAssumptions    = new ClassAssumptions();
     _propertyAssumptions = new PropertyAssumptions();
     _objectTheorem       = new ObjectTheoremContext();
 }
 public EFRoslynTheorem()
 {
     _classAssumptions = new ClassAssumptions();
     _propertyAssumptions = new PropertyAssumptions();
     _objectTheorem = new ObjectTheoremContext();
 }