14 references to GetState
System.Text.RegularExpressions (14)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Automata.cs (3)
401
MatchingState<TSet> coreState =
GetState
(coreId);
405
GetState
(coreTargetId).Node : coreState.Next(_builder, minterm, nextCharKind);
430
MatchingState<TSet> coreState =
GetState
(GetCoreStateId(nfaStateId));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (9)
534
nfaState.InitializeFrom(this,
GetState
(currentState.DfaStateId));
607
nfaState.InitializeFrom(this,
GetState
(currentState.DfaStateId));
888
nfaState.InitializeFrom(this,
GetState
(currentState.DfaStateId));
1061
if (flags.IsNullable() || (flags.CanBeNullable() &&
GetState
(coreStateId).IsNullableFor(GetCharKind(input, i + 1))))
1083
MatchingState<TSet> endState =
GetState
(GetCoreStateId(endStateId));
1285
if (matcher.TryCreateNewTransition(matcher.
GetState
(dfaStateId), mintermId, dfaOffset, checkThreshold: true, timeoutOccursAt, out MatchingState<TSet>? nextState))
1316
if (matcher.
GetState
(matcher.GetCoreStateId(nfaState.Key)).StartsWithLineAnchor)
1330
if (matcher.
GetState
(matcher.GetCoreStateId(nfaState.Key)).IsNullableFor(nextCharKind))
1385
(flags.IsNullable() || (flags.CanBeNullable() && matcher.
GetState
(coreStateId).IsNullableFor(nextCharKind))))
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Explore.cs (2)
73
MatchingState<TSet>? coreState = args.Matcher.
GetState
(args.Matcher.GetCoreStateId(nfaId));
91
EnqueueIfUnseen(
GetState
(GetCoreStateId(nextNfaState)), seen, toExplore);