Searched refs:strip_space (Results 1 – 1 of 1) sorted by relevance
1039 result.append(strip_space(buf))1049 result.append(strip_space(buf))1063 result.append(strip_space(buf) + ';')1068 result.append(strip_space(buf) + ',')1080 result.append(strip_space(buf))1139 expr = strip_space(' '.join([tok.id for tok in self.tokens]))1408 def strip_space(s): function