예제 #1
0
파일: FlowChecker.cs 프로젝트: borota/JTVS
        // SetComp
        public override bool Walk(SetComprehension node)
        {
            BitArray save = _bits;
            _bits = new BitArray(_bits);

            foreach (ComprehensionIterator iter in node.Iterators) {
                iter.Walk(this);
            }
            node.Item.Walk(this);

            _bits = save;
            return false;
        }
예제 #2
0
        public override void PostWalk(SetComprehension node)
        {
            Debug.Assert(_scope is ComprehensionScope);
            _scope = _scope.OuterScope;

            base.PostWalk(node);
        }
예제 #3
0
 // SetComprehension
 public override bool Walk(SetComprehension node)
 {
     return ShouldWalkWorker(node);
 }
예제 #4
0
        public override bool Walk(SetComprehension node)
        {
            EnsureComprehensionScope(node, MakeSetComprehensionScope);
            Debug.Assert(_scope is ComprehensionScope);

            return base.Walk(node);
        }
예제 #5
0
 public override void PostWalk(SetComprehension node)
 {
     PostWalkWorker(node);
 }