Searched refs:after_spaces (Results 1 – 1 of 1) sorted by relevance
1359 size_type after_spaces = pos; in stream_extractor() local1365 for( ; pos < len && (pos - after_spaces) < max_digits; ++pos) { in stream_extractor()1370 size_type num_digits = after_digits - after_spaces; in stream_extractor()1426 String sub = str.substr(after_spaces, num_digits); in stream_extractor()