646case RegexNodeKind.Bol: 725case RegexNodeKind.End or RegexNodeKind.EndZ when _regexTree.FindOptimizations.MaxPossibleLength is int maxLength: 1246Debug.Assert(target.LoopNode.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic);

26if (_rightToLeft && LeadingAnchor == RegexNodeKind.Bol) 29LeadingAnchor = RegexNodeKind.Unknown; 31if (LeadingAnchor is RegexNodeKind.Beginning or RegexNodeKind.Start or RegexNodeKind.EndZ or RegexNodeKind.End) 35(RegexNodeKind.Beginning, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_Beginning, 36(RegexNodeKind.Beginning, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_Beginning, 37(RegexNodeKind.Start, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_Start, 38(RegexNodeKind.Start, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_Start, 39(RegexNodeKind.End, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_End, 40(RegexNodeKind.End, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_End, 52if (TrailingAnchor is RegexNodeKind.End or RegexNodeKind.EndZ && 59FindMode = TrailingAnchor == RegexNodeKind.End ? 243LeadingAnchor == RegexNodeKind.Bol; // there's a leading BOL anchor we can otherwise search for 249public RegexNodeKind LeadingAnchor { get; } 252public RegexNodeKind TrailingAnchor { get; } 367Debug.Assert(LeadingAnchor != RegexNodeKind.Bol, "BOL isn't enabled for RTL"); 493if (LeadingAnchor == RegexNodeKind.Bol) 763Debug.Assert(loopNode.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic);

23public RegexNodeKind Kind { get; private set; } 26/// <remarks>For a <see cref="RegexNodeKind.Multi"/>, this is the string from the expression. For an <see cref="IsSetFamily"/> node, this is the character class string from <see cref="RegexCharClass"/>.</remarks> 51public RegexNode(RegexNodeKind kind, RegexOptions options) 57public RegexNode(RegexNodeKind kind, RegexOptions options, char ch) 64public RegexNode(RegexNodeKind kind, RegexOptions options, string str) 71public RegexNode(RegexNodeKind kind, RegexOptions options, int m) 78public RegexNode(RegexNodeKind kind, RegexOptions options, int m, int n) 89Debug.Assert(Kind is RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or 90RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or 91RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic); 121return new RegexNode(RegexNodeKind.One, options & ~RegexOptions.IgnoreCase, ch); 127return new RegexNode(RegexNodeKind.Set, options & ~RegexOptions.IgnoreCase, stringSet); 131return new RegexNode(RegexNodeKind.One, options, ch); 138Kind == RegexNodeKind.Concatenate && 150private void MakeRep(RegexNodeKind kind, int min, int max) 152Kind += kind - RegexNodeKind.One; 161case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop: 164Kind += RegexNodeKind.Oneloopatomic - RegexNodeKind.Oneloop; 167case RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy: 171Kind += RegexNodeKind.Oneloopatomic - RegexNodeKind.Onelazy; 177Kind = RegexNodeKind.Empty; 181else if (Kind == RegexNodeKind.Oneloopatomic && N is >= 2 and <= MultiVsRepeaterLimit) 185Kind = RegexNodeKind.Multi; 203Debug.Assert(Kind == RegexNodeKind.Capture, "Every generated tree should begin with a capture node"); 222Debug.Assert(Kind != RegexNodeKind.Group, "All Group nodes should have been removed."); 227case RegexNodeKind.Group: 231case RegexNodeKind.Beginning: 232case RegexNodeKind.Bol: 233case RegexNodeKind.Boundary: 234case RegexNodeKind.ECMABoundary: 235case RegexNodeKind.Empty: 236case RegexNodeKind.End: 237case RegexNodeKind.EndZ: 238case RegexNodeKind.Eol: 239case RegexNodeKind.Multi: 240case RegexNodeKind.NonBoundary: 241case RegexNodeKind.NonECMABoundary: 242case RegexNodeKind.Nothing: 243case RegexNodeKind.Notone: 244case RegexNodeKind.Notonelazy: 245case RegexNodeKind.Notoneloop: 246case RegexNodeKind.Notoneloopatomic: 247case RegexNodeKind.One: 248case RegexNodeKind.Onelazy: 249case RegexNodeKind.Oneloop: 250case RegexNodeKind.Oneloopatomic: 251case RegexNodeKind.Backreference: 252case RegexNodeKind.Set: 253case RegexNodeKind.Setlazy: 254case RegexNodeKind.Setloop: 255case RegexNodeKind.Setloopatomic: 256case RegexNodeKind.Start: 257case RegexNodeKind.UpdateBumpalong: 261case RegexNodeKind.Atomic: 262case RegexNodeKind.Capture: 263case RegexNodeKind.Lazyloop: 264case RegexNodeKind.Loop: 265case RegexNodeKind.NegativeLookaround: 266case RegexNodeKind.PositiveLookaround: 270case RegexNodeKind.BackreferenceConditional: 274case RegexNodeKind.ExpressionConditional: 278case RegexNodeKind.Concatenate: 279case RegexNodeKind.Alternate: 291case RegexNodeKind.Multi: 296case RegexNodeKind.Set: 297case RegexNodeKind.Setloop: 298case RegexNodeKind.Setloopatomic: 299case RegexNodeKind.Setlazy: 311case RegexNodeKind.Backreference: 332Debug.Assert(rootNode.Kind == RegexNodeKind.Capture); 375case RegexNodeKind.Atomic: 379case RegexNodeKind.Concatenate: 384case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when node.N == int.MaxValue: 385case RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when node.N == int.MaxValue && !atomicByAncestry: 386if (node.Parent is { Kind: RegexNodeKind.Concatenate } parent) 388parent.InsertChild(1, new RegexNode(RegexNodeKind.UpdateBumpalong, node.Options)); 431case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop: 432case RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy: 438case RegexNodeKind.Atomic: 439case RegexNodeKind.PositiveLookaround: 440case RegexNodeKind.NegativeLookaround: 450case RegexNodeKind.Capture: 451case RegexNodeKind.Concatenate: 453if ((existingChild.Kind is RegexNodeKind.Alternate or RegexNodeKind.BackreferenceConditional or RegexNodeKind.ExpressionConditional or RegexNodeKind.Loop or RegexNodeKind.Lazyloop) && 454(node.Parent is null || node.Parent.Kind != RegexNodeKind.Atomic)) // validate grandparent isn't atomic 456var atomic = new RegexNode(RegexNodeKind.Atomic, existingChild.Options); 466case RegexNodeKind.Alternate: 467case RegexNodeKind.BackreferenceConditional: 468case RegexNodeKind.ExpressionConditional: 476if (node.Kind != RegexNodeKind.ExpressionConditional) // ReduceExpressionConditional will have already applied ending backtracking removal 491case RegexNodeKind.Lazyloop: 493goto case RegexNodeKind.Loop; 494case RegexNodeKind.Loop: 532case RegexNodeKind.Backreference: 539RegexNodeKind.Alternate => ReduceAlternation(), 540RegexNodeKind.Atomic => ReduceAtomic(), 541RegexNodeKind.Concatenate => ReduceConcatenation(), 542RegexNodeKind.Group => ReduceGroup(), 543RegexNodeKind.Loop or RegexNodeKind.Lazyloop => ReduceLoops(), 544RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround => ReduceLookaround(), 545RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy => ReduceSet(), 546RegexNodeKind.ExpressionConditional => ReduceExpressionConditional(), 547RegexNodeKind.BackreferenceConditional => ReduceBackreferenceConditional(), 560Debug.Assert(Kind is RegexNodeKind.Alternate or RegexNodeKind.Concatenate); 5630 => new RegexNode(Kind == RegexNodeKind.Alternate ? RegexNodeKind.Nothing : RegexNodeKind.Empty, Options), 577Debug.Assert(Kind == RegexNodeKind.Group); 580while (u.Kind == RegexNodeKind.Group) 605Debug.Assert(Kind == RegexNodeKind.Atomic); 610while (child.Kind == RegexNodeKind.Atomic) 620case RegexNodeKind.Empty: 621case RegexNodeKind.Nothing: 625case RegexNodeKind.Oneloopatomic: 626case RegexNodeKind.Notoneloopatomic: 627case RegexNodeKind.Setloopatomic: 632case RegexNodeKind.Oneloop: 633case RegexNodeKind.Notoneloop: 634case RegexNodeKind.Setloop: 635case RegexNodeKind.Onelazy: 636case RegexNodeKind.Notonelazy: 637case RegexNodeKind.Setlazy: 643case RegexNodeKind.Alternate: 652if (branches[0].Kind == RegexNodeKind.Empty) 654return new RegexNode(RegexNodeKind.Empty, child.Options); 663if (branches[i].Kind == RegexNodeKind.Empty) 767Debug.Assert(Kind is RegexNodeKind.Loop or RegexNodeKind.Lazyloop); 770RegexNodeKind kind = Kind; 783if (kind == RegexNodeKind.Loop) 787case RegexNodeKind.Oneloop: 788case RegexNodeKind.Oneloopatomic: 789case RegexNodeKind.Notoneloop: 790case RegexNodeKind.Notoneloopatomic: 791case RegexNodeKind.Setloop: 792case RegexNodeKind.Setloopatomic: 801case RegexNodeKind.Onelazy: 802case RegexNodeKind.Notonelazy: 803case RegexNodeKind.Setlazy: 837return new RegexNode(RegexNodeKind.Nothing, Options); 849case RegexNodeKind.One: 850case RegexNodeKind.Notone: 851case RegexNodeKind.Set: 852child.MakeRep(u.Kind == RegexNodeKind.Lazyloop ? RegexNodeKind.Onelazy : RegexNodeKind.Oneloop, u.M, u.N); 876Debug.Assert(Kind is RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy); 881Kind = RegexNodeKind.Nothing; 889Kind == RegexNodeKind.Set ? RegexNodeKind.One : 890Kind == RegexNodeKind.Setloop ? RegexNodeKind.Oneloop : 891Kind == RegexNodeKind.Setloopatomic ? RegexNodeKind.Oneloopatomic : 892RegexNodeKind.Onelazy; 899Kind == RegexNodeKind.Set ? RegexNodeKind.Notone : 900Kind == RegexNodeKind.Setloop ? RegexNodeKind.Notoneloop : 901Kind == RegexNodeKind.Setloopatomic ? RegexNodeKind.Notoneloopatomic : 902RegexNodeKind.Notonelazy; 925Debug.Assert(Kind == RegexNodeKind.Alternate); 930return new RegexNode(RegexNodeKind.Nothing, Options); 938if (node.Kind == RegexNodeKind.Alternate) 941if (node.Kind == RegexNodeKind.Alternate) 944if (node.Kind == RegexNodeKind.Alternate) 979if (at.Kind == RegexNodeKind.Alternate) 997else if (at.Kind is RegexNodeKind.Set or RegexNodeKind.One) 1002if (at.Kind == RegexNodeKind.Set) 1026if (prev.Kind == RegexNodeKind.One) 1036if (at.Kind == RegexNodeKind.One) 1046prev.Kind = RegexNodeKind.Set; 1053else if (at.Kind == RegexNodeKind.Nothing) 1077Debug.Assert(alternation.Kind == RegexNodeKind.Alternate); 1090if (child.Kind != RegexNodeKind.Concatenate || child.ChildCount() < 2) 1107case RegexNodeKind.One or RegexNodeKind.Notone or RegexNodeKind.Set: 1108case RegexNodeKind.Oneloopatomic or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Setloopatomic: 1109case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop or RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when required.M == required.N: 1139var newAlternate = new RegexNode(RegexNodeKind.Alternate, alternation.Options); 1147if (alternation.Parent is RegexNode { Kind: RegexNodeKind.Atomic }) 1149var atomic = new RegexNode(RegexNodeKind.Atomic, alternation.Options); 1156var newConcat = new RegexNode(RegexNodeKind.Concatenate, alternation.Options); 1172Debug.Assert(node.Kind == RegexNodeKind.Alternate); 1183case RegexNodeKind.Empty when !seenEmpty: 1187case RegexNodeKind.Empty: 1188case RegexNodeKind.Nothing: 1215Debug.Assert(alternation.Kind == RegexNodeKind.Alternate); 1242if (startingNode.Kind == RegexNodeKind.One) 1262if (startingNode.Kind == RegexNodeKind.One) 1276Debug.Assert(startingNode.Kind == RegexNodeKind.Multi); 1307new RegexNode(RegexNodeKind.One, startingNodeOptions, startingSpan[0]) : 1308new RegexNode(RegexNodeKind.Multi, startingNodeOptions, startingSpan.ToString()); 1309var newAlternate = new RegexNode(RegexNodeKind.Alternate, startingNodeOptions); 1313ProcessOneOrMulti(branch.Kind == RegexNodeKind.Concatenate ? branch.Child(0) : branch, startingSpan); 1321if (node.Kind == RegexNodeKind.One) 1325node.Kind = RegexNodeKind.Empty; 1330Debug.Assert(node.Kind == RegexNodeKind.Multi); 1334node.Kind = RegexNodeKind.Empty; 1339node.Kind = RegexNodeKind.One; 1351if (alternation.Parent is RegexNode parent && parent.Kind == RegexNodeKind.Atomic) 1353var atomic = new RegexNode(RegexNodeKind.Atomic, startingNodeOptions); 1358var newConcat = new RegexNode(RegexNodeKind.Concatenate, startingNodeOptions); 1378RegexNode branch = Kind == RegexNodeKind.Concatenate ? Child(0) : this; 1379return branch.Kind is RegexNodeKind.One or RegexNodeKind.Multi ? branch : null; 1385Debug.Assert(Kind is RegexNodeKind.One or RegexNodeKind.Multi || (IsOneFamily && M > 0)); 1400case RegexNodeKind.One: 1401case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy when node.M > 0: 1402case RegexNodeKind.Notone: 1403case RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy when node.M > 0: 1404case RegexNodeKind.Set: 1405case RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy when node.M > 0: 1406case RegexNodeKind.Multi: 1409case RegexNodeKind.Atomic: 1410case RegexNodeKind.Concatenate: 1411case RegexNodeKind.Capture: 1412case RegexNodeKind.Group: 1413case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M > 0: 1414case RegexNodeKind.PositiveLookaround when allowZeroWidth: 1435case RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy: 1438case RegexNodeKind.Notone or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy: 1441case RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy: 1457case RegexNodeKind.Multi: 1500Debug.Assert(Kind == RegexNodeKind.Concatenate); 1506return new RegexNode(RegexNodeKind.Empty, Options); 1516if (child.Kind == RegexNodeKind.Nothing) 1542Debug.Assert(Kind == RegexNodeKind.Concatenate); 1559if (at.Kind == RegexNodeKind.Concatenate && 1578else if (at.Kind is RegexNodeKind.Multi or RegexNodeKind.One) 1592if (prev.Kind == RegexNodeKind.One) 1594prev.Kind = RegexNodeKind.Multi; 1599((at.Kind == RegexNodeKind.One) ? $"{prev.Str}{at.Ch}" : prev.Str + at.Str) : 1600((at.Kind == RegexNodeKind.One) ? $"{at.Ch}{prev.Str}" : at.Str + prev.Str); 1602else if (at.Kind == RegexNodeKind.Empty) 1625Debug.Assert(Kind == RegexNodeKind.Concatenate); 1663case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy when nextNode.Kind == currentNode.Kind && currentNode.Ch == nextNode.Ch: 1664case RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy when nextNode.Kind == currentNode.Kind && currentNode.Str == nextNode.Str: 1666currentNode.Kind is RegexNodeKind.Oneloopatomic or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Setloopatomic) 1689case RegexNodeKind.Oneloop or RegexNodeKind.Onelazy when nextNode.Kind == RegexNodeKind.One && currentNode.Ch == nextNode.Ch: 1690case RegexNodeKind.Notoneloop or RegexNodeKind.Notonelazy when nextNode.Kind == RegexNodeKind.Notone && currentNode.Ch == nextNode.Ch: 1691case RegexNodeKind.Setloop or RegexNodeKind.Setlazy when nextNode.Kind == RegexNodeKind.Set && currentNode.Str == nextNode.Str: 1705case RegexNodeKind.Oneloop or RegexNodeKind.Onelazy when nextNode.Kind == RegexNodeKind.Multi && currentNode.Ch == nextNode.Str![0]: 1736nextNode.Kind = RegexNodeKind.One; 1754case RegexNodeKind.One when (nextNode.Kind is RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy) && currentNode.Ch == nextNode.Ch: 1755case RegexNodeKind.Notone when (nextNode.Kind is RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy) && currentNode.Ch == nextNode.Ch: 1756case RegexNodeKind.Set when (nextNode.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy) && currentNode.Str == nextNode.Str: 1769case RegexNodeKind.Notone when nextNode.Kind == currentNode.Kind && currentNode.Ch == nextNode.Ch: 1770case RegexNodeKind.Set when nextNode.Kind == RegexNodeKind.Set && currentNode.Str == nextNode.Str: 1771currentNode.MakeRep(RegexNodeKind.Oneloop, 2, 2); 1820if (Kind is not RegexNodeKind.Concatenate) 1845if (node.Kind is RegexNodeKind.Capture or RegexNodeKind.Concatenate) 1855if (node.Kind == RegexNodeKind.Loop) 1872case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop when CanBeMadeAtomic(node, subsequent, iterateNullableSubsequent: true, allowLazy: false): 1881case RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when CanBeMadeAtomic(node, subsequent, iterateNullableSubsequent: false, allowLazy: true): 1897node.Kind -= RegexNodeKind.Onelazy - RegexNodeKind.Oneloop; // lazy to greedy 1901case RegexNodeKind.Alternate or RegexNodeKind.BackreferenceConditional or RegexNodeKind.ExpressionConditional: 1912for (int b = node.Kind == RegexNodeKind.ExpressionConditional ? 1 : 0; b < alternateBranches; b++) 1932Debug.Assert(node.Kind is RegexNodeKind.Loop or RegexNodeKind.Lazyloop); 1938while (node.Kind == RegexNodeKind.Capture) 1949if (node.Kind == RegexNodeKind.Concatenate) 1966Debug.Assert(Kind is RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround); 1982if (Child(0).Kind == RegexNodeKind.Empty) 1984Kind = Kind == RegexNodeKind.PositiveLookaround ? RegexNodeKind.Empty : RegexNodeKind.Nothing; 1994Debug.Assert(Kind == RegexNodeKind.BackreferenceConditional); 2003AddChild(new RegexNode(RegexNodeKind.Empty, Options)); 2012Debug.Assert(Kind == RegexNodeKind.ExpressionConditional); 2021AddChild(new RegexNode(RegexNodeKind.Empty, Options)); 2030if (condition.Kind == RegexNodeKind.PositiveLookaround && (condition.Options & RegexOptions.RightToLeft) == 0) 2066Debug.Assert(subsequent.Kind != RegexNodeKind.Group); 2069case RegexNodeKind.Concatenate: 2070case RegexNodeKind.Capture: 2071case RegexNodeKind.Atomic: 2072case RegexNodeKind.PositiveLookaround when (subsequent.Options & RegexOptions.RightToLeft) == 0: // only lookaheads, not lookbehinds (represented as RTL PositiveLookaround nodes) 2073case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when subsequent.M > 0: 2096case RegexNodeKind.Alternate: 2097case RegexNodeKind.ExpressionConditional when childCount == 3: // condition, yes, and no branch 2113case RegexNodeKind.Oneloop: 2114case RegexNodeKind.Onelazy when allowLazy: 2117case RegexNodeKind.One when node.Ch != subsequent.Ch: 2118case RegexNodeKind.Notone when node.Ch == subsequent.Ch: 2119case RegexNodeKind.Set when !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2120case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M > 0 && node.Ch != subsequent.Ch: 2121case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.M > 0 && node.Ch == subsequent.Ch: 2122case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M > 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2123case RegexNodeKind.Multi when node.Ch != subsequent.Str![0]: 2124case RegexNodeKind.End: 2125case RegexNodeKind.EndZ or RegexNodeKind.Eol when node.Ch != '\n': 2128case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && node.Ch != subsequent.Ch: 2129case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.M == 0 && node.Ch == subsequent.Ch: 2130case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M == 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2131case RegexNodeKind.Boundary when node.M > 0 && RegexCharClass.IsBoundaryWordChar(node.Ch): 2132case RegexNodeKind.NonBoundary when node.M > 0 && !RegexCharClass.IsBoundaryWordChar(node.Ch): 2133case RegexNodeKind.ECMABoundary when node.M > 0 && RegexCharClass.IsECMAWordChar(node.Ch): 2134case RegexNodeKind.NonECMABoundary when node.M > 0 && !RegexCharClass.IsECMAWordChar(node.Ch): 2143case RegexNodeKind.Notoneloop: 2144case RegexNodeKind.Notonelazy when allowLazy: 2147case RegexNodeKind.One when node.Ch == subsequent.Ch: 2148case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M > 0 && node.Ch == subsequent.Ch: 2149case RegexNodeKind.Multi when node.Ch == subsequent.Str![0]: 2150case RegexNodeKind.End: 2153case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && node.Ch == subsequent.Ch: 2162case RegexNodeKind.Setloop: 2163case RegexNodeKind.Setlazy when allowLazy: 2166case RegexNodeKind.One when !RegexCharClass.CharInClass(subsequent.Ch, node.Str!): 2167case RegexNodeKind.Set when !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!): 2168case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M > 0 && !RegexCharClass.CharInClass(subsequent.Ch, node.Str!): 2169case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M > 0 && !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!): 2170case RegexNodeKind.Multi when !RegexCharClass.CharInClass(subsequent.Str![0], node.Str!): 2171case RegexNodeKind.End: 2172case RegexNodeKind.EndZ or RegexNodeKind.Eol when !RegexCharClass.CharInClass('\n', node.Str!): 2175case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && !RegexCharClass.CharInClass(subsequent.Ch, node.Str!): 2176case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M == 0 && !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!): 2177case RegexNodeKind.Boundary when node.M > 0 && node.Str is RegexCharClass.WordClass or RegexCharClass.DigitClass: 2178case RegexNodeKind.NonBoundary when node.M > 0 && node.Str is RegexCharClass.NotWordClass or RegexCharClass.NotDigitClass: 2179case RegexNodeKind.ECMABoundary when node.M > 0 && node.Str is RegexCharClass.ECMAWordClass or RegexCharClass.ECMADigitClass: 2180case RegexNodeKind.NonECMABoundary when node.M > 0 && node.Str is RegexCharClass.NotECMAWordClass or RegexCharClass.NotDigitClass: 2208case RegexNodeKind.Atomic: 2209case RegexNodeKind.Alternate: 2210case RegexNodeKind.Capture: 2214case RegexNodeKind.Concatenate: 2259case RegexNodeKind.One: 2260case RegexNodeKind.Notone: 2261case RegexNodeKind.Set: 2265case RegexNodeKind.Multi: 2269case RegexNodeKind.Notonelazy: 2270case RegexNodeKind.Notoneloop: 2271case RegexNodeKind.Notoneloopatomic: 2272case RegexNodeKind.Onelazy: 2273case RegexNodeKind.Oneloop: 2274case RegexNodeKind.Oneloopatomic: 2275case RegexNodeKind.Setlazy: 2276case RegexNodeKind.Setloop: 2277case RegexNodeKind.Setloopatomic: 2281case RegexNodeKind.Lazyloop: 2282case RegexNodeKind.Loop: 2286case RegexNodeKind.Alternate: 2299case RegexNodeKind.BackreferenceConditional: 2303case RegexNodeKind.ExpressionConditional: 2307case RegexNodeKind.Concatenate: 2319case RegexNodeKind.Atomic: 2320case RegexNodeKind.Capture: 2321case RegexNodeKind.Group: 2326case RegexNodeKind.Empty: 2327case RegexNodeKind.Nothing: 2328case RegexNodeKind.UpdateBumpalong: 2332case RegexNodeKind.Beginning: 2333case RegexNodeKind.Bol: 2334case RegexNodeKind.Boundary: 2335case RegexNodeKind.ECMABoundary: 2336case RegexNodeKind.End: 2337case RegexNodeKind.EndZ: 2338case RegexNodeKind.Eol: 2339case RegexNodeKind.NonBoundary: 2340case RegexNodeKind.NonECMABoundary: 2341case RegexNodeKind.Start: 2342case RegexNodeKind.NegativeLookaround: 2343case RegexNodeKind.PositiveLookaround: 2345case RegexNodeKind.Backreference: 2353goto case RegexNodeKind.Empty; 2372case RegexNodeKind.One: 2373case RegexNodeKind.Notone: 2374case RegexNodeKind.Set: 2378case RegexNodeKind.Multi: 2382case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or 2383RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or 2384RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic: 2388case RegexNodeKind.Loop or RegexNodeKind.Lazyloop: 2403case RegexNodeKind.Alternate: 2426case RegexNodeKind.BackreferenceConditional: 2427case RegexNodeKind.ExpressionConditional: 2430int i = Kind == RegexNodeKind.BackreferenceConditional ? 0 : 1; 2436case RegexNodeKind.Concatenate: 2458case RegexNodeKind.Atomic: 2459case RegexNodeKind.Capture: 2464case RegexNodeKind.Empty: 2465case RegexNodeKind.Nothing: 2466case RegexNodeKind.UpdateBumpalong: 2467case RegexNodeKind.Beginning: 2468case RegexNodeKind.Bol: 2469case RegexNodeKind.Boundary: 2470case RegexNodeKind.ECMABoundary: 2471case RegexNodeKind.End: 2472case RegexNodeKind.EndZ: 2473case RegexNodeKind.Eol: 2474case RegexNodeKind.NonBoundary: 2475case RegexNodeKind.NonECMABoundary: 2476case RegexNodeKind.Start: 2477case RegexNodeKind.PositiveLookaround: 2478case RegexNodeKind.NegativeLookaround: 2482case RegexNodeKind.Backreference: 2490goto case RegexNodeKind.Empty; 2513Debug.Assert(Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {Kind}"); 2526if (child.Kind is RegexNodeKind.One) 2539else if (child.Kind is RegexNodeKind.Multi) 2551else if (child.Kind is RegexNodeKind.Set || 2552(child.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic && child.M == child.N)) 2561vsb.Append((char)(twoChars[0] | 0x20), child.Kind is RegexNodeKind.Set ? 1 : child.M); 2563else if (child.Kind is RegexNodeKind.Empty) 2570child.Kind is RegexNodeKind.Beginning or 2571RegexNodeKind.Bol or 2572RegexNodeKind.Start or 2574RegexNodeKind.Boundary or 2575RegexNodeKind.ECMABoundary or 2576RegexNodeKind.NonBoundary or 2577RegexNodeKind.NonECMABoundary or 2579RegexNodeKind.NegativeLookaround or 2580RegexNodeKind.PositiveLookaround or 2582RegexNodeKind.UpdateBumpalong) 2629Debug.Assert(Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {Kind}"); 2633RegexNodeKind.One or RegexNodeKind.Notone or RegexNodeKind.Set => true, 2634RegexNodeKind.Multi => true, 2635RegexNodeKind.Oneloop or RegexNodeKind.Onelazy or RegexNodeKind.Oneloopatomic or 2636RegexNodeKind.Notoneloop or RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloopatomic or 2637RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic 2679return new RegexNode(RegexNodeKind.Empty, Options); 2685case <= MultiVsRepeaterLimit when Kind == RegexNodeKind.One: 2691Kind = RegexNodeKind.Multi; 2700case RegexNodeKind.One: 2701case RegexNodeKind.Notone: 2702case RegexNodeKind.Set: 2703MakeRep(lazy ? RegexNodeKind.Onelazy : RegexNodeKind.Oneloop, min, max); 2707var result = new RegexNode(lazy ? RegexNodeKind.Lazyloop : RegexNodeKind.Loop, Options, min, max); 2830public bool IsSetFamily => Kind is RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy; 2833public bool IsOneFamily => Kind is RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy; 2836public bool IsNotoneFamily => Kind is RegexNodeKind.Notone or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy; 2887case RegexNodeKind.Oneloop: 2888case RegexNodeKind.Oneloopatomic: 2889case RegexNodeKind.Notoneloop: 2890case RegexNodeKind.Notoneloopatomic: 2891case RegexNodeKind.Onelazy: 2892case RegexNodeKind.Notonelazy: 2893case RegexNodeKind.One: 2894case RegexNodeKind.Notone: 2897case RegexNodeKind.Capture: 2904case RegexNodeKind.Backreference: 2905case RegexNodeKind.BackreferenceConditional: 2908case RegexNodeKind.Multi: 2916case RegexNodeKind.Set: 2917case RegexNodeKind.Setloop: 2918case RegexNodeKind.Setloopatomic: 2919case RegexNodeKind.Setlazy: 2926case RegexNodeKind.Oneloop: 2927case RegexNodeKind.Oneloopatomic: 2928case RegexNodeKind.Notoneloop: 2929case RegexNodeKind.Notoneloopatomic: 2930case RegexNodeKind.Onelazy: 2931case RegexNodeKind.Notonelazy: 2932case RegexNodeKind.Setloop: 2933case RegexNodeKind.Setloopatomic: 2934case RegexNodeKind.Setlazy: 2935case RegexNodeKind.Loop: 2936case RegexNodeKind.Lazyloop:

277StartGroup(new RegexNode(RegexNodeKind.Capture, (_options & ~RegexOptions.IgnoreCase), 0, -1)); 347_unit = new RegexNode(RegexNodeKind.Set, _options & ~RegexOptions.IgnoreCase, setString); 394_unit = new RegexNode((_options & RegexOptions.Multiline) != 0 ? RegexNodeKind.Bol : RegexNodeKind.Beginning, _options); 398_unit = new RegexNode((_options & RegexOptions.Multiline) != 0 ? RegexNodeKind.Eol : RegexNodeKind.EndZ, _options); 403new RegexNode(RegexNodeKind.Set, _options & ~RegexOptions.IgnoreCase, RegexCharClass.AnyClass) : 404new RegexNode(RegexNodeKind.Notone, _options & ~RegexOptions.IgnoreCase, '\n'); 521_concatenation = new RegexNode(RegexNodeKind.Concatenate, _options); 759return new RegexNode(RegexNodeKind.Group, _options); 763return new RegexNode(RegexNodeKind.Capture, _options, _autocap++, -1); 776RegexNodeKind nodeType; 783nodeType = RegexNodeKind.Group; 789nodeType = RegexNodeKind.PositiveLookaround; 795nodeType = RegexNodeKind.NegativeLookaround; 800nodeType = RegexNodeKind.Atomic; 823nodeType = RegexNodeKind.PositiveLookaround; 834nodeType = RegexNodeKind.NegativeLookaround; 937return new RegexNode(RegexNodeKind.Capture, _options, capnum, uncapnum); 959return new RegexNode(RegexNodeKind.BackreferenceConditional, _options, capnum); 973return new RegexNode(RegexNodeKind.BackreferenceConditional, _options, tmpCapnum); 978nodeType = RegexNodeKind.ExpressionConditional; 1002nodeType = RegexNodeKind.Group; 1004if (_group!.Kind != RegexNodeKind.ExpressionConditional) 1096new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.ECMAWordClass : RegexCharClass.WordClass); 1101new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.NotECMAWordClass : RegexCharClass.NotWordClass); 1106new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.ECMASpaceClass : RegexCharClass.SpaceClass); 1111new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.NotECMASpaceClass : RegexCharClass.NotSpaceClass); 1116new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.ECMADigitClass : RegexCharClass.DigitClass); 1121new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), (_options & RegexOptions.ECMAScript) != 0 ? RegexCharClass.NotECMADigitClass : RegexCharClass.NotDigitClass); 1138return new RegexNode(RegexNodeKind.Set, (_options & ~RegexOptions.IgnoreCase), cc.ToStringClass()); 1142if (result != null && result.Kind == RegexNodeKind.Backreference && (result.Options & RegexOptions.IgnoreCase) != 0) 1203IsCaptureSlot(capnum) ? new RegexNode(RegexNodeKind.Backreference, _options, capnum) : 1235return scanOnly ? null : new RegexNode(RegexNodeKind.Backreference, _options, capnum); 1249return new RegexNode(RegexNodeKind.Backreference, _options, capnum); 1269_capnames?[capname] is int tmpCapnum ? new RegexNode(RegexNodeKind.Backreference, _options, tmpCapnum) : 1345return new RegexNode(RegexNodeKind.Backreference, _options, capnum); 1355return new RegexNode(RegexNodeKind.Backreference, _options, capnum); 1367return new RegexNode(RegexNodeKind.Backreference, _options, tmpCapnum); 1405return new RegexNode(RegexNodeKind.Backreference, _options, capnum); 1653private readonly RegexNodeKind TypeFromCode(char ch) => 1656'b' => (_options & RegexOptions.ECMAScript) != 0 ? RegexNodeKind.ECMABoundary : RegexNodeKind.Boundary, 1657'B' => (_options & RegexOptions.ECMAScript) != 0 ? RegexNodeKind.NonECMABoundary : RegexNodeKind.NonBoundary, 1658'A' => RegexNodeKind.Beginning, 1659'G' => RegexNodeKind.Start, 1660'Z' => RegexNodeKind.EndZ, 1661'z' => RegexNodeKind.End, 1662_ => RegexNodeKind.Nothing, 2022_concatenation!.AddChild(new RegexNode(RegexNodeKind.Multi, _options & ~RegexOptions.IgnoreCase, _pattern.Substring(pos, cch))); 2052if (_group.Kind == RegexNodeKind.ExpressionConditional && _group.ChildCount() == 0) 2068_alternation = new RegexNode(RegexNodeKind.Alternate, _options); 2069_concatenation = new RegexNode(RegexNodeKind.Concatenate, _options); 2077if (_group!.Kind is RegexNodeKind.ExpressionConditional or RegexNodeKind.BackreferenceConditional) 2086_concatenation = new RegexNode(RegexNodeKind.Concatenate, _options); 2092if (_group!.Kind is RegexNodeKind.ExpressionConditional or RegexNodeKind.BackreferenceConditional) 2096if (_group.Kind == RegexNodeKind.BackreferenceConditional && _group.ChildCount() > 2 || _group.ChildCount() > 3)

