Exemple #1
0
 public virtual Program VisitProgram(Program node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Program>() != null);
   var decls = node.TopLevelDeclarations.ToList();
   node.ClearTopLevelDeclarations();
   node.AddTopLevelDeclarations(this.VisitDeclarationList(decls));
   return node;
 }