Searched refs:new_char (Results 1 – 3 of 3) sorted by relevance
100 new_char = self.peek_char()101 if new_char.char.isspace():106 if new_char.char == '#':109 if new_char.char == '"':112 if new_char.char == '/':154 new_char = self.peek_char()155 if not new_char.is_eof:156 if new_char.char == '/':159 elif new_char.char == '*':168 new_char = self.get_char()[all …]
112 new_char = self.peek_char()113 if new_char.char.isspace():118 if new_char.char.isalpha() or new_char.char == '_':121 if new_char.char == '/':135 if new_char.char.isalpha() or new_char.char.isdigit(136 ) or new_char.char == '_' or new_char.char == '.':151 new_char = self.peek_char()152 if not new_char.is_eof:153 if new_char.char == '/':156 elif new_char.char == '*':[all …]
444 inline std::string ReplaceChar(std::string str, char old_char, char new_char) in ReplaceChar() argument448 it = new_char; in ReplaceChar()