Function TestPropertyTypedAccessorsRoundTrip

property_test.go:196–238

--------------------------------------------------------------------------- Property: typed accessors agree with encoding/json on typed leaves --------------------------------------------------------------------------- reqproof:proptest GetString, GetInt, GetFloat, GetBoolean, GetUnsafeString Verif

(t *testing.T)

// reqproof:proptest GetString, GetInt, GetFloat, GetBoolean, GetUnsafeString
// Verifies: SYS-REQ-002 [property]
func TestPropertyTypedAccessorsRoundTrip(t *testing.T) {
	r := newRNG(jsonSeed + 1)
	const iterations = 2000
	for i := 0; i < iterations; i++ {
		raw, obj := randomObjectJSONBytes(r, 2)
		for k, v := range obj {
			switch val := v.(type) {
			case string:
				got, err := GetString(raw, k)
				if err == nil && got != val {
					t.Fatalf("GetString mismatch on key=%q input=%q: got=%q want=%q", k, raw, got, val)
				}
				// GetUnsafeString does NOT process escapes; only compare on the
				// no-escape case where unsafe and safe paths must agree.
				if !strings.ContainsAny(val, "\\\"\n\t\r") {
					if u, err := GetUnsafeString(raw, k); err == nil {
						if u != val {
							t.Fatalf("GetUnsafeString mismatch on key=%q input=%q: got=%q want=%q", k, raw, u, val)
						}
					}
				}
			case float64:
				// encoding/json marshals all numbers as float64. Try int first
				// when the value is integral, then float.
				if val == float64(int64(val)) {
					if got, err := GetInt(raw, k); err == nil && got != int64(val) {
						t.Fatalf("GetInt mismatch on key=%q input=%q: got=%d want=%d", k, raw, got, int64(val))
					}
				}
				if got, err := GetFloat(raw, k); err == nil {
					if got != val {
						t.Fatalf("GetFloat mismatch on key=%q input=%q: got=%g want=%g", k, raw, got, val)
					}
				}
			case bool:
				got, err := GetBoolean(raw, k)
				if err == nil && got != val {
					t.Fatalf("GetBoolean mismatch on key=%q input=%q: got=%v want=%v", k, raw, got, val)
				}
			}
		}
	}
}

// ---------------------------------------------------------------------------
// Property: ParseInt/ParseFloat/ParseBoolean agree with strconv reference