C# (CSharp) Microsoft.Boogie StandardVisitor.VisitYieldCmd Exemples

Exemple #1

Fichier : AbsyCmd.cs Projet : Chenguang-Zhu/ICE-C5

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