1const std = @import("std");
2const json = std.json;
3const testing = std.testing;
4const parseFromSlice = @import("./static.zig").parseFromSlice;
5const Scanner = @import("./Scanner.zig");
6const Value = @import("./dynamic.zig").Value;
7
8// Support for JSONTestSuite.zig
9pub fn ok(s: []const u8) !void {
10 try testLowLevelScanner(s);
11 try testHighLevelDynamicParser(s);
12}
13pub fn err(s: []const u8) !void {
14 try testing.expect(std.meta.isError(testLowLevelScanner(s)));
15 try testing.expect(std.meta.isError(testHighLevelDynamicParser(s)));
16}
17pub fn any(s: []const u8) !void {
18 testLowLevelScanner(s) catch {};
19 testHighLevelDynamicParser(s) catch {};
20}
21fn testLowLevelScanner(s: []const u8) !void {
22 var scanner = Scanner.initCompleteInput(testing.allocator, s);
23 defer scanner.deinit();
24 while (true) {
25 const token = try scanner.next();
26 if (token == .end_of_document) break;
27 }
28}
29fn testHighLevelDynamicParser(s: []const u8) !void {
30 var parsed = try parseFromSlice(Value, testing.allocator, s, .{
31 .duplicate_field_behavior = .use_first,
32 });
33 defer parsed.deinit();
34}
35
36// Additional tests not part of test JSONTestSuite.
37test "y_trailing_comma_after_empty" {
38 try roundTrip(
39 \\{"1":[],"2":{},"3":"4"}
40 );
41}
42test "n_object_closed_missing_value" {
43 try err(
44 \\{"a":}
45 );
46}
47
48fn roundTrip(s: []const u8) !void {
49 try testing.expect(try Scanner.validate(testing.allocator, s));
50
51 var parsed = try parseFromSlice(Value, testing.allocator, s, .{});
52 defer parsed.deinit();
53
54 const rendered = try json.Stringify.valueAlloc(testing.allocator, parsed.value, .{});
55 defer testing.allocator.free(rendered);
56
57 try testing.expectEqualStrings(s, rendered);
58}
59
60test "truncated UTF-8 sequence" {
61 try err("\"\xc2\"");
62 try err("\"\xdf\"");
63 try err("\"\xed\xa0\"");
64 try err("\"\xf0\x80\"");
65 try err("\"\xf0\x80\x80\"");
66}
67
68test "invalid continuation byte" {
69 try err("\"\xc2\x00\"");
70 try err("\"\xc2\x7f\"");
71 try err("\"\xc2\xc0\"");
72 try err("\"\xc3\xc1\"");
73 try err("\"\xc4\xf5\"");
74 try err("\"\xc5\xff\"");
75 try err("\"\xe4\x80\x00\"");
76 try err("\"\xe5\x80\x10\"");
77 try err("\"\xe6\x80\xc0\"");
78 try err("\"\xe7\x80\xf5\"");
79 try err("\"\xe8\x00\x80\"");
80 try err("\"\xf2\x00\x80\x80\"");
81 try err("\"\xf0\x80\x00\x80\"");
82 try err("\"\xf1\x80\xc0\x80\"");
83 try err("\"\xf2\x80\x80\x00\"");
84 try err("\"\xf3\x80\x80\xc0\"");
85 try err("\"\xf4\x80\x80\xf5\"");
86}
87
88test "disallowed overlong form" {
89 try err("\"\xc0\x80\"");
90 try err("\"\xc0\x90\"");
91 try err("\"\xc1\x80\"");
92 try err("\"\xc1\x90\"");
93 try err("\"\xe0\x80\x80\"");
94 try err("\"\xf0\x80\x80\x80\"");
95}
96
97test "out of UTF-16 range" {
98 try err("\"\xf4\x90\x80\x80\"");
99 try err("\"\xf5\x80\x80\x80\"");
100 try err("\"\xf6\x80\x80\x80\"");
101 try err("\"\xf7\x80\x80\x80\"");
102 try err("\"\xf8\x80\x80\x80\"");
103 try err("\"\xf9\x80\x80\x80\"");
104 try err("\"\xfa\x80\x80\x80\"");
105 try err("\"\xfb\x80\x80\x80\"");
106 try err("\"\xfc\x80\x80\x80\"");
107 try err("\"\xfd\x80\x80\x80\"");
108 try err("\"\xfe\x80\x80\x80\"");
109 try err("\"\xff\x80\x80\x80\"");
110}