%PDF-
%PDF-
Mini Shell
Mini Shell
// Code generated by re2c, DO NOT EDIT.
//line "go/eof/02_bounds_checking.re":1
//go:generate re2go $INPUT -o $OUTPUT
package main
import "strings"
//line "go/eof/02_bounds_checking.go":9
var YYMAXFILL int = 1
//line "go/eof/02_bounds_checking.re":6
// 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 {
//line "go/eof/02_bounds_checking.go":24
{
var yych byte
if (lim - cur < 1) {
return -1
}
yych = buf[cur]
switch (yych) {
case 0x00:
goto yy1
case ' ':
goto yy3
case '\'':
goto yy5
default:
goto yy2
}
yy1:
cur += 1
//line "go/eof/02_bounds_checking.re":26
{
// Check that it is the sentinel, not some unexpected null.
if cur - 1 == len(str) { return count } else { return -1 }
}
//line "go/eof/02_bounds_checking.go":48
yy2:
cur += 1
//line "go/eof/02_bounds_checking.re":32
{ return -1 }
//line "go/eof/02_bounds_checking.go":53
yy3:
cur += 1
if (lim - cur < 1) {
return -1
}
yych = buf[cur]
switch (yych) {
case ' ':
goto yy3
default:
goto yy4
}
yy4:
//line "go/eof/02_bounds_checking.re":31
{ continue }
//line "go/eof/02_bounds_checking.go":69
yy5:
cur += 1
if (lim - cur < 1) {
return -1
}
yych = buf[cur]
switch (yych) {
case '\'':
goto yy6
case '\\':
goto yy7
default:
goto yy5
}
yy6:
cur += 1
//line "go/eof/02_bounds_checking.re":30
{ count += 1; continue }
//line "go/eof/02_bounds_checking.go":88
yy7:
cur += 1
if (lim - cur < 1) {
return -1
}
goto yy5
}
//line "go/eof/02_bounds_checking.re":33
}
}
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)
}
Zerion Mini Shell 1.0