public ResolveReferanceObjectDefinition(Tpn.TypeProblem2.Object myScope, IOrType <IResolve <IBox <IFrontendCodeElement> >, IError>[] nextElements,
Box <IReadOnlyList <IOrType <IBox <WeakAssignOperation>, 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));
}
public ResolveReferanceRootScope(Tpn.TypeProblem2.Object myScope, IReadOnlyList <IOrType <IResolve <IBox <IFrontendType <IVerifiableType> > >, IError> > ranTypes, IReadOnlyList <IOrType <IResolve <IBox <WeakGenericTypeDefinition> >, IError> > ranGenericTypes,
IOrType <IResolve <IBox <WeakAssignOperation> >, IError>[] nextElements,
IOrType <IResolve <IBox <WeakEntryPointDefinition> >, IError> nextEntry,
Box <IReadOnlyList <IOrType <IBox <WeakAssignOperation>, IError> > > assignmentsBox,
Box <IOrType <IBox <WeakEntryPointDefinition>, IError> > entryBox
)
{
this.myScope = myScope ?? throw new ArgumentNullException(nameof(myScope));
this.ranTypes = ranTypes ?? throw new ArgumentNullException(nameof(ranTypes));
this.ranGenericTypes = ranGenericTypes ?? throw new ArgumentNullException(nameof(ranGenericTypes));
this.nextElements = nextElements ?? throw new ArgumentNullException(nameof(nextElements));
this.nextEntry = nextEntry ?? throw new ArgumentNullException(nameof(nextEntry));
this.assignmentsBox = assignmentsBox ?? throw new ArgumentNullException(nameof(assignmentsBox));
this.entryBox = entryBox ?? throw new ArgumentNullException(nameof(entryBox));
}
public IOrType <WeakObjectDefinition, WeakRootScope> Convert(Tpn.TypeSolution typeSolution, Tpn.TypeProblem2.Object from, IEnumerable <Tpn.ITypeProblemNode> context)
{
return(OrType.Make <WeakObjectDefinition, WeakRootScope>(new WeakRootScope(
typeSolution.GetObjectType(from, context),
assigns,
entryPoint)));
}
public Tpn.TypeProblem2.Object InitizeForTypeProblem(Tpn.TypeProblem2 typeProblem2)
{
key = new ImplicitKey(Guid.NewGuid());
myScope = typeProblem2.builder.CreateObjectOrModule(typeProblem2.Dependency, key, new WeakRootConverter(assignmentsBox, entryBox), new WeakScopeConverter());
return(myScope);
}
