Example #1
0
 public sealed override object VisitCFGStartBlock(StartBlock x)
 {
     if (IsExplored(x))
     {
         return(x);
     }
     else
     {
         x.Tag = ExploredColor;
         return(MapIfUpdated(x, OnVisitCFGStartBlock(x)));
     }
 }
Example #2
0
 public override object VisitCFGStartBlock(StartBlock x)
 {
     return(x.Update(
                VisitList(x.Statements),
                AcceptEdge(x, x.NextEdge)));
 }
Example #3
0
 public sealed override object VisitCFGStartBlock(StartBlock x) => Repair(x);
Example #4
0
 public virtual StartBlock OnVisitCFGStartBlock(StartBlock x) => (StartBlock)base.VisitCFGStartBlock(x);
Example #5
0
 public virtual TResult VisitCFGStartBlock(StartBlock x) => VisitCFGBlock(x);