Esempio n. 1
0
 public override Formula Visit(CallFormula formula)
 {
     IncreaseIfNecessary(formula.Instance, _ => _.TypeDeclaration, increased => formula.Instance = increased);
     return base.Visit(formula);
 }
 public Formula Visit(CallFormula formula)
 {
     return formula;
 }
Esempio n. 3
0
 public virtual Formula Visit(CallFormula formula)
 {
     Visit((Formula)formula);
     if (formula.Instance != null) formula.Instance.Accept(this);
     if (formula.Arguments != null) formula.Arguments.Accept(this);
     return visitor.Visit(formula);
 }