fn read_token()

in z3tracer/src/lexer.rs [97:108]


    fn read_token(&mut self, token: u8) -> RawResult<()> {
        match self.read_byte() {
            Some(c) if c == token => {
                self.skip_spaces();
                Ok(())
            }
            x => Err(RawError::UnexpectedChar(
                x.map(char::from),
                vec![token as char],
            )),
        }
    }