Searched refs:RefStepString (Results 1 – 1 of 1) sorted by relevance
1725 StringRef RefStepString = In.substr(Position + 1); in parseRefinementStep() local1728 if (RefStepString.size() == 1) { in parseRefinementStep()1729 char RefStepChar = RefStepString[0]; in parseRefinementStep()