Function TestGetUint64

len_uint_test.go:167–249

Verifies: SYS-REQ-003 (GetInt/typed accessors). reqproof:proptest:skip targeted witness/regression test; not a property-test subject

(t *testing.T)

// Verifies: SYS-REQ-003 (GetInt/typed accessors).
// reqproof:proptest:skip targeted witness/regression test; not a property-test subject
func TestGetUint64(t *testing.T) {
	tests := []struct {
		name    string
		data    string
		keys    []string
		want    uint64
		wantErr error
		anyErr  bool
	}{
		{
			name: "zero",
			data: `{"value":0}`,
			keys: []string{"value"},
			want: 0,
		},
		{
			name: "one",
			data: `{"value":1}`,
			keys: []string{"value"},
			want: 1,
		},
		{
			name: "max uint64",
			data: `{"value":18446744073709551615}`,
			keys: []string{"value"},
			want: ^uint64(0),
		},
		{
			name:    "negative",
			data:    `{"value":-1}`,
			keys:    []string{"value"},
			wantErr: MalformedValueError,
		},
		{
			name: "max int64",
			data: `{"value":9223372036854775807}`,
			keys: []string{"value"},
			want: uint64(9223372036854775807),
		},
		{
			name:    "max uint64 plus one",
			data:    `{"value":18446744073709551616}`,
			keys:    []string{"value"},
			wantErr: OverflowIntegerError,
		},
		{
			name:   "string value",
			data:   `{"value":"1"}`,
			keys:   []string{"value"},
			anyErr: true,
		},
		{
			name:    "missing key",
			data:    `{"value":1}`,
			keys:    []string{"missing"},
			wantErr: KeyPathNotFoundError,
		},
	}