public ImplementationDefinitionResolveReferance(Tpn.TypeProblem2.Method outer, Tpn.TypeProblem2.Method inner, IOrType <IResolve <IBox <IFrontendCodeElement> >, IError>[] nextElements, Box <IReadOnlyList <IOrType <IBox <IFrontendCodeElement>, IError> > > linesBox)
{
this.outer = outer ?? throw new ArgumentNullException(nameof(outer));
this.inner = inner;
this.nextElements = nextElements ?? throw new ArgumentNullException(nameof(nextElements));
this.linesBox = linesBox ?? throw new ArgumentNullException(nameof(linesBox));
}
public IOrType <WeakMethodDefinition, WeakImplementationDefinition, WeakEntryPointDefinition, WeakGenericMethodDefinition> Convert(Tpn.TypeSolution typeSolution, Tpn.TypeProblem2.Method from, IEnumerable <Tpn.ITypeProblemNode> context)
{
var inputKey = from.PrivateMembers.Single(x => x.Value == from.Input.GetOrThrow());
var scope = typeSolution.GetWeakScope(from, context);
return(OrType.Make <WeakMethodDefinition, WeakImplementationDefinition, WeakEntryPointDefinition, WeakGenericMethodDefinition>(new WeakEntryPointDefinition(
typeSolution.GetType(from.Returns.GetOrThrow(), context),
scope.membersList.Single(x => x.Key.Equals(inputKey.Key)),
body,
OrType.Make <WeakScope, IError>(scope),
Array.Empty <IIsPossibly <IConvertableFrontendCodeElement <ICodeElement> > >())));
}
public MethodDefinitionResolveReferance(Tpn.TypeProblem2.Method method, IOrType <IResolve <IBox <IFrontendCodeElement> >, IError>[] nextElements, Box <IReadOnlyList <IOrType <IBox <IFrontendCodeElement>, IError> > > box)
{
this.method = method ?? throw new ArgumentNullException(nameof(method));
this.nextElements = nextElements ?? throw new ArgumentNullException(nameof(nextElements));
this.box = box ?? throw new ArgumentNullException(nameof(box));
}
public EntryPointDefinitionResolveReferance(Tpn.TypeProblem2.Method scope, Box <IReadOnlyList <IOrType <IBox <IFrontendCodeElement>, IError> > > box, IOrType <IResolve <IBox <IFrontendCodeElement> >, IError>[] converted)
{
this.scope = scope ?? throw new ArgumentNullException(nameof(scope));
this.box = box ?? throw new ArgumentNullException(nameof(box));
this.converted = converted ?? throw new ArgumentNullException(nameof(converted));
}
