Ejemplos de Microsoft.Zing YieldStatement en C# (CSharp)

Ejemplo n.º 1

Archivo: ZResolver.cs Proyecto: ZingModelChecker/Zing

 private YieldStatement VisitYield(YieldStatement Yield)
 {
     return Yield;
 }

Ejemplo n.º 2

Archivo: BBSplitter.cs Proyecto: ZingModelChecker/Zing

        public Statement VisitYield(YieldStatement yield)
        {
            if (yield == null) return null;

            BasicBlock block = AddBlock(new BasicBlock(yield, CurrentContinuation));
            block.Yields = true;
            CurrentContinuation = block;

            return yield;
        }

Ejemplo n.º 3

Archivo: ZNormalizer.cs Proyecto: ZingModelChecker/Zing

 public Statement VisitYield(YieldStatement Yield)
 {
     return null;
 }

Ejemplo n.º 4

Archivo: ZChecker.cs Proyecto: ZingModelChecker/Zing

 private YieldStatement VisitYield(YieldStatement yield)
 {
     if (yield == null) return null;
     if (((ZMethod)this.currentMethod).Atomic)
     {
         this.HandleError(yield, Error.IllegalYieldInAtomicBlock);
         return null;
     }
     return yield;
 }