Пример #1
0
 public override Formula Visit(ReturnFormula formula)
 {
     IncreaseIfNecessary(formula.Body, _ => _.TypeDeclaration, increased => formula.Body = increased);
     return base.Visit(formula);
 }
Пример #2
0
 public Formula Visit(ReturnFormula formula)
 {
     return formula;
 }
Пример #3
0
 public virtual Formula Visit(ReturnFormula formula)
 {
     Visit((Formula)formula);
     if (formula.Body != null) formula.Body.Accept(this);
     return visitor.Visit(formula);
 }