C# (CSharp) BreakLoopStatement示例

示例#1

文件： LoopKindRecognition.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     if (stmt.Loop == _loop)
     {
         Result = true;
     }
 }

示例#2

文件： LoopKindRecognition.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     if (stmt.Loop == _offScopeLoop)
     {
         if (_loopStack.Any())
         {
             stmt.Loop = _loopStack.Last();
         }
         else
         {
             stmt.EliminationPredicate = () => true;
         }
     }
 }

示例#3

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     _execLeaf = stmt;
 }

示例#4

文件： IfStatementBeautifier.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     IsEmpty = false;
 }

示例#5

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Break(_loopMap[stmt.Loop]);
     LabelLastStmt(stmt);
 }

示例#6

文件： ProgramflowSuccessors.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Result = stmt;
 }

示例#7

文件： ProgramflowSuccessors.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     SingleResult(stmt.Successor);
 }

示例#8

 /// <summary>
 /// Transforms a loop break statement. The default implementation places a new break loop
 /// statement inside the current loop.
 /// </summary>
 /// <param name="stmt">loop break statement</param>
 public virtual void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Break(_loopMap[stmt.Loop]);
     CopyAttributesToLastStatement(stmt);
     LabelLastStmt(stmt);
 }

示例#9

文件： LoopKindRecognition.cs 项目： cephdon/systemsharp

        public void AcceptLoopBlock(LoopBlock stmt)
        {
            IfStatement cond = stmt.Body.AsSingleStatement() as IfStatement;

            if (cond == null)
            {
                return;
            }

            if (cond.Conditions.Count != 1 ||
                cond.Branches.Count != 2)
            {
                return;
            }

            IList <Statement> trueBranch = cond.Branches[0].AsStatementList();

            if (trueBranch.Count == 0 ||
                !trueBranch.Last().Equals(new ContinueLoopStatement()
            {
                Loop = stmt
            }))
            {
                return;
            }

            IList <Statement> falseBranch = cond.Branches[1].AsStatementList();

            if (falseBranch.Count == 0)
            {
                return;
            }

#if false
            BreakLoopStatement breaker = new BreakLoopStatement()
            {
                Loop = stmt
            };
            Statement trailer = cond.Branches[1].Clone;
            trailer.RemoveAll(breaker);
#endif

            Statement         trailer = cond.Branches[1].Clone;
            BreakLoopReplacer blr     = new BreakLoopReplacer(stmt);
            trailer.Accept(blr);

            if (trailer.NeedsLoopScope(stmt))
            {
                return;
            }
#if false
            CompoundStatement trailer = new CompoundStatement();
            trailer.Statements.AddRange(falseBranch.Take(falseBranch.Count - 1));
            if (trailer.NeedsLoopScope(stmt))
            {
                return;
            }

            BreakLoopStatement breaker = falseBranch.Last() as BreakLoopStatement;
            if (breaker == null)
            {
                return;
            }

            if (breaker.Loop.IsAncestor(stmt))
            {
                /* Consider the following situation:
                 *
                 * L1: loop
                 *   some outer loop work
                 *   L2: loop
                 *     if someCondition then
                 *       do something
                 *       continue L2
                 *     else
                 *       do something different
                 *       break L1
                 *     end if
                 *   end loop L2
                 * end loop L1
                 *
                 * As the inner break statement breaks the outer loop, this loop
                 * must be transformed into the following code:
                 *
                 * L1: loop
                 *   some outer loop work
                 *   while someCondition loop
                 *     do something
                 *   end while
                 *   do something different
                 *   break L1
                 * end loop
                 * */

                if (breaker.Loop != stmt)
                {
                    trailer.Statements.Add(breaker);
                }
            }
            else
            {
                return;
            }
#endif

            CompoundStatement newBody = new CompoundStatement();
            newBody.Statements.AddRange(trueBranch.Take(trueBranch.Count - 1));

            LoopBlock whileBlock = (LoopBlock)stmt.Clone;
            whileBlock.HeadCondition = cond.Conditions[0];
            whileBlock.Body          = newBody;
            whileBlock.Trailer       = trailer;

            Result = whileBlock;
        }

示例#10

文件： IfStatementBeautifier.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     IsEmpty = false;
 }

示例#11

文件： RetRemoval.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Break(_loopMap[stmt.Loop]);
     LabelLastStmt(stmt);
 }

示例#12

