C# (CSharp) Microsoft.Zing Withの例

コード例 #1

ファイル: ZDecompiler.cs プロジェクト: ZingModelChecker/Zing

        private With VisitWith(With with)
        {
            if (with.Name != null)
                WriteStart("{0} -> ", with.Name.Name);
            else
                WriteStart("* -> ");

            this.VisitBlock(with.Block);

            return with;
        }

コード例 #2

ファイル: ZResolver.cs プロジェクト: ZingModelChecker/Zing

        private With VisitWith(With with)
        {
            if (with == null) return null;

            with.Block = this.VisitBlock(with.Block);
            return with;
        }

コード例 #3

ファイル: ZDuplicator.cs プロジェクト: ZingModelChecker/Zing

 private With VisitWith(With with)
 {
     if (with == null) return null;
     With result = (With)with.Clone();
     result.Block = this.VisitBlock(with.Block);
     return result;
 }

コード例 #4

ファイル: ZLooker.cs プロジェクト: ZingModelChecker/Zing

 private With VisitWith(With with)
 {
     if (with.Name != null)
         AddExceptionName(with.Name.Name);
     with.Block = this.VisitBlock(with.Block);
     return with;
 }

コード例 #5

ファイル: Partitioner.cs プロジェクト: ZingModelChecker/Zing

 private With VisitWith(With with)
 {
     with.Block = this.VisitBlock(with.Block);
     return with;
 }

コード例 #6

ファイル: ZNodes.cs プロジェクト: ZingModelChecker/Zing

 public void Add(With element)
 {
     int n = this.elements.Length;
     int i = this.length++;
     if (i == n)
     {
         int m = n * 2; if (m < 16) m = 16;
         With[] newElements = new With[m];
         for (int j = 0; j < n; j++) newElements[j] = elements[j];
         this.elements = newElements;
     }
     this.elements[i] = element;
 }