Function nextToken

parser.go:236–238

SYS-REQ-001 Find position of next character which is not whitespace reqproof:lemma nextToken_in_range func(data []byte) bool { r := nextToken(data) return r >= -1 && r < len(data) } reqproof:lemma nextToken_empty_neg func(data []byte) bool { return !(len(data) == 0) || nextToken(data)

(data []byte)

//	  return true
//	}
func nextToken(data []byte) int {
	return nextTokenConfig(DefaultConfig, data)
}

// SYS-REQ-115
func nextTokenConfig(_ Config, data []byte) int {