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

56if (rightToLeft && LeadingAnchor == RegexNodeKind.Bol) 59LeadingAnchor = RegexNodeKind.Unknown; 61if (LeadingAnchor is RegexNodeKind.Beginning or RegexNodeKind.Start or RegexNodeKind.EndZ or RegexNodeKind.End) 65(RegexNodeKind.Beginning, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_Beginning, 66(RegexNodeKind.Beginning, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_Beginning, 67(RegexNodeKind.Start, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_Start, 68(RegexNodeKind.Start, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_Start, 69(RegexNodeKind.End, false) => FindNextStartingPositionMode.LeadingAnchor_LeftToRight_End, 70(RegexNodeKind.End, true) => FindNextStartingPositionMode.LeadingAnchor_RightToLeft_End, 83if (TrailingAnchor is RegexNodeKind.End or RegexNodeKind.EndZ && 90FindMode = TrailingAnchor == RegexNodeKind.End ? 280LeadingAnchor == RegexNodeKind.Bol; // there's a leading BOL anchor we can otherwise search for 286public RegexNodeKind LeadingAnchor { get; private set; } 289public RegexNodeKind TrailingAnchor { get; } 409Debug.Assert(LeadingAnchor != RegexNodeKind.Bol, "BOL isn't enabled for RTL"); 535if (LeadingAnchor == RegexNodeKind.Bol) 822Debug.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: 1110case RegexNodeKind.Beginning or RegexNodeKind.Start or RegexNodeKind.Bol 1111or RegexNodeKind.End or RegexNodeKind.EndZ or RegexNodeKind.Eol 1112or RegexNodeKind.Boundary or RegexNodeKind.ECMABoundary 1113or RegexNodeKind.NonBoundary or RegexNodeKind.NonECMABoundary: 1143var newAlternate = new RegexNode(RegexNodeKind.Alternate, alternation.Options); 1151if (alternation.Parent is RegexNode { Kind: RegexNodeKind.Atomic }) 1153var atomic = new RegexNode(RegexNodeKind.Atomic, alternation.Options); 1160var newConcat = new RegexNode(RegexNodeKind.Concatenate, alternation.Options); 1176Debug.Assert(node.Kind == RegexNodeKind.Alternate); 1187case RegexNodeKind.Empty when !seenEmpty: 1191case RegexNodeKind.Empty: 1192case RegexNodeKind.Nothing: 1219Debug.Assert(alternation.Kind == RegexNodeKind.Alternate); 1246if (startingNode.Kind == RegexNodeKind.One) 1266if (startingNode.Kind == RegexNodeKind.One) 1280Debug.Assert(startingNode.Kind == RegexNodeKind.Multi); 1311new RegexNode(RegexNodeKind.One, startingNodeOptions, startingSpan[0]) : 1312new RegexNode(RegexNodeKind.Multi, startingNodeOptions, startingSpan.ToString()); 1313var newAlternate = new RegexNode(RegexNodeKind.Alternate, startingNodeOptions); 1317ProcessOneOrMulti(branch.Kind == RegexNodeKind.Concatenate ? branch.Child(0) : branch, startingSpan); 1325if (node.Kind == RegexNodeKind.One) 1329node.Kind = RegexNodeKind.Empty; 1334Debug.Assert(node.Kind == RegexNodeKind.Multi); 1338node.Kind = RegexNodeKind.Empty; 1343node.Kind = RegexNodeKind.One; 1355if (alternation.Parent is RegexNode parent && parent.Kind == RegexNodeKind.Atomic) 1357var atomic = new RegexNode(RegexNodeKind.Atomic, startingNodeOptions); 1362var newConcat = new RegexNode(RegexNodeKind.Concatenate, startingNodeOptions); 1382RegexNode branch = Kind == RegexNodeKind.Concatenate ? Child(0) : this; 1383return branch.Kind is RegexNodeKind.One or RegexNodeKind.Multi ? branch : null; 1389Debug.Assert(Kind is RegexNodeKind.One or RegexNodeKind.Multi || (IsOneFamily && M > 0)); 1404case RegexNodeKind.One: 1405case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy when node.M > 0: 1406case RegexNodeKind.Notone: 1407case RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy when node.M > 0: 1408case RegexNodeKind.Set: 1409case RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy when node.M > 0: 1410case RegexNodeKind.Multi: 1413case RegexNodeKind.Atomic: 1414case RegexNodeKind.Concatenate: 1415case RegexNodeKind.Capture: 1416case RegexNodeKind.Group: 1417case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M > 0: 1418case RegexNodeKind.PositiveLookaround when allowZeroWidth: 1439case RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy: 1442case RegexNodeKind.Notone or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy: 1445case RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy: 1461case RegexNodeKind.Multi: 1504Debug.Assert(Kind == RegexNodeKind.Concatenate); 1510return new RegexNode(RegexNodeKind.Empty, Options); 1520if (child.Kind == RegexNodeKind.Nothing) 1546Debug.Assert(Kind == RegexNodeKind.Concatenate); 1563if (at.Kind == RegexNodeKind.Concatenate && 1582else if (at.Kind is RegexNodeKind.Multi or RegexNodeKind.One) 1596if (prev.Kind == RegexNodeKind.One) 1598prev.Kind = RegexNodeKind.Multi; 1603((at.Kind == RegexNodeKind.One) ? $"{prev.Str}{at.Ch}" : prev.Str + at.Str) : 1604((at.Kind == RegexNodeKind.One) ? $"{at.Ch}{prev.Str}" : at.Str + prev.Str); 1606else if (at.Kind == RegexNodeKind.Empty) 1629Debug.Assert(Kind == RegexNodeKind.Concatenate); 1667case 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: 1668case RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy when nextNode.Kind == currentNode.Kind && currentNode.Str == nextNode.Str: 1670currentNode.Kind is RegexNodeKind.Oneloopatomic or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Setloopatomic) 1693case RegexNodeKind.Oneloop or RegexNodeKind.Onelazy when nextNode.Kind == RegexNodeKind.One && currentNode.Ch == nextNode.Ch: 1694case RegexNodeKind.Notoneloop or RegexNodeKind.Notonelazy when nextNode.Kind == RegexNodeKind.Notone && currentNode.Ch == nextNode.Ch: 1695case RegexNodeKind.Setloop or RegexNodeKind.Setlazy when nextNode.Kind == RegexNodeKind.Set && currentNode.Str == nextNode.Str: 1709case RegexNodeKind.Oneloop or RegexNodeKind.Onelazy when 1710nextNode.Kind == RegexNodeKind.Multi && 1743nextNode.Kind = RegexNodeKind.One; 1761case RegexNodeKind.One when (nextNode.Kind is RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy) && currentNode.Ch == nextNode.Ch: 1762case RegexNodeKind.Notone when (nextNode.Kind is RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy) && currentNode.Ch == nextNode.Ch: 1763case RegexNodeKind.Set when (nextNode.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy) && currentNode.Str == nextNode.Str: 1776case RegexNodeKind.Notone when nextNode.Kind == currentNode.Kind && currentNode.Ch == nextNode.Ch: 1777case RegexNodeKind.Set when nextNode.Kind == RegexNodeKind.Set && currentNode.Str == nextNode.Str: 1778currentNode.MakeRep(RegexNodeKind.Oneloop, 2, 2); 1827if (Kind is not RegexNodeKind.Concatenate) 1852if (node.Kind is RegexNodeKind.Capture or RegexNodeKind.Concatenate) 1862if (node.Kind == RegexNodeKind.Loop) 1879case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop when CanBeMadeAtomic(node, subsequent, iterateNullableSubsequent: true, allowLazy: false): 1888case RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when CanBeMadeAtomic(node, subsequent, iterateNullableSubsequent: false, allowLazy: true): 1904node.Kind -= RegexNodeKind.Onelazy - RegexNodeKind.Oneloop; // lazy to greedy 1908case RegexNodeKind.Alternate or RegexNodeKind.BackreferenceConditional or RegexNodeKind.ExpressionConditional: 1919for (int b = node.Kind == RegexNodeKind.ExpressionConditional ? 1 : 0; b < alternateBranches; b++) 1939Debug.Assert(node.Kind is RegexNodeKind.Loop or RegexNodeKind.Lazyloop); 1945while (node.Kind == RegexNodeKind.Capture) 1956if (node.Kind == RegexNodeKind.Concatenate) 1973Debug.Assert(Kind is RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround); 1989if (Child(0).Kind == RegexNodeKind.Empty) 1991Kind = Kind == RegexNodeKind.PositiveLookaround ? RegexNodeKind.Empty : RegexNodeKind.Nothing; 2001Debug.Assert(Kind == RegexNodeKind.BackreferenceConditional); 2010AddChild(new RegexNode(RegexNodeKind.Empty, Options)); 2019Debug.Assert(Kind == RegexNodeKind.ExpressionConditional); 2028AddChild(new RegexNode(RegexNodeKind.Empty, Options)); 2037if (condition.Kind == RegexNodeKind.PositiveLookaround && (condition.Options & RegexOptions.RightToLeft) == 0) 2073Debug.Assert(subsequent.Kind != RegexNodeKind.Group); 2076case RegexNodeKind.Concatenate: 2077case RegexNodeKind.Capture: 2078case RegexNodeKind.Atomic: 2079case RegexNodeKind.PositiveLookaround when (subsequent.Options & RegexOptions.RightToLeft) == 0: // only lookaheads, not lookbehinds (represented as RTL PositiveLookaround nodes) 2080case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when subsequent.M > 0: 2103case RegexNodeKind.Alternate: 2104case RegexNodeKind.ExpressionConditional when childCount == 3: // condition, yes, and no branch 2120case RegexNodeKind.Oneloop: 2121case RegexNodeKind.Onelazy when allowLazy: 2124case RegexNodeKind.One when node.Ch != subsequent.Ch: 2125case RegexNodeKind.Notone when node.Ch == subsequent.Ch: 2126case RegexNodeKind.Set when !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2127case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M > 0 && node.Ch != subsequent.Ch: 2128case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.M > 0 && node.Ch == subsequent.Ch: 2129case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M > 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2130case RegexNodeKind.Multi when node.Ch != subsequent.Str![0]: 2131case RegexNodeKind.End: 2132case RegexNodeKind.EndZ or RegexNodeKind.Eol when node.Ch != '\n': 2135case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && node.Ch != subsequent.Ch: 2136case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.M == 0 && node.Ch == subsequent.Ch: 2137case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M == 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!): 2138case RegexNodeKind.Boundary when node.M > 0 && RegexCharClass.IsBoundaryWordChar(node.Ch): 2139case RegexNodeKind.NonBoundary when node.M > 0 && !RegexCharClass.IsBoundaryWordChar(node.Ch): 2140case RegexNodeKind.ECMABoundary when node.M > 0 && RegexCharClass.IsECMAWordChar(node.Ch): 2141case RegexNodeKind.NonECMABoundary when node.M > 0 && !RegexCharClass.IsECMAWordChar(node.Ch): 2150case RegexNodeKind.Notoneloop: 2151case RegexNodeKind.Notonelazy when allowLazy: 2154case RegexNodeKind.One when node.Ch == subsequent.Ch: 2155case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M > 0 && node.Ch == subsequent.Ch: 2156case RegexNodeKind.Multi when node.Ch == subsequent.Str![0]: 2157case RegexNodeKind.End: 2160case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && node.Ch == subsequent.Ch: 2169case RegexNodeKind.Setloop: 2170case RegexNodeKind.Setlazy when allowLazy: 2173case RegexNodeKind.One when !RegexCharClass.CharInClass(subsequent.Ch, node.Str!): 2174case RegexNodeKind.Set when !RegexCharClass.MayOverlap(node.Str!, subsequent.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.Multi when !RegexCharClass.CharInClass(subsequent.Str![0], node.Str!): 2178case RegexNodeKind.End: 2179case RegexNodeKind.EndZ or RegexNodeKind.Eol when !RegexCharClass.CharInClass('\n', node.Str!): 2182case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.M == 0 && !RegexCharClass.CharInClass(subsequent.Ch, node.Str!): 2183case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.M == 0 && !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!): 2184case RegexNodeKind.Boundary when node.M > 0 && node.Str is RegexCharClass.WordClass or RegexCharClass.DigitClass: 2185case RegexNodeKind.NonBoundary when node.M > 0 && node.Str is RegexCharClass.NotWordClass or RegexCharClass.NotDigitClass: 2186case RegexNodeKind.ECMABoundary when node.M > 0 && node.Str is RegexCharClass.ECMAWordClass or RegexCharClass.ECMADigitClass: 2187case RegexNodeKind.NonECMABoundary when node.M > 0 && node.Str is RegexCharClass.NotECMAWordClass or RegexCharClass.NotDigitClass: 2215case RegexNodeKind.Atomic: 2216case RegexNodeKind.Alternate: 2217case RegexNodeKind.Capture: 2221case RegexNodeKind.Concatenate: 2266case RegexNodeKind.One: 2267case RegexNodeKind.Notone: 2268case RegexNodeKind.Set: 2272case RegexNodeKind.Multi: 2276case RegexNodeKind.Notonelazy: 2277case RegexNodeKind.Notoneloop: 2278case RegexNodeKind.Notoneloopatomic: 2279case RegexNodeKind.Onelazy: 2280case RegexNodeKind.Oneloop: 2281case RegexNodeKind.Oneloopatomic: 2282case RegexNodeKind.Setlazy: 2283case RegexNodeKind.Setloop: 2284case RegexNodeKind.Setloopatomic: 2288case RegexNodeKind.Lazyloop: 2289case RegexNodeKind.Loop: 2293case RegexNodeKind.Alternate: 2306case RegexNodeKind.BackreferenceConditional: 2310case RegexNodeKind.ExpressionConditional: 2314case RegexNodeKind.Concatenate: 2326case RegexNodeKind.Atomic: 2327case RegexNodeKind.Capture: 2328case RegexNodeKind.Group: 2333case RegexNodeKind.Empty: 2334case RegexNodeKind.Nothing: 2335case RegexNodeKind.UpdateBumpalong: 2339case RegexNodeKind.Beginning: 2340case RegexNodeKind.Bol: 2341case RegexNodeKind.Boundary: 2342case RegexNodeKind.ECMABoundary: 2343case RegexNodeKind.End: 2344case RegexNodeKind.EndZ: 2345case RegexNodeKind.Eol: 2346case RegexNodeKind.NonBoundary: 2347case RegexNodeKind.NonECMABoundary: 2348case RegexNodeKind.Start: 2349case RegexNodeKind.NegativeLookaround: 2350case RegexNodeKind.PositiveLookaround: 2352case RegexNodeKind.Backreference: 2360goto case RegexNodeKind.Empty; 2379case RegexNodeKind.One: 2380case RegexNodeKind.Notone: 2381case RegexNodeKind.Set: 2385case RegexNodeKind.Multi: 2389case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or 2390RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or 2391RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic: 2395case RegexNodeKind.Loop or RegexNodeKind.Lazyloop: 2410case RegexNodeKind.Alternate: 2433case RegexNodeKind.BackreferenceConditional: 2434case RegexNodeKind.ExpressionConditional: 2437int i = Kind == RegexNodeKind.BackreferenceConditional ? 0 : 1; 2443case RegexNodeKind.Concatenate: 2465case RegexNodeKind.Atomic: 2466case RegexNodeKind.Capture: 2471case RegexNodeKind.Empty: 2472case RegexNodeKind.Nothing: 2473case RegexNodeKind.UpdateBumpalong: 2474case RegexNodeKind.Beginning: 2475case RegexNodeKind.Bol: 2476case RegexNodeKind.Boundary: 2477case RegexNodeKind.ECMABoundary: 2478case RegexNodeKind.End: 2479case RegexNodeKind.EndZ: 2480case RegexNodeKind.Eol: 2481case RegexNodeKind.NonBoundary: 2482case RegexNodeKind.NonECMABoundary: 2483case RegexNodeKind.Start: 2484case RegexNodeKind.PositiveLookaround: 2485case RegexNodeKind.NegativeLookaround: 2489case RegexNodeKind.Backreference: 2497goto case RegexNodeKind.Empty; 2520Debug.Assert(Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {Kind}"); 2533if (child.Kind is RegexNodeKind.One) 2546else if (child.Kind is RegexNodeKind.Multi) 2558else if (child.Kind is RegexNodeKind.Set || 2559(child.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic && child.M == child.N)) 2568vsb.Append((char)(twoChars[0] | 0x20), child.Kind is RegexNodeKind.Set ? 1 : child.M); 2570else if (child.Kind is RegexNodeKind.Empty) 2577child.Kind is RegexNodeKind.Beginning or 2578RegexNodeKind.Bol or 2579RegexNodeKind.Start or 2581RegexNodeKind.Boundary or 2582RegexNodeKind.ECMABoundary or 2583RegexNodeKind.NonBoundary or 2584RegexNodeKind.NonECMABoundary or 2586RegexNodeKind.NegativeLookaround or 2587RegexNodeKind.PositiveLookaround or 2589RegexNodeKind.UpdateBumpalong) 2636Debug.Assert(Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {Kind}"); 2640RegexNodeKind.One or RegexNodeKind.Notone or RegexNodeKind.Set => true, 2641RegexNodeKind.Multi => true, 2642RegexNodeKind.Oneloop or RegexNodeKind.Onelazy or RegexNodeKind.Oneloopatomic or 2643RegexNodeKind.Notoneloop or RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloopatomic or 2644RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic 2686return new RegexNode(RegexNodeKind.Empty, Options); 2692case <= MultiVsRepeaterLimit when Kind == RegexNodeKind.One: 2698Kind = RegexNodeKind.Multi; 2707case RegexNodeKind.One: 2708case RegexNodeKind.Notone: 2709case RegexNodeKind.Set: 2710MakeRep(lazy ? RegexNodeKind.Onelazy : RegexNodeKind.Oneloop, min, max); 2714var result = new RegexNode(lazy ? RegexNodeKind.Lazyloop : RegexNodeKind.Loop, Options, min, max); 2837public bool IsSetFamily => Kind is RegexNodeKind.Set or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy; 2840public bool IsOneFamily => Kind is RegexNodeKind.One or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy; 2843public bool IsNotoneFamily => Kind is RegexNodeKind.Notone or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy; 2894case RegexNodeKind.Oneloop: 2895case RegexNodeKind.Oneloopatomic: 2896case RegexNodeKind.Notoneloop: 2897case RegexNodeKind.Notoneloopatomic: 2898case RegexNodeKind.Onelazy: 2899case RegexNodeKind.Notonelazy: 2900case RegexNodeKind.One: 2901case RegexNodeKind.Notone: 2904case RegexNodeKind.Capture: 2911case RegexNodeKind.Backreference: 2912case RegexNodeKind.BackreferenceConditional: 2915case RegexNodeKind.Multi: 2923case RegexNodeKind.Set: 2924case RegexNodeKind.Setloop: 2925case RegexNodeKind.Setloopatomic: 2926case RegexNodeKind.Setlazy: 2933case RegexNodeKind.Oneloop: 2934case RegexNodeKind.Oneloopatomic: 2935case RegexNodeKind.Notoneloop: 2936case RegexNodeKind.Notoneloopatomic: 2937case RegexNodeKind.Onelazy: 2938case RegexNodeKind.Notonelazy: 2939case RegexNodeKind.Setloop: 2940case RegexNodeKind.Setloopatomic: 2941case RegexNodeKind.Setlazy: 2942case RegexNodeKind.Loop: 2943case 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)) 1255case RegexNodeKind.PositiveLookaround: 1260case RegexNodeKind.Bol: 1261case RegexNodeKind.Eol: 1262case RegexNodeKind.Beginning: 1263case RegexNodeKind.Start: 1264case RegexNodeKind.EndZ: 1265case RegexNodeKind.End: 1266case RegexNodeKind.Boundary: 1267case RegexNodeKind.ECMABoundary: 1268case RegexNodeKind.NegativeLookaround: 1269case RegexNodeKind.Empty: 1273case RegexNodeKind.Atomic: 1274case RegexNodeKind.Capture: 1279case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.M >= 1: 1285case RegexNodeKind.Concatenate: 1306public static RegexNodeKind FindLeadingAnchor(RegexNode node) => 1310public static RegexNodeKind FindTrailingAnchor(RegexNode node) => 1314private static RegexNodeKind FindLeadingOrTrailingAnchor(RegexNode node, bool leading) 1320return RegexNodeKind.Unknown; 1327case RegexNodeKind.Bol: 1328case RegexNodeKind.Eol: 1329case RegexNodeKind.Beginning: 1330case RegexNodeKind.Start: 1331case RegexNodeKind.EndZ: 1332case RegexNodeKind.End: 1333case RegexNodeKind.Boundary: 1334case RegexNodeKind.ECMABoundary: 1338case RegexNodeKind.Atomic: 1339case RegexNodeKind.Capture: 1340case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when leading && node.M >= 1: 1341case RegexNodeKind.PositiveLookaround when leading && (node.Options & RegexOptions.RightToLeft) == 0: 1351case RegexNodeKind.Concatenate: 1358RegexNodeKind bestAnchorFound = RegexNodeKind.Unknown; 1366case RegexNodeKind.Empty or RegexNodeKind.NegativeLookaround: 1367case RegexNodeKind.PositiveLookaround when ((node.Options | tmpChild.Options) & RegexOptions.RightToLeft) != 0: 1371case RegexNodeKind.PositiveLookaround: 1393if (node.Child(i).Kind is not (RegexNodeKind.Empty or RegexNodeKind.PositiveLookaround or RegexNodeKind.NegativeLookaround)) 1401if (bestAnchorFound is not RegexNodeKind.Unknown) 1423static RegexNodeKind ChooseBetterAnchor(RegexNodeKind anchor1, RegexNodeKind anchor2) 1426anchor1 == RegexNodeKind.Unknown ? anchor2 : 1427anchor2 == RegexNodeKind.Unknown ? anchor1 : 1431static int RankAnchorQuality(RegexNodeKind node) => 1434RegexNodeKind.Beginning => 3, 1435RegexNodeKind.Start => 3, 1436RegexNodeKind.End => 3, 1437RegexNodeKind.EndZ => 3, 1439RegexNodeKind.Bol => 2, 1440RegexNodeKind.Eol => 2, 1442RegexNodeKind.Boundary => 1, 1443RegexNodeKind.ECMABoundary => 1, 1449static bool IsBestAnchor(RegexNodeKind anchor) => 1451anchor is RegexNodeKind.Beginning or RegexNodeKind.Start or RegexNodeKind.End or RegexNodeKind.EndZ; 1454case RegexNodeKind.Alternate: 1458RegexNodeKind anchor = FindLeadingOrTrailingAnchor(node.Child(0), leading); 1459if (anchor == RegexNodeKind.Unknown) 1461return RegexNodeKind.Unknown; 1471return RegexNodeKind.Unknown; 1481return RegexNodeKind.Unknown;

36Debug.Assert(concat.Kind == RegexNodeKind.Concatenate, $"Expected Concatenate, got {concat.Kind}"); 50case RegexNodeKind.Multi: 54case RegexNodeKind.One: 58case 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>

211findOptimizations.LeadingAnchor is not RegexNodeKind.Beginning)