Function findTokenStart

parser.go:80–91

SYS-REQ-001 NOTE: findTokenStart's two-conditional-return body shape exposes the translator's __early_val scoping bug; we leave it without an in-range lemma. (Documented as a Phase S.2c.4 follow-up.)

(data []byte, token byte)

// the translator's __early_val scoping bug; we leave it without an
// in-range lemma. (Documented as a Phase S.2c.4 follow-up.)
func findTokenStart(data []byte, token byte) int {
	for i := len(data) - 1; i >= 0; i-- {
		switch data[i] {
		case token:
			return i
		case '[', '{':
			return 0
		}
	}

	return 0
}

// SYS-REQ-001, SYS-REQ-020, SYS-REQ-024
func findKeyStart(data []byte, key string) (int, error) {