C# (CSharp) Microsoft.Zing WaitPattern Examples

Example #1

File: ZDecompiler.cs Project: ZingModelChecker/Zing

        private WaitPattern VisitWaitPattern(WaitPattern wp)
        {
            Write("wait ");
            this.VisitParenthesizedExpression(wp.expression);

            return wp;
        }

Example #2

File: ZResolver.cs Project: ZingModelChecker/Zing

 private WaitPattern VisitWaitPattern(WaitPattern wp)
 {
     wp.expression = this.VisitExpression(wp.expression);
     return wp;
 }

Example #3

File: ZDuplicator.cs Project: ZingModelChecker/Zing

 private WaitPattern VisitWaitPattern(WaitPattern wp)
 {
     if (wp == null) return null;
     WaitPattern result = (WaitPattern)wp.Clone();
     result.expression = this.VisitExpression(wp.expression);
     return result;
 }

Example #4

File: ZNormalizer.cs Project: ZingModelChecker/Zing

 private Expression VisitWaitPattern(WaitPattern wp)
 {
     return this.VisitExpression(wp.expression);
 }

Example #5

File: ZChecker.cs Project: ZingModelChecker/Zing

 private WaitPattern VisitWaitPattern(WaitPattern wp)
 {
     if (wp == null) return null;
     inWaitPattern = true;
     wp.expression = this.VisitExpression(wp.expression);
     inWaitPattern = false;
     return wp;
 }