84case RegexNodeKind.Atomic: 85case RegexNodeKind.Capture: 90case RegexNodeKind.Bol: 91case RegexNodeKind.Eol: 92case RegexNodeKind.Boundary: 93case RegexNodeKind.ECMABoundary: 94case RegexNodeKind.NonBoundary: 95case RegexNodeKind.NonECMABoundary: 96case RegexNodeKind.Beginning: 97case RegexNodeKind.Start: 98case RegexNodeKind.EndZ: 99case RegexNodeKind.End: 100case RegexNodeKind.Empty: 101case RegexNodeKind.UpdateBumpalong: 102case RegexNodeKind.PositiveLookaround: 103case RegexNodeKind.NegativeLookaround: 112case RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Onelazy or RegexNodeKind.Oneloopatomic when !ignoreCase || !RegexCharClass.ParticipatesInCaseConversion(node.Ch): 114int reps = node.Kind is RegexNodeKind.One ? 1 : Math.Min(node.M, MaxPrefixLength); 119return node.Kind is RegexNodeKind.One || reps == node.N; 124case RegexNodeKind.Multi: 156case RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic when !RegexCharClass.IsNegated(node.Str!): // negated sets are too complex to analyze 164int reps = node.Kind is RegexNodeKind.Set ? 1 : Math.Min(node.M, MaxPrefixLength); 209return node.Kind is RegexNodeKind.Set || reps == node.N; 212case RegexNodeKind.Concatenate: 226case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M > 0: 242case RegexNodeKind.Alternate: 363case RegexNodeKind.Concatenate: 377case RegexNodeKind.Alternate when !rtl: // for RTL we'd need to be matching the suffixes of the alternation cases 422case RegexNodeKind.One: 427case RegexNodeKind.Multi: 432case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy when node.M > 0: 439case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M > 0: 454case RegexNodeKind.Atomic: 455case RegexNodeKind.Capture: 459case RegexNodeKind.Bol: 460case RegexNodeKind.Eol: 461case RegexNodeKind.Boundary: 462case RegexNodeKind.ECMABoundary: 463case RegexNodeKind.NonBoundary: 464case RegexNodeKind.NonECMABoundary: 465case RegexNodeKind.Beginning: 466case RegexNodeKind.Start: 467case RegexNodeKind.EndZ: 468case RegexNodeKind.End: 469case RegexNodeKind.Empty: 470case RegexNodeKind.UpdateBumpalong: 471case RegexNodeKind.PositiveLookaround: 472case RegexNodeKind.NegativeLookaround: 491case RegexNodeKind.Atomic: 492case RegexNodeKind.Capture: 493case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M > 0: 497case RegexNodeKind.Concatenate: 600case RegexNodeKind.One: 609case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when node.M > 0: 621case RegexNodeKind.Multi: 633case RegexNodeKind.Set: 641case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when node.M > 0: 652case RegexNodeKind.Notone: 658case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when node.M == node.N: 662case RegexNodeKind.Beginning: 663case RegexNodeKind.Bol: 664case RegexNodeKind.Boundary: 665case RegexNodeKind.ECMABoundary: 666case RegexNodeKind.Empty: 667case RegexNodeKind.End: 668case RegexNodeKind.EndZ: 669case RegexNodeKind.Eol: 670case RegexNodeKind.NonBoundary: 671case RegexNodeKind.NonECMABoundary: 672case RegexNodeKind.UpdateBumpalong: 673case RegexNodeKind.Start: 674case RegexNodeKind.NegativeLookaround: 675case RegexNodeKind.PositiveLookaround: 681case RegexNodeKind.Atomic: 682case RegexNodeKind.Group: 683case RegexNodeKind.Capture: 686case RegexNodeKind.Lazyloop or RegexNodeKind.Loop when node.M > 0: 696case RegexNodeKind.Concatenate: 709case RegexNodeKind.Alternate when thorough: 945case RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Onelazy or RegexNodeKind.Oneloopatomic: 950return node.Kind is RegexNodeKind.One || node.M > 0 ? true : null; 954case RegexNodeKind.Notone or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy: 968return node.Kind is RegexNodeKind.Notone || node.M > 0 ? true : null; 972case RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic: 987node.Kind is RegexNodeKind.Set || node.M > 0 ? true : 991case RegexNodeKind.Multi: 1002case RegexNodeKind.Empty: 1003case RegexNodeKind.Nothing: 1004case RegexNodeKind.Bol: 1005case RegexNodeKind.Eol: 1006case RegexNodeKind.Boundary: 1007case RegexNodeKind.NonBoundary: 1008case RegexNodeKind.ECMABoundary: 1009case RegexNodeKind.NonECMABoundary: 1010case RegexNodeKind.Beginning: 1011case RegexNodeKind.Start: 1012case RegexNodeKind.EndZ: 1013case RegexNodeKind.End: 1014case RegexNodeKind.UpdateBumpalong: 1015case RegexNodeKind.PositiveLookaround: 1016case RegexNodeKind.NegativeLookaround: 1020case RegexNodeKind.Atomic: 1021case RegexNodeKind.Capture: 1027case RegexNodeKind.Loop: 1028case RegexNodeKind.Lazyloop: 1040case RegexNodeKind.Concatenate: 1057case RegexNodeKind.Alternate: 1078case RegexNodeKind.BackreferenceConditional: 1079case RegexNodeKind.ExpressionConditional: 1080int branchStart = node.Kind is RegexNodeKind.BackreferenceConditional ? 0 : 1; 1089case RegexNodeKind.Backreference: 1114while (node.Kind is RegexNodeKind.Atomic or RegexNodeKind.Capture) 1118if (node.Kind != RegexNodeKind.Concatenate) 1131while (firstChild.Kind is RegexNodeKind.Atomic or RegexNodeKind.Capture) 1135if (firstChild.Kind is not (RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy) || firstChild.N != int.MaxValue) 1143if (nextChild.Kind == RegexNodeKind.UpdateBumpalong) 1200while ((nextChild.Kind is RegexNodeKind.Atomic or RegexNodeKind.Capture or RegexNodeKind.Concatenate) || 1201(nextChild.Kind is RegexNodeKind.Loop or RegexNodeKind.Lazyloop && nextChild.M >= 1)) 1209(nextChild.Kind is RegexNodeKind.Set || nextChild.M >= 1)) 1232public static RegexNodeKind FindLeadingAnchor(RegexNode node) => 1236public static RegexNodeKind FindTrailingAnchor(RegexNode node) => 1240private static RegexNodeKind FindLeadingOrTrailingAnchor(RegexNode node, bool leading) 1246return RegexNodeKind.Unknown; 1253case RegexNodeKind.Bol: 1254case RegexNodeKind.Eol: 1255case RegexNodeKind.Beginning: 1256case RegexNodeKind.Start: 1257case RegexNodeKind.EndZ: 1258case RegexNodeKind.End: 1259case RegexNodeKind.Boundary: 1260case RegexNodeKind.ECMABoundary: 1264case RegexNodeKind.Atomic: 1265case RegexNodeKind.Capture: 1270case RegexNodeKind.Concatenate: 1281if (node.Child(i).Kind is not (RegexNodeKind.Empty or RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround)) 1292if (node.Child(i).Kind is not (RegexNodeKind.Empty or RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround)) 1309case RegexNodeKind.Alternate: 1313RegexNodeKind anchor = FindLeadingOrTrailingAnchor(node.Child(0), leading); 1314if (anchor == RegexNodeKind.Unknown) 1316return RegexNodeKind.Unknown; 1326return RegexNodeKind.Unknown; 1336return RegexNodeKind.Unknown;

