private static WithConditions <IPopulateScope <IFrontendType, ISetUpSideNode> > AddTypeMaker(Func <IMaker <IPopulateScope <IFrontendType, ISetUpSideNode> > > item, params Condition <IPopulateScope <IFrontendType, ISetUpSideNode> >[] conditions) { var res = new WithConditions <IPopulateScope <IFrontendType, ISetUpSideNode> >(item, conditions.ToList()); typeMakers.Add(res); return(res); }
private static WithConditions <ISetUp <IBox <IFrontendType <IVerifiableType> >, Tpn.ITypeProblemNode> > AddTypeMaker(Func <IMaker <ISetUp <IBox <IFrontendType <IVerifiableType> >, Tpn.ITypeProblemNode> > > item, params Condition <ISetUp <IBox <IFrontendType <IVerifiableType> >, Tpn.ITypeProblemNode> >[] conditions) { var res = new WithConditions <ISetUp <IBox <IFrontendType <IVerifiableType> >, Tpn.ITypeProblemNode> >(item, conditions.ToList()); typeMakers.Add(res); return(res); }
private static WithConditions <IPopulateScope <IFrontendCodeElement, ISetUpSideNode> > AddOperationMatcher(Func <IMaker <IPopulateScope <IFrontendCodeElement, ISetUpSideNode> > > item, params Condition <IPopulateScope <IFrontendCodeElement, ISetUpSideNode> >[] conditions) { var res = new WithConditions <IPopulateScope <IFrontendCodeElement, ISetUpSideNode> >(item, conditions.ToList()); operationMatchers.Add(res); return(res); }
private static WithConditions <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode> > AddElementMakers(Func <IMaker <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode> > > item, params Condition <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode> >[] conditions) { var res = new WithConditions <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode> >(item, conditions.ToList()); elementMakers.Add(res); return(res); }