Lines Matching defs:ch
61 int ch = read_char(); in comment() local
71 scanner::token scanner::read_symbol(int ch) { in read_symbol()
97 int ch; in read_id() local
162 int ch = read_char(); in read_params() local
211 int ch = read_char(); in read_number() local
239 int ch = read_char(); in read_string() local
268 int ch = read_char(); in read_bv_literal() local
318 int ch = read_char(); in read_bv_literal() local
345 signed ch = read_char(); in read_bv_literal() local
377 char ch; in scanner() local
452 int ch = read_char(); in scan() local