11 writes to M
System.Text.RegularExpressions (11)
System\Text\RegularExpressions\RegexNode.cs (11)
75
M
= m;
82
M
= m;
98
newNode.
M
= M - 1;
153
M
= min;
200
M
= N = 0;
209
M
= N = 0;
885
u.
M
= min = ((int.MaxValue - 1) / u.M < min) ? int.MaxValue : u.M * min;
1802
currentNode.
M
+= nextNode.M;
1816
currentNode.
M
++;
1843
currentNode.
M
+= matchingCharsInMulti;
1885
currentNode.
M
= nextNode.M + 1;
177 references to M
System.Text.RegularExpressions (177)
System\Text\RegularExpressions\RegexCompiler.cs (35)
1343
if (target.LoopNode.
M
> 0)
1358
Ldc(target.LoopNode.
M
);
1855
int capnum = RegexParser.MapCaptureNumber(node.
M
, _regexTree!.CaptureNumberSparseMapping);
2037
int capnum = RegexParser.MapCaptureNumber(node.
M
, _regexTree!.CaptureNumberSparseMapping);
2390
int capnum = RegexParser.MapCaptureNumber(node.
M
, _regexTree!.CaptureNumberSparseMapping);
3297
if (node.
M
== node.N)
3307
Debug.Assert(node.
M
< node.N);
3337
if (node.
M
> 0)
3340
Ldc(!rtl ? node.
M
: -node.
M
);
3508
if (node.
M
> 0)
3515
if (node.
M
== node.N || analysis.IsAtomicByAncestor(node))
3520
Debug.Assert(node.
M
< node.N);
3534
maxIterations = node.N - node.
M
;
3851
Debug.Assert(node.
M
< int.MaxValue, $"Unexpected M={node.
M
}");
3852
Debug.Assert(node.N >= node.
M
, $"Unexpected M={node.
M
}, N={node.N}");
3856
int minIterations = node.
M
;
4214
int iterations = node.
M
;
4364
if (node.
M
== node.N)
4371
if (node.
M
== 0 && node.N == 1)
4377
Debug.Assert(node.N > node.
M
);
4378
int minIterations = node.
M
;
4609
Debug.Assert(node.
M
== 0 && node.N == 1);
4698
Debug.Assert(node.
M
< int.MaxValue, $"Unexpected M={node.
M
}");
4699
Debug.Assert(node.
M
== node.N, $"Unexpected M={node.
M
} == N={node.N}");
4729
Ldc(node.
M
);
4736
Debug.Assert(node.
M
< int.MaxValue, $"Unexpected M={node.
M
}");
4737
Debug.Assert(node.N >= node.
M
, $"Unexpected M={node.
M
}, N={node.N}");
4741
int minIterations = node.
M
;
System\Text\RegularExpressions\RegexFindOptimizations.cs (1)
845
if ((i - prev - 1) < loopNode.
M
)
System\Text\RegularExpressions\RegexNode.cs (73)
92
Debug.Assert(
M
> 0);
98
newNode.M =
M
- 1;
182
N =
M
;
207
RegexNode loopAsChild = new(RegexNodeKind.Loop, Options,
M
, N);
218
N =
M
;
831
int min =
M
;
876
if (u.
M
== 0 && child.
M
> 1 || child.N < child.
M
* 2)
883
if (u.
M
> 0)
885
u.M = min = ((int.MaxValue - 1) / u.
M
< min) ? int.MaxValue : u.
M
* min;
910
child.MakeRep(u.Kind == RegexNodeKind.Lazyloop ? RegexNodeKind.Onelazy : RegexNodeKind.Oneloop, u.
M
, u.N);
935
u = u.
M
== 0 ? new RegexNode(RegexNodeKind.Empty, Options) : child;
1227
case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop or RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when required.
M
== required.N:
1245
required.
M
!= other.
M
||
1507
Debug.Assert(Kind is RegexNodeKind.One or RegexNodeKind.Multi || (IsOneFamily &&
M
> 0));
1523
case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy when node.
M
> 0:
1525
case RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic or RegexNodeKind.Notonelazy when node.
M
> 0:
1527
case RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic or RegexNodeKind.Setlazy when node.
M
> 0:
1535
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
> 0:
1787
if (nextNode.
M
> 0 &&
1797
if (!CanCombineCounts(currentNode.
M
, currentNode.N, nextNode.
M
, nextNode.N))
1802
currentNode.M += nextNode.
M
;
1814
if (CanCombineCounts(currentNode.
M
, currentNode.N, 1, 1))
1840
if (CanCombineCounts(currentNode.
M
, currentNode.N, matchingCharsInMulti, matchingCharsInMulti))
1882
if (CanCombineCounts(1, 1, nextNode.
M
, nextNode.N))
1885
currentNode.M = nextNode.
M
+ 1;
2298
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when subsequent.
M
> 0:
2353
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
> 0 && node.Ch != subsequent.Ch:
2354
case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.
M
> 0 && node.Ch == subsequent.Ch:
2355
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
> 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!):
2359
case RegexNodeKind.Boundary when node.
M
> 0 && RegexCharClass.IsBoundaryWordChar(node.Ch):
2360
case RegexNodeKind.NonBoundary when node.
M
> 0 && !RegexCharClass.IsBoundaryWordChar(node.Ch):
2361
case RegexNodeKind.ECMABoundary when node.
M
> 0 && RegexCharClass.IsECMAWordChar(node.Ch):
2362
case RegexNodeKind.NonECMABoundary when node.
M
> 0 && !RegexCharClass.IsECMAWordChar(node.Ch):
2365
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
== 0 && node.Ch != subsequent.Ch:
2366
case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when subsequent.
M
== 0 && node.Ch == subsequent.Ch:
2367
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
== 0 && !RegexCharClass.CharInClass(node.Ch, subsequent.Str!):
2381
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
> 0 && node.Ch == subsequent.Ch:
2386
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
== 0 && node.Ch == subsequent.Ch:
2401
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
> 0 && !RegexCharClass.CharInClass(subsequent.Ch, node.Str!):
2402
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
> 0 && !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!):
2406
case RegexNodeKind.Boundary when node.
M
> 0 && RegexCharClass.IsKnownWordClassSubset(node.Str!):
2407
case RegexNodeKind.NonBoundary when node.
M
> 0 && node.Str is RegexCharClass.NotWordClass or RegexCharClass.NotDigitClass:
2408
case RegexNodeKind.ECMABoundary when node.
M
> 0 && node.Str is RegexCharClass.ECMAWordClass or RegexCharClass.ECMADigitClass:
2409
case RegexNodeKind.NonECMABoundary when node.
M
> 0 && node.Str is RegexCharClass.NotECMAWordClass or RegexCharClass.NotDigitClass:
2412
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
== 0 && !RegexCharClass.CharInClass(subsequent.Ch, node.Str!):
2413
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
== 0 && !RegexCharClass.MayOverlap(node.Str!, subsequent.Str!):
2448
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
> 0 && !CharInStartingOrEndingSet(subsequent.Ch):
2449
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
> 0 && !MayOverlapStartingOrEndingSet(subsequent.Str!):
2453
case RegexNodeKind.Boundary when node.
M
> 0 && RegexCharClass.IsKnownWordClassSubset(loopStartingSet) && RegexCharClass.IsKnownWordClassSubset(loopEndingSet):
2454
case RegexNodeKind.NonBoundary when node.
M
> 0 && (loopStartingSet is RegexCharClass.NotWordClass or RegexCharClass.NotDigitClass) && (loopEndingSet is RegexCharClass.NotWordClass or RegexCharClass.NotDigitClass):
2455
case RegexNodeKind.ECMABoundary when node.
M
> 0 && (loopStartingSet is RegexCharClass.ECMAWordClass or RegexCharClass.ECMADigitClass) && (loopEndingSet is RegexCharClass.ECMAWordClass or RegexCharClass.ECMADigitClass):
2456
case RegexNodeKind.NonECMABoundary when node.
M
> 0 && (loopStartingSet is RegexCharClass.NotECMAWordClass or RegexCharClass.NotDigitClass) && (loopEndingSet is RegexCharClass.NotECMAWordClass or RegexCharClass.NotDigitClass):
2459
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when subsequent.
M
== 0 && !CharInStartingOrEndingSet(subsequent.Ch):
2460
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when subsequent.
M
== 0 && !MayOverlapStartingOrEndingSet(subsequent.Str!):
2608
return
M
;
2613
return (int)Math.Min(int.MaxValue - 1, (long)
M
* Child(0).ComputeMinLength());
2881
(child.Kind is RegexNodeKind.Setloop or RegexNodeKind.Setlazy or RegexNodeKind.Setloopatomic && child.
M
== child.N))
2890
vsb.Append((char)(twoChars[0] | 0x20), child.Kind is RegexNodeKind.Set ? 1 : child.
M
);
2952
when node.
M
== node.N => true,
3212
sb.Append(' ').Append($"index = {
M
}");
3220
sb.Append(' ').Append($"index = {
M
}");
3252
(
M
== 0 && N == int.MaxValue) ? "*" :
3253
(
M
== 0 && N == 1) ? "?" :
3254
(
M
== 1 && N == int.MaxValue) ? "+" :
3255
(N == int.MaxValue) ? $"{{{
M
}, *}}" :
3256
(N ==
M
) ? $"{{{
M
}}}" :
3257
$"{{{
M
}, {N}}}");
System\Text\RegularExpressions\RegexNodeKind.cs (14)
31
/// The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.
36
/// <remarks>The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.</remarks>
40
/// <remarks>The <see cref="RegexCharClass"/> set string is specified in <see cref="RegexNode.Str"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.</remarks>
45
/// <remarks>The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.</remarks>
49
/// <remarks>The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.</remarks>
53
/// <remarks>The <see cref="RegexCharClass"/> set string is specified in <see cref="RegexNode.Str"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.</remarks>
59
/// The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.
65
/// The character is specified in <see cref="RegexNode.Ch"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.
71
/// The <see cref="RegexCharClass"/> set string is specified in <see cref="RegexNode.Str"/>, the minimum number of iterations in <see cref="RegexNode.
M
"/>, and the maximum number of iterations in <see cref="RegexNode.N"/>.
77
/// <remarks>The capture group number referenced is stored in <see cref="RegexNode.
M
"/>.</remarks>
128
/// One and only one child, the expression in the loop. The minimum number of iterations is in <see cref="RegexNode.
M
"/>,
134
/// One and only one child, the expression in the loop. The minimum number of iterations is in <see cref="RegexNode.
M
"/>,
141
/// One and only one child, the expression in the capture. <see cref="RegexNode.
M
"/> is the number of the capture, and if a balancing
169
/// The referenced capture group number is stored in <see cref="RegexNode.
M
"/>.
System\Text\RegularExpressions\RegexOpcode.cs (1)
151
/// For quantified constructs with a minimum of zero (<see cref="RegexNode.
M
"/> == 0), this opcode pushes a counter
System\Text\RegularExpressions\RegexPrefixAnalyzer.cs (26)
114
int reps = node.Kind is RegexNodeKind.One ? 1 : Math.Min(node.
M
, MaxPrefixLength);
164
int reps = node.Kind is RegexNodeKind.Set ? 1 : Math.Min(node.
M
, MaxPrefixLength);
226
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
> 0:
228
int limit = Math.Min(node.
M
, MaxPrefixLength); // MaxPrefixLength here is somewhat arbitrary, as a single loop iteration could yield multiple chars
432
case RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic or RegexNodeKind.Onelazy when node.
M
> 0:
434
int count = Math.Min(node.
M
, SingleCharIterationLimit);
439
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
> 0:
442
int limit = Math.Min(node.
M
, NodeIterationLimit);
493
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
> 0:
609
case RegexNodeKind.Onelazy or RegexNodeKind.Oneloop or RegexNodeKind.Oneloopatomic when node.
M
> 0:
612
int minIterations = Math.Min(node.
M
, MaxLoopExpansion);
618
return i == node.
M
&& i == node.N;
641
case RegexNodeKind.Setlazy or RegexNodeKind.Setloop or RegexNodeKind.Setloopatomic when node.
M
> 0:
643
int minIterations = Math.Min(node.
M
, MaxLoopExpansion);
649
return i == node.
M
&& i == node.N;
658
case RegexNodeKind.Notonelazy or RegexNodeKind.Notoneloop or RegexNodeKind.Notoneloopatomic when node.
M
== node.N:
659
distance += node.
M
;
686
case RegexNodeKind.Lazyloop or RegexNodeKind.Loop when node.
M
> 0:
959
return node.Kind is RegexNodeKind.One || node.
M
> 0 ? true : null;
977
return node.Kind is RegexNodeKind.Notone || node.
M
> 0 ? true : null;
996
node.Kind is RegexNodeKind.Set || node.
M
> 0 ? true :
1043
_ => node.
M
== 0 ? null : true,
1225
(nextChild.Kind is RegexNodeKind.Loop or RegexNodeKind.Lazyloop && nextChild.
M
>= 1))
1233
(nextChild.Kind is RegexNodeKind.Set || nextChild.
M
>= 1))
1303
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
>= 1:
1362
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when leading && node.
M
>= 1:
System\Text\RegularExpressions\RegexReplacement.cs (1)
65
int slot = child.
M
;
System\Text\RegularExpressions\RegexTreeAnalyzer.cs (2)
50
case RegexNodeKind.Loop or RegexNodeKind.Lazyloop when node.
M
!= node.N:
51
case RegexNodeKind.Oneloop or RegexNodeKind.Notoneloop or RegexNodeKind.Setloop or RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy or RegexNodeKind.Setlazy when node.
M
!= node.N:
System\Text\RegularExpressions\RegexWriter.cs (20)
254
Emit(RegexOpcode.TestBackreference, RegexParser.MapCaptureNumber(node.
M
, _tree.CaptureNumberSparseMapping));
314
if (node.N < int.MaxValue || node.
M
> 1)
315
Emit(node.
M
== 0 ? RegexOpcode.Nullcount : RegexOpcode.Setcount, node.
M
== 0 ? 0 : 1 - node.
M
);
317
Emit(node.
M
== 0 ? RegexOpcode.Nullmark : RegexOpcode.Setmark);
319
if (node.
M
== 0)
333
if (node.N < int.MaxValue || node.
M
> 1)
334
Emit(RegexOpcode.Branchcount + Lazy, _intStack.Pop(), node.N == int.MaxValue ? int.MaxValue : node.N - node.
M
);
338
if (node.
M
== 0)
348
Emit(RegexOpcode.Capturemark, RegexParser.MapCaptureNumber(node.
M
, _tree.CaptureNumberSparseMapping), RegexParser.MapCaptureNumber(node.N, _tree.CaptureNumberSparseMapping));
392
if (node.
M
> 0)
395
RegexOpcode.Onerep : RegexOpcode.Notonerep) | bits, node.Ch, node.
M
);
397
if (node.N > node.
M
)
399
Emit((RegexOpcode)node.Kind | bits, node.Ch, node.N == int.MaxValue ? int.MaxValue : node.N - node.
M
);
408
if (node.
M
> 0)
410
Emit(RegexOpcode.Setrep | bits, stringCode, node.
M
);
412
if (node.N > node.
M
)
414
Emit((RegexOpcode)node.Kind | bits, stringCode, (node.N == int.MaxValue) ? int.MaxValue : node.N - node.
M
);
428
Emit((RegexOpcode)node.Kind | bits, RegexParser.MapCaptureNumber(node.
M
, _tree.CaptureNumberSparseMapping));
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (4)
117
result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(bdd), node.Kind is RegexNodeKind.Onelazy or RegexNodeKind.Notonelazy, node.
M
, node.N));
128
result.AddLast(_builder.CreateLoop(_builder.CreateSingleton(setBdd), node.Kind == RegexNodeKind.Setlazy, node.
M
, node.N));
260
result.AddLast(_builder.CreateLoop(body, node.Kind == RegexNodeKind.Lazyloop, node.
M
, node.N));
272
int captureNum = RegexParser.MapCaptureNumber(node.
M
, _captureSparseMapping);