%PDF- %PDF-
| Direktori : /usr/share/doc/re2c/examples/go/eof/ |
| Current File : //usr/share/doc/re2c/examples/go/eof/02_bounds_checking.re |
//go:generate re2go $INPUT -o $OUTPUT
package main
import "strings"
/*!max:re2c*/
// Expects YYMAXFILL-padded string.
func lex(str string) int {
// Pad string with YYMAXFILL zeroes at the end.
buf := str + strings.Repeat("\000", YYMAXFILL)
var cur int
lim := len(buf)
count := 0
for { /*!re2c
re2c:define:YYCTYPE = byte;
re2c:define:YYPEEK = "buf[cur]";
re2c:define:YYSKIP = "cur += 1";
re2c:define:YYLESSTHAN = "lim - cur < @@";
re2c:define:YYFILL = "return -1";
str = ['] ([^'\\] | [\\][^])* ['];
[\x00] {
// Check that it is the sentinel, not some unexpected null.
if cur - 1 == len(str) { return count } else { return -1 }
}
str { count += 1; continue }
[ ]+ { continue }
* { return -1 }
*/
}
}
func main() {
assert_eq := func(x, y int) { if x != y { panic("error") } }
assert_eq(lex(""), 0)
assert_eq(lex("'qu\000tes' 'are' 'fine: \\'' "), 3)
assert_eq(lex("'unterminated\\'"), -1)
assert_eq(lex("'unexpected \000 null\\'"), -1)
}