文件： LoopKindRecognition.cs 项目： venusdharan/systemsharp

        public void AcceptLoopBlock(LoopBlock stmt)
        {
            IfStatement cond = stmt.Body.AsSingleStatement() as IfStatement;
            if (cond == null)
                return;

            if (cond.Conditions.Count != 1 ||
                cond.Branches.Count != 2)
                return;

            IList<Statement> trueBranch = cond.Branches[0].AsStatementList();
            if (trueBranch.Count == 0 ||
                !trueBranch.Last().Equals(new ContinueLoopStatement() { Loop = stmt }))
                return;

            IList<Statement> falseBranch = cond.Branches[1].AsStatementList();
            if (falseBranch.Count == 0)
                return;

#if false
            BreakLoopStatement breaker = new BreakLoopStatement() { Loop = stmt };
            Statement trailer = cond.Branches[1].Clone;
            trailer.RemoveAll(breaker);
#endif

            Statement trailer = cond.Branches[1].Clone;
            BreakLoopReplacer blr = new BreakLoopReplacer(stmt);
            trailer.Accept(blr);

            if (trailer.NeedsLoopScope(stmt))
                return;
#if false
            CompoundStatement trailer = new CompoundStatement();
            trailer.Statements.AddRange(falseBranch.Take(falseBranch.Count - 1));
            if (trailer.NeedsLoopScope(stmt))
                return;

            BreakLoopStatement breaker = falseBranch.Last() as BreakLoopStatement;
            if (breaker == null)
                return;

            if (breaker.Loop.IsAncestor(stmt))
            {
                /* Consider the following situation:
                 * 
                 * L1: loop
                 *   some outer loop work
                 *   L2: loop
                 *     if someCondition then
                 *       do something
                 *       continue L2
                 *     else
                 *       do something different
                 *       break L1
                 *     end if
                 *   end loop L2
                 * end loop L1
                 * 
                 * As the inner break statement breaks the outer loop, this loop
                 * must be transformed into the following code:
                 * 
                 * L1: loop
                 *   some outer loop work
                 *   while someCondition loop
                 *     do something
                 *   end while
                 *   do something different
                 *   break L1
                 * end loop
                 * */

                if (breaker.Loop != stmt)
                {
                    trailer.Statements.Add(breaker);
                }
            }
            else
                return;
#endif

            CompoundStatement newBody = new CompoundStatement();
            newBody.Statements.AddRange(trueBranch.Take(trueBranch.Count - 1));

            LoopBlock whileBlock = (LoopBlock)stmt.Clone;
            whileBlock.HeadCondition = cond.Conditions[0];
            whileBlock.Body = newBody;
            whileBlock.Trailer = trailer;

            Result = whileBlock;
        }

示例#13

文件： LoopKindRecognition.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     if (stmt.Loop == _offScopeLoop)
     {
         if (_loopStack.Any())
         {
             stmt.Loop = _loopStack.Last();
         }
         else
         {
             stmt.EliminationPredicate = () => true;
         }
     }
 }

示例#14

文件： LoopKindRecognition.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     if (stmt.Loop == _loop)
         Result = true;
 }

示例#15

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     CreateLabelForNextInstruction(stmt);
     Emit(ISet.Goto(CreateLabel(stmt.Loop.Successor)), stmt, CloseBB(), 0);
 }

示例#16

文件： SingleStatement.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     SimpleResult(stmt);
 }

示例#17

文件： ProgramflowSuccessors.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     SingleResult(stmt.Successor);
 }

示例#18

文件： ProgramflowSuccessors.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     _result.Add(stmt);
 }

示例#19

文件： LoopKindRecognition.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
 }

示例#20

文件： ProgramflowSuccessors.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Result = stmt;
 }

示例#21

文件： StatementRemoval.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
 }

示例#22

文件： SingleStatement.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     SimpleResult(stmt);
 }

示例#23

文件： ProgramflowSuccessors.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     _result.Add(stmt);
 }

示例#24

文件： HierarchyAnalysis.cs 项目： cephdon/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Check(stmt);
 }

示例#25

文件： HierarchyAnalysis.cs 项目： venusdharan/systemsharp

 public void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Check(stmt);
 }

示例#26

文件： DefaultTransformer.cs 项目： venusdharan/systemsharp

 /// <summary>
 /// Transforms a loop break statement. The default implementation places a new break loop
 /// statement inside the current loop.
 /// </summary>
 /// <param name="stmt">loop break statement</param>
 public virtual void AcceptBreakLoop(BreakLoopStatement stmt)
 {
     Break(_loopMap[stmt.Loop]);
     CopyAttributesToLastStatement(stmt);
     LabelLastStmt(stmt);
 }