Verifies: SYS-REQ-116 (streaming string decoding) SYS-REQ-116:nominal:nominal reqproof:proptest:skip targeted streaming witness; not a property-test subject
(t *testing.T)
| 75 | // SYS-REQ-116:nominal:nominal |
| 76 | // reqproof:proptest:skip targeted streaming witness; not a property-test subject |
| 77 | func TestReaderParserGetString(t *testing.T) { |
| 78 | rp := NewReaderParser(strings.NewReader(`{"message":"hello\n\u263a"}`)) |
| 79 | got, err := rp.GetString("message") |
| 80 | if err != nil { |
| 81 | t.Fatalf("GetString returned error: %v", err) |
| 82 | } |
| 83 | if want := "hello\n☺"; got != want { |
| 84 | t.Fatalf("GetString = %q, want %q", got, want) |
| 85 | } |
| 86 | |
| 87 | rp = NewReaderParser(strings.NewReader(`{"message":42}`)) |
| 88 | if _, err := rp.GetString("message"); err == nil { |
| 89 | t.Fatal("GetString accepted a non-string value") |
| 90 | } |
| 91 | } |
| 92 | |
| 93 | // Verifies: SYS-REQ-116 (incremental array iteration) |
| 94 | // SYS-REQ-116:nominal:nominal |
nothing calls this directly
no test coverage detected