예제 #1
0
        public override T VisitCFG(ControlFlowGraph x)
        {
            x.Start.Accept(this);

            return(default);
예제 #2
0
 public virtual void VisitCFG(ControlFlowGraph x) => x.Start.Accept(this);
예제 #3
0
 /// <summary>
 /// Not supported, use <see cref="GraphRewriter"/> instead.
 /// </summary>
 public override object VisitCFG(ControlFlowGraph x)
 {
     throw new NotSupportedException("Use GraphRewriter to correctly update whole CFG.");
 }
예제 #4
0
 protected virtual void OnVisitCFG(ControlFlowGraph x)
 {
 }
예제 #5
0
        /// <summary>
        /// Set <see cref="ExploredColor"/> to a new color from <paramref name="x"/> and perform
        /// the exploration.
        /// </summary>
        public sealed override TReturn VisitCFG(ControlFlowGraph x)
        {
            ExploredColor = x.NewColor();
            VisitCFGInternal(x);

            return(default);
예제 #6
0
        public override void VisitCFG(ControlFlowGraph x)
        {
            Contract.ThrowIfNull(x);
            Debug.Assert(x.Start.FlowState != null, "Start block has to have an initial state set.");

            _worklist.Enqueue(x.Start);
        }
예제 #7
0
 public virtual void VisitCFG(ControlFlowGraph x) => x.Start.Accept(this);
예제 #8
0
 public virtual TResult VisitCFG(ControlFlowGraph x) => default;