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));
}
