public TrailingPopulateScope(IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> left, TrailingOperation.Make <TFrontendCodeElement> make, TrailingOperation.GetReturnedValue getReturnedValue, bool intoInitScope)
{
this.left = left ?? throw new ArgumentNullException(nameof(left));
this.make = make ?? throw new ArgumentNullException(nameof(make));
this.getReturnedValue = getReturnedValue ?? throw new ArgumentNullException(nameof(getReturnedValue));
this.intoInitScope = intoInitScope;
}
public TrailingOperationMaker(string symbol, TrailingOperation.Make <TFrontendCodeElement> make, TrailingOperation.GetReturnedValue getReturnedValue, bool intoInitScope)
{
Symbol = symbol ?? throw new ArgumentNullException(nameof(symbol));
Make = make ?? throw new ArgumentNullException(nameof(make));
this.getReturnedValue = getReturnedValue ?? throw new ArgumentNullException(nameof(getReturnedValue));
this.intoInitScope = intoInitScope;
}
