public override Formula Visit(NewArrayInitFormula formula) { var expectedType = formula.TypeDeclaration.GetElementType(); for (int i = 0; i < formula.Formulas.Count; i++) { IncreaseIfNecessary(formula.Formulas[i], _ => expectedType, increased => formula.Formulas[i] = increased); } return base.Visit(formula); }
public Formula Visit(NewArrayInitFormula formula) { return formula; }
public virtual Formula Visit(NewArrayInitFormula formula) { Visit((Formula)formula); if (formula.Formulas != null) formula.Formulas.Accept(this); return visitor.Visit(formula); }