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);
}
