C# (CSharp) Microsoft.Boogie StandardVisitor.VisitParCallCmd 예제들

예제 #1

파일: AbsyCmd.cs 프로젝트: Chenguang-Zhu/ICE-C5

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