Function randomExistingJSONPath

property_test.go:435–466

(r *mathrand.Rand, value interface{})

}

func randomExistingJSONPath(r *mathrand.Rand, value interface{}) []string {
	var path []string
	current := value

	for len(path) < 16 {
		switch node := current.(type) {
		case map[string]interface{}:
			if len(node) == 0 || (len(path) > 0 && r.Intn(4) == 0) {
				return path
			}
			keys := make([]string, 0, len(node))
			for key := range node {
				keys = append(keys, key)
			}
			sort.Strings(keys)
			key := keys[r.Intn(len(keys))]
			path = append(path, key)
			current = node[key]
		case []interface{}:
			if len(node) == 0 || (len(path) > 0 && r.Intn(4) == 0) {
				return path
			}
			index := r.Intn(len(node))
			path = append(path, fmt.Sprintf("[%d]", index))
			current = node[index]
		default:
			return path
		}
	}

	return path
}

// Verifies: SYS-REQ-008
// reqproof:proptest parser.EachKey, parser.Get