1 write to _nothing
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (1)
146_nothing = SymbolicRegexNode<TSet>.CreateFalse(this);
25 references to _nothing
System.Text.RegularExpressions (25)
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (2)
137result.AddLast(_builder._nothing); 226SymbolicRegexNode<BDD> or = _builder._nothing;
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (7)
152_singletonCache[_solver.Empty] = _nothing; 169nodes[i] = _nothing; 178SymbolicRegexNode<TSet> or = _nothing; 201if (node == _nothing) 203return _nothing; 280return child == _nothing ? _nothing : SymbolicRegexNode<TSet>.CreateDisableBacktrackingSimulation(this, child);
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (1)
250_deadStateId = GetOrCreateState_NoLock(_builder._nothing, 0).Id;
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (15)
427if (node == builder._nothing) 428return builder._nothing; 452if (left == builder._nothing || right == builder._nothing) 453return builder._nothing; 492if (left == builder._nothing) 498SymbolicRegexNode<TSet> tail = right._kind == SymbolicRegexNodeKind.Alternate ? right._right! : builder._nothing; 557elems[i] = builder._nothing; 565SymbolicRegexNode<TSet> or = builder._nothing; 1278derivative = builder._nothing; 1351derivative = builder._nothing; 2095builder._nothing; //start anchor is only nullable if the previous character is Start 2100builder._nothing; //rev(\Z) is only nullable if the previous characters is Start or the very first \n 2107builder._nothing; 2114builder._nothing;