Exemplos de Microsoft.Boogie StandardVisitor.VisitBlock em C# (CSharp)

Exemplo n.º 1

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

 public override Absy StdDispatch(StandardVisitor visitor)
 {
     Contract.Ensures(Contract.Result<Absy>() != null);
       return visitor.VisitBlock(this);
 }