%PDF- %PDF-
| Direktori : /usr/share/doc/re2c/examples/rust/eof/ |
| Current File : //usr/share/doc/re2c/examples/rust/eof/02_bounds_checking.rs |
/* Generated by re2c */
// re2rust $INPUT -o $OUTPUT
const YYMAXFILL: usize = 1;
fn lex(s: &[u8]) -> isize {
let mut count = 0;
let mut cur = 0;
let lim = s.len() + YYMAXFILL;
// Copy string to a buffer and add YYMAXFILL zero padding.
let mut buf = Vec::with_capacity(lim);
buf.extend(s.iter());
buf.extend(vec![0; YYMAXFILL]);
'lex: loop {
{
#[allow(unused_assignments)]
let mut yych : u8 = 0;
let mut yystate : usize = 0;
'yyl: loop {
match yystate {
0 => {
if cur + 1 > lim {
return -1;
}
yych = unsafe {*buf.get_unchecked(cur)};
cur += 1;
match yych {
0x00 => {
yystate = 1;
continue 'yyl;
}
0x20 => {
yystate = 3;
continue 'yyl;
}
0x27 => {
yystate = 5;
continue 'yyl;
}
_ => {
yystate = 2;
continue 'yyl;
}
}
}
1 => {
// Check that it is the sentinel, not some unexpected null.
return if cur == s.len() + 1 { count } else { -1 }
}
2 => { return -1; }
3 => {
if cur + 1 > lim {
return -1;
}
yych = unsafe {*buf.get_unchecked(cur)};
match yych {
0x20 => {
cur += 1;
yystate = 3;
continue 'yyl;
}
_ => {
yystate = 4;
continue 'yyl;
}
}
}
4 => { continue 'lex; }
5 => {
if cur + 1 > lim {
return -1;
}
yych = unsafe {*buf.get_unchecked(cur)};
cur += 1;
match yych {
0x27 => {
yystate = 6;
continue 'yyl;
}
0x5C => {
yystate = 7;
continue 'yyl;
}
_ => {
yystate = 5;
continue 'yyl;
}
}
}
6 => { count += 1; continue 'lex; }
7 => {
if cur + 1 > lim {
return -1;
}
cur += 1;
yystate = 5;
continue 'yyl;
}
_ => {
panic!("internal lexer error")
}
}
}
}
}
}
fn main() {
assert_eq!(lex(b""), 0);
assert_eq!(lex(b"'qu\0tes' 'are' 'fine: \\'' "), 3);
assert_eq!(lex(b"'unterminated\\'"), -1);
assert_eq!(lex(b"'unexpected \0 null"), -1);
}