Ejemplo n.º 1
0
 public override DeclWithFormals VisitDeclWithFormals(DeclWithFormals node)
 {
     return(base.VisitDeclWithFormals((DeclWithFormals)node.Clone()));
 }
Ejemplo n.º 2
0
 public override DeclWithFormals VisitDeclWithFormals(DeclWithFormals node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <DeclWithFormals>() != null);
     return(base.VisitDeclWithFormals((DeclWithFormals)node.Clone()));
 }