Example #1
0
        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);
        }
Example #2
0
        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);
        }
Example #3
0
        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);
        }
Example #4
0
        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);
        }