Exemplos de Microsoft.Boogie Program.AddTopLevelDeclarations em C# (CSharp)

Exemplo n.º 1

Arquivo: StandardVisitor.cs Projeto: qunyanm/boogie

 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;
 }