Exemplos de Microsoft.Boogie Absy.StdDispatch em C# (CSharp)

Exemplo n.º 1

Arquivo: StandardVisitor.cs Projeto: qunyanm/boogie

 public override Absy Visit(Absy node) {
   return node.StdDispatch(this);
 }

Exemplo n.º 2

Arquivo: StandardVisitor.cs Projeto: qunyanm/boogie

 public override Absy Visit(Absy node)
 {
     Contract.Ensures(Contract.Result<Absy>() == node);
     return node.StdDispatch(this);
 }

Exemplo n.º 3

Arquivo: StandardVisitor.cs Projeto: Chenguang-Zhu/ICE-C5

 public override Absy Visit(Absy node)
 {
     //Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<Absy>() != null);
       return node.StdDispatch(this);
 }