fn read_word()

in z3tracer/src/lexer.rs [148:164]


    fn read_word(&mut self) -> RawResult<String> {
        let mut bytes = Vec::new();
        while let Some(c) = self.peek_byte() {
            let c = *c;
            if c == b' ' {
                self.consume_byte();
                self.skip_spaces();
                break;
            }
            if c == b'\n' || c == b'#' || c == b';' || c == b'(' || c == b')' {
                break;
            }
            bytes.push(c);
            self.consume_byte();
        }
        String::from_utf8(bytes).map_err(RawError::InvalidUtf8String)
    }