Function TestApiConsistencyEachKeyMatchesGet

property_test.go:470–521

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

(t *testing.T)

// Verifies: SYS-REQ-008
// reqproof:proptest parser.EachKey, parser.Get
func TestApiConsistencyEachKeyMatchesGet(t *testing.T) {
	r := newRNG(jsonSeed + 17)
	const iterations = 2000

	for i := 0; i < iterations; i++ {
		payload := randomJSONValue(r, 3)
		terminalArray := []interface{}{
			randomJSONValue(r, 2),
			randomJSONValue(r, 2),
		}
		document := map[string]interface{}{
			"payload":       payload,
			"terminalArray": terminalArray,
		}
		raw, err := json.Marshal(document)
		if err != nil {
			t.Fatalf("json.Marshal generated corpus item: %v", err)
		}

		var path []string
		if i%4 == 0 {
			// Guarantee broad coverage of the issue #232 class: an array
			// index is the terminal path component.
			path = []string{"terminalArray", fmt.Sprintf("[%d]", r.Intn(len(terminalArray)))}
		} else {
			path = append([]string{"payload"}, randomExistingJSONPath(r, payload)...)
		}

		getValue, getType, _, getErr := Get(raw, path...)

		var eachValue []byte
		var eachType ValueType
		var eachErr error
		callbacks := 0
		EachKey(raw, func(index int, value []byte, valueType ValueType, err error) {
			callbacks++
			if index != 0 {
				t.Errorf("EachKey callback index = %d, want 0; input=%q path=%v", index, raw, path)
			}
			eachValue, eachType, eachErr = value, valueType, err
		}, path)

		if callbacks != 1 {
			t.Fatalf("EachKey callback count = %d, want 1; input=%q path=%v Get=(%q,%v,%v)",
				callbacks, raw, path, getValue, getType, getErr)
		}
		if !bytes.Equal(eachValue, getValue) || eachType != getType || eachErr != getErr {
			t.Fatalf("EachKey and Get disagree; input=%q path=%v EachKey=(%q,%v,%v) Get=(%q,%v,%v)",
				raw, path, eachValue, eachType, eachErr, getValue, getType, getErr)
		}
	}
}

// ---------------------------------------------------------------------------
// Property: Set then Get returns the set value (round-trip)