public BinaryOperationMaker(string symbol, BinaryOperation.Make <TFrontendCodeElement> make, BinaryOperation.GetReturnedValue keyMaker, bool intoInitScope ) { Symbol = symbol ?? throw new ArgumentNullException(nameof(symbol)); Make = make ?? throw new ArgumentNullException(nameof(make)); this.keyMaker = keyMaker ?? throw new ArgumentNullException(nameof(keyMaker)); this.intoInitScope = intoInitScope; }
public BinaryPopulateScope( IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> left, IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> right, BinaryOperation.Make <TFrontendCodeElement> make, BinaryOperation.GetReturnedValue key, bool intoInitScope) { this.left = left ?? throw new ArgumentNullException(nameof(left)); this.right = right ?? throw new ArgumentNullException(nameof(right)); this.make = make ?? throw new ArgumentNullException(nameof(make)); this.keyMaker = key ?? throw new ArgumentNullException(nameof(key)); this.intoInitScope = intoInitScope; }