Esempio n. 1
0
 public override Formal VisitFormal(Formal node)
 {
     return(base.VisitFormal((Formal)node.Clone()));
 }
Esempio n. 2
0
 public override Formal VisitFormal(Formal node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Formal>() != null);
     return(base.VisitFormal((Formal)node.Clone()));
 }