示例#1
0
        public override void VisitCFGSwitchEdge(SwitchEdge x)
        {
            Accept(x.SwitchValue);

            var state = _state;

            foreach (var c in x.CaseBlocks)
            {
                TraverseToBlock(x, state, c);
            }
        }
示例#2
0
        public override void VisitCFGSwitchEdge(SwitchEdge x)
        {
            Accept(x.SwitchValue);

            var state = _state;

            foreach (var c in x.CaseBlocks)
            {
                if (!c.CaseValue.IsOnlyBoundElement)
                {
                    TraverseToBlock(x, state, c.CaseValue.PreBoundBlockFirst);
                }
                TraverseToBlock(x, state, c);
            }
        }