public IOrType <WeakBlockDefinition, WeakScope, WeakEntryPointDefinition> Convert(Tpn.TypeSolution typeSolution, Tpn.TypeProblem2.Scope from, IEnumerable <Tpn.ITypeProblemNode> context) { return(OrType.Make <WeakBlockDefinition, WeakScope, WeakEntryPointDefinition>( new WeakBlockDefinition( body, OrType.Make <WeakScope, IError>(typeSolution.GetWeakScope(from, context)), Array.Empty <IIsPossibly <IFrontendCodeElement> >()))); }
public IOrType <WeakBlockDefinition, WeakScope, WeakEntryPointDefinition> Convert(Tpn.TypeSolution typeSolution, Tpn.TypeProblem2.Scope from, IEnumerable <Tpn.ITypeProblemNode> context) { return(OrType.Make <WeakBlockDefinition, WeakScope, WeakEntryPointDefinition>(typeSolution.GetWeakScope(from, context))); }
public ResolveReferanceBlockDefinition(Tpn.TypeProblem2.Scope myScope, IOrType <IResolve <IBox <IFrontendCodeElement> >, IError>[] nextElements, Box <IReadOnlyList <IOrType <IBox <IFrontendCodeElement>, IError> > > box) { this.myScope = myScope ?? throw new ArgumentNullException(nameof(myScope)); this.nextElements = nextElements ?? throw new ArgumentNullException(nameof(nextElements)); this.box = box ?? throw new ArgumentNullException(nameof(box)); }