Lines Matching defs:space_char

5072     charT space_char) {
5126           __curr_symbol_.insert(0, 1, space_char);
5148           __curr_symbol_.insert(0, 1, space_char);
5177           __curr_symbol_.insert(0, 1, space_char);
5219           __curr_symbol_.insert(0, 1, space_char);
5241           __curr_symbol_.insert(0, 1, space_char);
5280           __curr_symbol_.insert(0, 1, space_char);
5302           __curr_symbol_.push_back(space_char);
5333           __curr_symbol_.push_back(space_char);
5364           __curr_symbol_.push_back(space_char);
5404           __curr_symbol_.push_back(space_char);