39Debug.Assert(concat.Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {concat.Kind}"); 53case RegexNodeKind.Multi: 57case RegexNodeKind.One: 61case RegexNodeKind.Backreference:

49case RegexNodeKind.Alternate: 50case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M != node.N: 51case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop or RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when node.M != node.N: 63case RegexNodeKind.Atomic: 64case RegexNodeKind.NegativeLookaround: 65case RegexNodeKind.PositiveLookaround: 70case RegexNodeKind.Capture: 75case RegexNodeKind.Loop: 76case RegexNodeKind.Lazyloop: 94RegexNodeKind.Atomic or RegexNodeKind.NegativeLookaround or RegexNodeKind.PositiveLookaround => true, 98RegexNodeKind.Alternate or RegexNodeKind.BackreferenceConditional or RegexNodeKind.ExpressionConditional => true, 101RegexNodeKind.Capture => true, 105RegexNodeKind.Concatenate => i == childCount - 1, 111RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.N == 1 => true,

14private const RegexNodeKind BeforeChild = (RegexNodeKind)64; 15private const RegexNodeKind AfterChild = (RegexNodeKind)128; 201private void EmitFragment(RegexNodeKind nodeType, RegexNode node, int curIndex) 215case RegexNodeKind.Concatenate | BeforeChild: 216case RegexNodeKind.Concatenate | AfterChild: 217case RegexNodeKind.Empty: 220case RegexNodeKind.Alternate | BeforeChild: 228case RegexNodeKind.Alternate | AfterChild: 247case RegexNodeKind.BackreferenceConditional | BeforeChild: 260case RegexNodeKind.BackreferenceConditional | AfterChild: 278case RegexNodeKind.ExpressionConditional | BeforeChild: 290case RegexNodeKind.ExpressionConditional | AfterChild: 311case RegexNodeKind.Loop | BeforeChild: 312case RegexNodeKind.Lazyloop | BeforeChild: 327case RegexNodeKind.Loop | AfterChild: 328case RegexNodeKind.Lazyloop | AfterChild: 331int Lazy = (nodeType - (RegexNodeKind.Loop | AfterChild)); 343case RegexNodeKind.Capture | BeforeChild: 347case RegexNodeKind.Capture | AfterChild: 351case RegexNodeKind.PositiveLookaround | BeforeChild: 356case RegexNodeKind.PositiveLookaround | AfterChild: 361case RegexNodeKind.NegativeLookaround | BeforeChild: 367case RegexNodeKind.NegativeLookaround | AfterChild: 373case RegexNodeKind.Atomic | BeforeChild: 377case RegexNodeKind.Atomic | AfterChild: 381case RegexNodeKind.One: 382case RegexNodeKind.Notone: 386case RegexNodeKind.Notoneloop: 387case RegexNodeKind.Notoneloopatomic: 388case RegexNodeKind.Notonelazy: 389case RegexNodeKind.Oneloop: 390case RegexNodeKind.Oneloopatomic: 391case RegexNodeKind.Onelazy: 394Emit(((node.Kind is RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy) ? 403case RegexNodeKind.Setloop: 404case RegexNodeKind.Setloopatomic: 405case RegexNodeKind.Setlazy: 419case RegexNodeKind.Multi: 423case RegexNodeKind.Set: 427case RegexNodeKind.Backreference: 431case RegexNodeKind.Nothing: 432case RegexNodeKind.Bol: 433case RegexNodeKind.Eol: 434case RegexNodeKind.Boundary: 435case RegexNodeKind.NonBoundary: 436case RegexNodeKind.ECMABoundary: 437case RegexNodeKind.NonECMABoundary: 438case RegexNodeKind.Beginning: 439case RegexNodeKind.Start: 440case RegexNodeKind.EndZ: 441case RegexNodeKind.End: 442case RegexNodeKind.UpdateBumpalong:

57case RegexNodeKind.One: 61case RegexNodeKind.Notone: 65case RegexNodeKind.Set: 69case RegexNodeKind.Multi: 84case RegexNodeKind.Concatenate: 85case RegexNodeKind.Alternate: 86case RegexNodeKind.Loop: 87case RegexNodeKind.Lazyloop: 88case RegexNodeKind.Capture when node.N == -1: // N == -1 because balancing groups (which have N >= 0) aren't supported 106case RegexNodeKind.Oneloop: 107case RegexNodeKind.Onelazy: 108case RegexNodeKind.Notoneloop: 109case RegexNodeKind.Notonelazy: 117result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(bdd), node.Kind is RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy, node.M, node.N)); 121case RegexNodeKind.Setloop: 122case RegexNodeKind.Setlazy: 128result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(setBdd), node.Kind == RegexNodeKind.Setlazy, node.M, node.N)); 132case RegexNodeKind.Empty: 133case RegexNodeKind.UpdateBumpalong: // UpdateBumpalong is a directive relevant only to backtracking and can be ignored just like Empty 136case RegexNodeKind.Nothing: 142case RegexNodeKind.Beginning: 146case RegexNodeKind.Bol: 151case RegexNodeKind.End: // \z anchor 155case RegexNodeKind.EndZ: // \Z anchor 160case RegexNodeKind.Eol: 165case RegexNodeKind.Boundary: 170case RegexNodeKind.NonBoundary: 180RegexNodeKind.Atomic or RegexNodeKind.Setloopatomic or RegexNodeKind.Oneloopatomic or RegexNodeKind.Notoneloopatomic => SR.ExpressionDescription_AtomicSubexpressions, 181RegexNodeKind.Backreference => SR.ExpressionDescription_Backreference, 182RegexNodeKind.BackreferenceConditional => SR.ExpressionDescription_Conditional, 183RegexNodeKind.Capture => SR.ExpressionDescription_BalancingGroup, 184RegexNodeKind.ExpressionConditional => SR.ExpressionDescription_IfThenElse, 185RegexNodeKind.NegativeLookaround => SR.ExpressionDescription_NegativeLookaround, 186RegexNodeKind.PositiveLookaround => SR.ExpressionDescription_PositiveLookaround, 187RegexNodeKind.Start => SR.ExpressionDescription_ContiguousMatches, 195string description = $"Unexpected ({nameof(RegexNodeKind)}: {node.Kind})"; 211case RegexNodeKind.Concatenate: 221case RegexNodeKind.Alternate: 250case RegexNodeKind.Loop: 251case RegexNodeKind.Lazyloop: 260result.AddLast(_builder.CreateLoop(body, node.Kind == RegexNodeKind.Lazyloop, node.M, node.N)); 267Debug.Assert(node.Kind == RegexNodeKind.Capture && node.N == -1); 285Debug.Assert(rootResult.Count == 1 || root.Kind == RegexNodeKind.Concatenate || root.Kind == RegexNodeKind.Capture); 312Debug.Assert(node.Kind == RegexNodeKind.Set);

9/// <summary>An empty node that matches a zero-width input (e.g. <see cref="RegexNodeKind.Empty"/>).</summary> 11/// <summary>A node that matches a single character (i.e. <see cref="RegexNodeKind.One"/>, <see cref="RegexNodeKind.Notone"/>, or <see cref="RegexNodeKind.Set"/>).</summary> 13/// <summary>A node that matches a sequence of nodes (i.e. <see cref="RegexNodeKind.Concatenate"/>).</summary> 15/// <summary>A node that matches a loop (e.g. <see cref="RegexNodeKind.Loop"/>, <see cref="RegexNodeKind.Lazyloop"/>, <see cref="RegexNodeKind.Setloop"/>, etc.).</summary> 17/// <summary>A node that matches if any of its nodes match and that matches them in a fixed order that mirrors how the backtracking engines operate (e.g. <see cref="RegexNodeKind.Alternate"/>).</summary> 20/// <summary>A node that represents a beginning anchor (i.e. <see cref="RegexNodeKind.Beginning"/>).</summary> 22/// <summary>A node that represents an ending anchor (i.e. <see cref="RegexNodeKind.End"/>).</summary> 24/// <summary>A node that represents an ending \Z anchor (i.e. <see cref="RegexNodeKind.EndZ"/>).</summary> 28/// <summary>A node that represents a beginning-of-line anchor (i.e. <see cref="RegexNodeKind.Bol"/>).</summary> 30/// <summary>A node that represents a end-of-line anchor (i.e. <see cref="RegexNodeKind.Eol"/>).</summary> 32/// <summary>A node that represents a word boundary anchor (i.e. <see cref="RegexNodeKind.Boundary"/>).</summary> 34/// <summary>A node that represents a word non-boundary anchor (i.e. <see cref="RegexNodeKind.NonBoundary"/>).</summary>

190findOptimizations.LeadingAnchor is not RegexNodeKind.Beginning)