Function nextTokenConfig

parser.go:240–251

SYS-REQ-115

(_ Config, data []byte)

// SYS-REQ-115
func nextTokenConfig(_ Config, data []byte) int {
	for i, c := range data {
		// reqproof:invariant 0 <= i
		// reqproof:invariant i <= len(data)
		if c == ' ' || c == '\n' || c == '\r' || c == '\t' {
			continue
		}
		return i
	}

	return -1
}

// SYS-REQ-001
// Find position of last character which is not whitespace