Function TestGetArrayLen

len_uint_test.go:14–90

Verifies: SYS-REQ-112 (container length accessor). reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-112:nominal:nominal SYS-REQ-112:boundary:nominal SYS-REQ-112:malformed_input:nominal SYS-REQ-112:malformed_input:negative

(t *testing.T)

// SYS-REQ-112:malformed_input:nominal
// SYS-REQ-112:malformed_input:negative
func TestGetArrayLen(t *testing.T) {
	tests := []struct {
		name    string
		data    string
		keys    []string
		want    int
		wantErr error
	}{
		{
			name: "empty array",
			data: `[]`,
			want: 0,
		},
		{
			name: "one element",
			data: `{"values":[1]}`,
			keys: []string{"values"},
			want: 1,
		},
		{
			name: "five elements",
			data: `[1,2,3,4,5]`,
			want: 5,
		},
		{
			name: "nested array inner length",
			data: `{"values":[[1,2,3],["ignored"]]}`,
			keys: []string{"values", "[0]"},
			want: 3,
		},
		{
			name: "mixed types",
			data: `[1,true,null,{"nested":[1,2]},["x","y"]]`,
			want: 5,
		},
		{
			name: "array of strings",
			data: `["one,two","three","four,five,six"]`,
			want: 3,
		},
		{
			name:    "malformed array",
			data:    `[1,2`,
			wantErr: MalformedArrayError,
		},
		{
			name:    "addressed value is not an array",
			data:    `{"values":1}`,
			keys:    []string{"values"},
			wantErr: KeyPathNotFoundError,
		},
		{
			name:    "missing path",
			data:    `{"values":[]}`,
			keys:    []string{"missing"},
			wantErr: KeyPathNotFoundError,
		},
	}