Branch data Line data Source code
1 : : /* Selftest support for JSON.
2 : : Copyright (C) 2024 Free Software Foundation, Inc.
3 : : Contributed by David Malcolm <dmalcolm@redhat.com>.
4 : :
5 : : This file is part of GCC.
6 : :
7 : : GCC is free software; you can redistribute it and/or modify it under
8 : : the terms of the GNU General Public License as published by the Free
9 : : Software Foundation; either version 3, or (at your option) any later
10 : : version.
11 : :
12 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 : : for more details.
16 : :
17 : : You should have received a copy of the GNU General Public License
18 : : along with GCC; see the file COPYING3. If not see
19 : : <http://www.gnu.org/licenses/>. */
20 : :
21 : : #include "config.h"
22 : : #define INCLUDE_MEMORY
23 : : #include "system.h"
24 : : #include "coretypes.h"
25 : : #include "diagnostic.h"
26 : : #include "selftest.h"
27 : : #include "selftest-json.h"
28 : :
29 : : /* The selftest code should entirely disappear in a production
30 : : configuration, hence we guard all of it with #if CHECKING_P. */
31 : :
32 : : #if CHECKING_P
33 : :
34 : : namespace selftest {
35 : :
36 : : /* Assert that VALUE is a non-null json::string
37 : : equalling EXPECTED_VALUE.
38 : : Use LOC for any failures. */
39 : :
40 : : void
41 : 616 : assert_json_string_eq (const location &loc,
42 : : const json::value *value,
43 : : const char *expected_value)
44 : : {
45 : 616 : ASSERT_EQ_AT (loc, value->get_kind (), json::JSON_STRING);
46 : 616 : const json::string *str = static_cast<const json::string *> (value);
47 : 616 : ASSERT_STREQ_AT (loc, expected_value, str->get_string ());
48 : 616 : }
49 : :
50 : : /* Assert that VALUE is a non-null json::object,
51 : : returning it as such, failing at LOC if this isn't the case. */
52 : :
53 : : const json::object *
54 : 2896 : expect_json_object (const location &loc,
55 : : const json::value *value)
56 : : {
57 : 2896 : ASSERT_NE_AT (loc, value, nullptr);
58 : 2896 : ASSERT_EQ_AT (loc, value->get_kind (), json::JSON_OBJECT);
59 : 2896 : return static_cast<const json::object *> (value);
60 : : }
61 : :
62 : : /* Assert that VALUE is a non-null json::object that has property
63 : : PROPERTY_NAME.
64 : : Return the value of the property.
65 : : Use LOC for any failures. */
66 : :
67 : : const json::value *
68 : 2884 : expect_json_object_with_property (const location &loc,
69 : : const json::value *value,
70 : : const char *property_name)
71 : : {
72 : 2884 : const json::object *obj = expect_json_object (loc, value);
73 : 2884 : const json::value *property_value = obj->get (property_name);
74 : 2884 : ASSERT_NE_AT (loc, property_value, nullptr);
75 : 2884 : return property_value;
76 : : }
77 : :
78 : : /* Assert that VALUE is a non-null json::object that has property
79 : : PROPERTY_NAME, and that the value of that property is a non-null
80 : : json::integer_number equalling EXPECTED_VALUE.
81 : : Use LOC for any failures. */
82 : :
83 : : void
84 : 1088 : assert_json_int_property_eq (const location &loc,
85 : : const json::value *value,
86 : : const char *property_name,
87 : : long expected_value)
88 : : {
89 : 1088 : const json::value *property_value
90 : 1088 : = expect_json_object_with_property (loc, value, property_name);
91 : 1088 : ASSERT_EQ_AT (loc, property_value->get_kind (), json::JSON_INTEGER);
92 : 1088 : long actual_value
93 : 1088 : = static_cast<const json::integer_number *> (property_value)->get ();
94 : 1088 : ASSERT_EQ_AT (loc, expected_value, actual_value);
95 : 1088 : }
96 : :
97 : : /* Assert that VALUE is a non-null json::object that has property
98 : : PROPERTY_NAME, and that the property value is a non-null JSON object.
99 : : Return the value of the property as a json::object.
100 : : Use LOC for any failures. */
101 : :
102 : : const json::object *
103 : 864 : expect_json_object_with_object_property (const location &loc,
104 : : const json::value *value,
105 : : const char *property_name)
106 : : {
107 : 864 : const json::value *property_value
108 : 864 : = expect_json_object_with_property (loc, value, property_name);
109 : 864 : ASSERT_EQ_AT (loc, property_value->get_kind (), json::JSON_OBJECT);
110 : 864 : return static_cast<const json::object *> (property_value);
111 : : }
112 : :
113 : : /* Assert that VALUE is a non-null json::object that has property
114 : : PROPERTY_NAME, and that the property value is a non-null JSON array.
115 : : Return the value of the property as a json::array.
116 : : Use LOC for any failures. */
117 : :
118 : : const json::array *
119 : 308 : expect_json_object_with_array_property (const location &loc,
120 : : const json::value *value,
121 : : const char *property_name)
122 : : {
123 : 308 : const json::value *property_value
124 : 308 : = expect_json_object_with_property (loc, value, property_name);
125 : 308 : ASSERT_EQ_AT (loc, property_value->get_kind (), json::JSON_ARRAY);
126 : 308 : return static_cast<const json::array *> (property_value);
127 : : }
128 : :
129 : : /* Assert that VALUE is a non-null json::object that has property
130 : : PROPERTY_NAME, and that the property value is a non-null JSON string.
131 : : Return the value of the property as a json::string.
132 : : Use LOC for any failures. */
133 : :
134 : : const json::string *
135 : 12 : expect_json_object_with_string_property (const location &loc,
136 : : const json::value *value,
137 : : const char *property_name)
138 : : {
139 : 12 : const json::value *property_value
140 : 12 : = expect_json_object_with_property (loc, value, property_name);
141 : 12 : ASSERT_EQ_AT (loc, property_value->get_kind (), json::JSON_STRING);
142 : 12 : return static_cast<const json::string *> (property_value);
143 : : }
144 : :
145 : : /* Assert that VALUE is a non-null json::object that has property
146 : : PROPERTY_NAME, and that the value of that property is a non-null
147 : : JSON string equalling EXPECTED_VALUE.
148 : : Use LOC for any failures. */
149 : :
150 : : void
151 : 612 : assert_json_string_property_eq (const location &loc,
152 : : const json::value *value,
153 : : const char *property_name,
154 : : const char *expected_value)
155 : : {
156 : 612 : const json::value *property_value
157 : 612 : = expect_json_object_with_property (loc, value, property_name);
158 : 612 : assert_json_string_eq (loc, property_value, expected_value);
159 : 612 : }
160 : :
161 : : } // namespace selftest
162 : :
163 : : #endif /* #if CHECKING_P */
|
