Skip to content

Commit aed992c

Browse files
jviottijviotti
committed
More
Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
1 parent 48b4224 commit aed992c

1 file changed

Lines changed: 219 additions & 79 deletions

File tree

‎test/documentation/documentation_2020_12_test.cc‎

Lines changed: 219 additions & 79 deletions
Original file line numberDiff line numberDiff line change
@@ -50,21 +50,39 @@ TEST(Documentation_2020_12, object_with_const_and_anyof) {
5050
const auto &applicator_branch{all_of.children.at(0)};
5151
EXPECT_TABLE_SIZE(applicator_branch, 2, 0, 1);
5252
EXPECT_EQ(applicator_branch.children.front().label, "Any of");
53-
EXPECT_EQ(applicator_branch.children.front().children.size(), 2);
54-
const auto &indoor_expansion{
55-
applicator_branch.children.front().children.at(0)};
56-
EXPECT_TABLE_SIZE(indoor_expansion, 3, 0, 1);
57-
EXPECT_EQ(indoor_expansion.children.front().label, "Any of");
58-
EXPECT_EQ(indoor_expansion.children.front().children.size(), 6);
59-
const auto &outdoor_expansion{
60-
applicator_branch.children.front().children.at(1)};
61-
EXPECT_TABLE_SIZE(outdoor_expansion, 16, 0, 1);
62-
EXPECT_EQ(outdoor_expansion.children.front().label, "Any of");
63-
EXPECT_EQ(outdoor_expansion.children.front().children.size(), 6);
53+
EXPECT_EQ(applicator_branch.children.front().children.size(), 7);
54+
55+
const auto &null_branch{applicator_branch.children.front().children.at(0)};
56+
EXPECT_TABLE_SIZE(null_branch, 3, 1, 0);
57+
EXPECT_WILDCARD_ROW_ENUM(4, null_branch, 0, PATH(), 1, 0);
58+
const auto &bool_branch{applicator_branch.children.front().children.at(1)};
59+
EXPECT_TABLE_SIZE(bool_branch, 5, 1, 0);
60+
EXPECT_WILDCARD_ROW_ENUM(6, bool_branch, 0, PATH(), 2, 0);
61+
const auto &indoor_branch{applicator_branch.children.front().children.at(2)};
62+
EXPECT_TABLE_SIZE(indoor_branch, 7, 1, 0);
63+
EXPECT_ROW_ENUM_BOOLEANS(8, indoor_branch, 0, PATH(LITERAL("indoor")), false,
64+
false, true);
65+
const auto &array_branch{applicator_branch.children.front().children.at(3)};
66+
EXPECT_TABLE_SIZE(array_branch, 9, 1, 0);
67+
EXPECT_WILDCARD_ROW_ARRAY(10, array_branch, 0, PATH());
68+
const auto &string_branch{applicator_branch.children.front().children.at(4)};
69+
EXPECT_TABLE_SIZE(string_branch, 11, 1, 0);
70+
EXPECT_WILDCARD_ROW_PRIMITIVE(
71+
12, string_branch, 0, PATH(),
72+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
73+
const auto &number_branch{applicator_branch.children.front().children.at(5)};
74+
EXPECT_TABLE_SIZE(number_branch, 13, 1, 0);
75+
EXPECT_WILDCARD_ROW_PRIMITIVE(
76+
14, number_branch, 0, PATH(),
77+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
78+
const auto &outdoor_branch{applicator_branch.children.front().children.at(6)};
79+
EXPECT_TABLE_SIZE(outdoor_branch, 15, 1, 0);
80+
EXPECT_ROW_ENUM_BOOLEANS(16, outdoor_branch, 0, PATH(LITERAL("outdoor")),
81+
false, false, true);
6482

6583
const auto &typed_branch{all_of.children.at(1)};
66-
EXPECT_TABLE_SIZE(typed_branch, 29, 1, 0);
67-
EXPECT_ROW_ENUM_STRINGS(30, typed_branch, 0, PATH(LITERAL("kind")), false,
84+
EXPECT_TABLE_SIZE(typed_branch, 17, 1, 0);
85+
EXPECT_ROW_ENUM_STRINGS(18, typed_branch, 0, PATH(LITERAL("kind")), false,
6886
"cat");
6987
}
7088

@@ -184,25 +202,72 @@ TEST(Documentation_2020_12, allof_object) {
184202
EXPECT_TABLE_SIZE(documentation, 0, 1, 1);
185203
EXPECT_ROOT_ROW_OBJECT(1, documentation, 0);
186204

187-
EXPECT_SECTION(documentation, 0, "All of", 2);
205+
EXPECT_SECTION(documentation, 0, "All of", 3);
188206
const auto &all_of{documentation.children.front()};
189207

190-
const auto &applicator_branch{all_of.children.at(0)};
191-
EXPECT_TABLE_SIZE(applicator_branch, 2, 0, 1);
192-
EXPECT_EQ(applicator_branch.children.front().label, "All of");
193-
EXPECT_EQ(applicator_branch.children.front().children.size(), 2);
194-
const auto &name_expansion{applicator_branch.children.front().children.at(0)};
195-
EXPECT_TABLE_SIZE(name_expansion, 3, 0, 1);
196-
EXPECT_EQ(name_expansion.children.front().label, "Any of");
197-
EXPECT_EQ(name_expansion.children.front().children.size(), 6);
198-
const auto &age_expansion{applicator_branch.children.front().children.at(1)};
199-
EXPECT_TABLE_SIZE(age_expansion, 16, 0, 1);
200-
EXPECT_EQ(age_expansion.children.front().label, "Any of");
201-
EXPECT_EQ(age_expansion.children.front().children.size(), 6);
208+
const auto &name_anyof_branch{all_of.children.at(0)};
209+
EXPECT_TABLE_SIZE(name_anyof_branch, 2, 0, 1);
210+
EXPECT_EQ(name_anyof_branch.children.front().label, "Any of");
211+
EXPECT_EQ(name_anyof_branch.children.front().children.size(), 6);
212+
const auto &name_null{name_anyof_branch.children.front().children.at(0)};
213+
EXPECT_TABLE_SIZE(name_null, 3, 1, 0);
214+
EXPECT_WILDCARD_ROW_ENUM(4, name_null, 0, PATH(), 1, 0);
215+
const auto &name_bool{name_anyof_branch.children.front().children.at(1)};
216+
EXPECT_TABLE_SIZE(name_bool, 5, 1, 0);
217+
EXPECT_WILDCARD_ROW_ENUM(6, name_bool, 0, PATH(), 2, 0);
218+
const auto &name_object{name_anyof_branch.children.front().children.at(2)};
219+
EXPECT_TABLE_SIZE(name_object, 7, 1, 0);
220+
EXPECT_ROW_PRIMITIVE(
221+
8, name_object, 0, PATH(LITERAL("name")),
222+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String,
223+
true);
224+
const auto &name_array{name_anyof_branch.children.front().children.at(3)};
225+
EXPECT_TABLE_SIZE(name_array, 9, 1, 0);
226+
EXPECT_WILDCARD_ROW_ARRAY(10, name_array, 0, PATH());
227+
const auto &name_string{name_anyof_branch.children.front().children.at(4)};
228+
EXPECT_TABLE_SIZE(name_string, 11, 1, 0);
229+
EXPECT_WILDCARD_ROW_PRIMITIVE(
230+
12, name_string, 0, PATH(),
231+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
232+
const auto &name_number{name_anyof_branch.children.front().children.at(5)};
233+
EXPECT_TABLE_SIZE(name_number, 13, 1, 0);
234+
EXPECT_WILDCARD_ROW_PRIMITIVE(
235+
14, name_number, 0, PATH(),
236+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
202237

203-
const auto &typed_branch{all_of.children.at(1)};
204-
EXPECT_TABLE_SIZE(typed_branch, 29, 1, 0);
205-
EXPECT_WILDCARD_ROW_OBJECT(30, typed_branch, 0, PATH());
238+
const auto &age_anyof_branch{all_of.children.at(1)};
239+
EXPECT_TABLE_SIZE(age_anyof_branch, 15, 0, 1);
240+
EXPECT_EQ(age_anyof_branch.children.front().label, "Any of");
241+
EXPECT_EQ(age_anyof_branch.children.front().children.size(), 6);
242+
const auto &age_null{age_anyof_branch.children.front().children.at(0)};
243+
EXPECT_TABLE_SIZE(age_null, 16, 1, 0);
244+
EXPECT_WILDCARD_ROW_ENUM(17, age_null, 0, PATH(), 1, 0);
245+
const auto &age_bool{age_anyof_branch.children.front().children.at(1)};
246+
EXPECT_TABLE_SIZE(age_bool, 18, 1, 0);
247+
EXPECT_WILDCARD_ROW_ENUM(19, age_bool, 0, PATH(), 2, 0);
248+
const auto &age_object{age_anyof_branch.children.front().children.at(2)};
249+
EXPECT_TABLE_SIZE(age_object, 20, 1, 0);
250+
EXPECT_ROW_PRIMITIVE(
251+
21, age_object, 0, PATH(LITERAL("age")),
252+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Integer,
253+
true);
254+
const auto &age_array{age_anyof_branch.children.front().children.at(3)};
255+
EXPECT_TABLE_SIZE(age_array, 22, 1, 0);
256+
EXPECT_WILDCARD_ROW_ARRAY(23, age_array, 0, PATH());
257+
const auto &age_string{age_anyof_branch.children.front().children.at(4)};
258+
EXPECT_TABLE_SIZE(age_string, 24, 1, 0);
259+
EXPECT_WILDCARD_ROW_PRIMITIVE(
260+
25, age_string, 0, PATH(),
261+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
262+
const auto &age_number{age_anyof_branch.children.front().children.at(5)};
263+
EXPECT_TABLE_SIZE(age_number, 26, 1, 0);
264+
EXPECT_WILDCARD_ROW_PRIMITIVE(
265+
27, age_number, 0, PATH(),
266+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
267+
268+
const auto &typed_branch{all_of.children.at(2)};
269+
EXPECT_TABLE_SIZE(typed_branch, 28, 1, 0);
270+
EXPECT_WILDCARD_ROW_OBJECT(29, typed_branch, 0, PATH());
206271
}
207272

208273
TEST(Documentation_2020_12, dependent_schemas_as_allof) {
@@ -889,24 +954,43 @@ TEST(Documentation_2020_12, contains_branching_section) {
889954
PATH(SYNTHETIC("matching item")));
890955
EXPECT_EQ(contains_table.children.front().label, "All of");
891956
EXPECT_EQ(contains_table.children.front().children.size(), 2);
957+
892958
const auto &contains_applicator{
893959
contains_table.children.front().children.at(0)};
894960
EXPECT_TABLE_SIZE(contains_applicator, 3, 0, 1);
895961
EXPECT_EQ(contains_applicator.children.front().label, "Any of");
896-
EXPECT_EQ(contains_applicator.children.front().children.size(), 2);
897-
const auto &admin_expansion{
898-
contains_applicator.children.front().children.at(0)};
899-
EXPECT_TABLE_SIZE(admin_expansion, 4, 0, 1);
900-
EXPECT_EQ(admin_expansion.children.front().label, "Any of");
901-
EXPECT_EQ(admin_expansion.children.front().children.size(), 6);
902-
const auto &owner_expansion{
903-
contains_applicator.children.front().children.at(1)};
904-
EXPECT_TABLE_SIZE(owner_expansion, 17, 0, 1);
905-
EXPECT_EQ(owner_expansion.children.front().label, "Any of");
906-
EXPECT_EQ(owner_expansion.children.front().children.size(), 6);
962+
EXPECT_EQ(contains_applicator.children.front().children.size(), 7);
963+
964+
const auto &c_null{contains_applicator.children.front().children.at(0)};
965+
EXPECT_TABLE_SIZE(c_null, 4, 1, 0);
966+
EXPECT_WILDCARD_ROW_ENUM(5, c_null, 0, PATH(), 1, 0);
967+
const auto &c_bool{contains_applicator.children.front().children.at(1)};
968+
EXPECT_TABLE_SIZE(c_bool, 6, 1, 0);
969+
EXPECT_WILDCARD_ROW_ENUM(7, c_bool, 0, PATH(), 2, 0);
970+
const auto &c_admin{contains_applicator.children.front().children.at(2)};
971+
EXPECT_TABLE_SIZE(c_admin, 8, 1, 0);
972+
EXPECT_ROW_ENUM_STRINGS(9, c_admin, 0, PATH(LITERAL("role")), false, "admin");
973+
const auto &c_array{contains_applicator.children.front().children.at(3)};
974+
EXPECT_TABLE_SIZE(c_array, 10, 1, 0);
975+
EXPECT_WILDCARD_ROW_ARRAY(11, c_array, 0, PATH());
976+
const auto &c_string{contains_applicator.children.front().children.at(4)};
977+
EXPECT_TABLE_SIZE(c_string, 12, 1, 0);
978+
EXPECT_WILDCARD_ROW_PRIMITIVE(
979+
13, c_string, 0, PATH(),
980+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
981+
const auto &c_number{contains_applicator.children.front().children.at(5)};
982+
EXPECT_TABLE_SIZE(c_number, 14, 1, 0);
983+
EXPECT_WILDCARD_ROW_PRIMITIVE(
984+
15, c_number, 0, PATH(),
985+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
986+
const auto &c_owner{contains_applicator.children.front().children.at(6)};
987+
EXPECT_TABLE_SIZE(c_owner, 16, 1, 0);
988+
EXPECT_ROW_ENUM_STRINGS(17, c_owner, 0, PATH(LITERAL("role")), false,
989+
"owner");
990+
907991
const auto &contains_typed{contains_table.children.front().children.at(1)};
908-
EXPECT_TABLE_SIZE(contains_typed, 30, 1, 0);
909-
EXPECT_WILDCARD_ROW_OBJECT(31, contains_typed, 0, PATH());
992+
EXPECT_TABLE_SIZE(contains_typed, 18, 1, 0);
993+
EXPECT_WILDCARD_ROW_OBJECT(19, contains_typed, 0, PATH());
910994
}
911995

912996
TEST(Documentation_2020_12, string_all_annotations) {
@@ -1077,22 +1161,42 @@ TEST(Documentation_2020_12, content_schema_branching) {
10771161
EXPECT_WILDCARD_ROW_OBJECT(2, decoded_table, 0, PATH(SYNTHETIC("decoded")));
10781162
EXPECT_EQ(decoded_table.children.front().label, "All of");
10791163
EXPECT_EQ(decoded_table.children.front().children.size(), 2);
1164+
10801165
const auto &decoded_applicator{decoded_table.children.front().children.at(0)};
10811166
EXPECT_TABLE_SIZE(decoded_applicator, 3, 0, 1);
10821167
EXPECT_EQ(decoded_applicator.children.front().label, "Any of");
1083-
EXPECT_EQ(decoded_applicator.children.front().children.size(), 2);
1084-
const auto &v1_expansion{decoded_applicator.children.front().children.at(0)};
1085-
EXPECT_TABLE_SIZE(v1_expansion, 4, 0, 1);
1086-
EXPECT_EQ(v1_expansion.children.front().label, "Any of");
1087-
EXPECT_EQ(v1_expansion.children.front().children.size(), 6);
1088-
const auto &v2_expansion{decoded_applicator.children.front().children.at(1)};
1089-
EXPECT_TABLE_SIZE(v2_expansion, 17, 0, 1);
1090-
EXPECT_EQ(v2_expansion.children.front().label, "Any of");
1091-
EXPECT_EQ(v2_expansion.children.front().children.size(), 6);
1168+
EXPECT_EQ(decoded_applicator.children.front().children.size(), 7);
1169+
1170+
const auto &d_null{decoded_applicator.children.front().children.at(0)};
1171+
EXPECT_TABLE_SIZE(d_null, 4, 1, 0);
1172+
EXPECT_WILDCARD_ROW_ENUM(5, d_null, 0, PATH(), 1, 0);
1173+
const auto &d_bool{decoded_applicator.children.front().children.at(1)};
1174+
EXPECT_TABLE_SIZE(d_bool, 6, 1, 0);
1175+
EXPECT_WILDCARD_ROW_ENUM(7, d_bool, 0, PATH(), 2, 0);
1176+
const auto &d_v1{decoded_applicator.children.front().children.at(2)};
1177+
EXPECT_TABLE_SIZE(d_v1, 8, 1, 0);
1178+
EXPECT_ROW_ENUM_STRINGS(9, d_v1, 0, PATH(LITERAL("format")), false, "v1");
1179+
const auto &d_array{decoded_applicator.children.front().children.at(3)};
1180+
EXPECT_TABLE_SIZE(d_array, 10, 1, 0);
1181+
EXPECT_WILDCARD_ROW_ARRAY(11, d_array, 0, PATH());
1182+
const auto &d_string{decoded_applicator.children.front().children.at(4)};
1183+
EXPECT_TABLE_SIZE(d_string, 12, 1, 0);
1184+
EXPECT_WILDCARD_ROW_PRIMITIVE(
1185+
13, d_string, 0, PATH(),
1186+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
1187+
const auto &d_number{decoded_applicator.children.front().children.at(5)};
1188+
EXPECT_TABLE_SIZE(d_number, 14, 1, 0);
1189+
EXPECT_WILDCARD_ROW_PRIMITIVE(
1190+
15, d_number, 0, PATH(),
1191+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
1192+
const auto &d_v2{decoded_applicator.children.front().children.at(6)};
1193+
EXPECT_TABLE_SIZE(d_v2, 16, 1, 0);
1194+
EXPECT_ROW_ENUM_STRINGS(17, d_v2, 0, PATH(LITERAL("format")), false, "v2");
1195+
10921196
const auto &decoded_typed{decoded_table.children.front().children.at(1)};
1093-
EXPECT_TABLE_SIZE(decoded_typed, 30, 1, 0);
1197+
EXPECT_TABLE_SIZE(decoded_typed, 18, 1, 0);
10941198
EXPECT_ROW_PRIMITIVE(
1095-
31, decoded_typed, 0, PATH(LITERAL("version")),
1199+
19, decoded_typed, 0, PATH(LITERAL("version")),
10961200
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Integer,
10971201
false);
10981202
}
@@ -1214,22 +1318,46 @@ TEST(Documentation_2020_12, property_names_branching) {
12141318
EXPECT_WILDCARD_ROW_OBJECT(2, names_table, 0, PATH(SYNTHETIC("key")));
12151319
EXPECT_EQ(names_table.children.front().label, "All of");
12161320
EXPECT_EQ(names_table.children.front().children.size(), 2);
1321+
12171322
const auto &names_applicator{names_table.children.front().children.at(0)};
12181323
EXPECT_TABLE_SIZE(names_applicator, 3, 0, 1);
12191324
EXPECT_EQ(names_applicator.children.front().label, "Any of");
1220-
EXPECT_EQ(names_applicator.children.front().children.size(), 2);
1221-
const auto &x_expansion{names_applicator.children.front().children.at(0)};
1222-
EXPECT_TABLE_SIZE(x_expansion, 4, 0, 1);
1223-
EXPECT_EQ(x_expansion.children.front().label, "Any of");
1224-
EXPECT_EQ(x_expansion.children.front().children.size(), 6);
1225-
const auto &y_expansion{names_applicator.children.front().children.at(1)};
1226-
EXPECT_TABLE_SIZE(y_expansion, 17, 0, 1);
1227-
EXPECT_EQ(y_expansion.children.front().label, "Any of");
1228-
EXPECT_EQ(y_expansion.children.front().children.size(), 6);
1325+
EXPECT_EQ(names_applicator.children.front().children.size(), 7);
1326+
1327+
const auto &n_null{names_applicator.children.front().children.at(0)};
1328+
EXPECT_TABLE_SIZE(n_null, 4, 1, 0);
1329+
EXPECT_WILDCARD_ROW_ENUM(5, n_null, 0, PATH(), 1, 0);
1330+
const auto &n_bool{names_applicator.children.front().children.at(1)};
1331+
EXPECT_TABLE_SIZE(n_bool, 6, 1, 0);
1332+
EXPECT_WILDCARD_ROW_ENUM(7, n_bool, 0, PATH(), 2, 0);
1333+
const auto &n_object{names_applicator.children.front().children.at(2)};
1334+
EXPECT_TABLE_SIZE(n_object, 8, 1, 0);
1335+
EXPECT_WILDCARD_ROW_OBJECT(9, n_object, 0, PATH());
1336+
const auto &n_array{names_applicator.children.front().children.at(3)};
1337+
EXPECT_TABLE_SIZE(n_array, 10, 1, 0);
1338+
EXPECT_WILDCARD_ROW_ARRAY(11, n_array, 0, PATH());
1339+
const auto &n_x_pattern{names_applicator.children.front().children.at(4)};
1340+
EXPECT_TABLE_SIZE(n_x_pattern, 12, 1, 0);
1341+
EXPECT_WILDCARD_ROW_PRIMITIVE_WITH_CONSTRAINTS(
1342+
13, n_x_pattern, 0, PATH(),
1343+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String,
1344+
"pattern: ^x-");
1345+
const auto &n_number{names_applicator.children.front().children.at(5)};
1346+
EXPECT_TABLE_SIZE(n_number, 14, 1, 0);
1347+
EXPECT_WILDCARD_ROW_PRIMITIVE(
1348+
15, n_number, 0, PATH(),
1349+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
1350+
const auto &n_y_pattern{names_applicator.children.front().children.at(6)};
1351+
EXPECT_TABLE_SIZE(n_y_pattern, 16, 1, 0);
1352+
EXPECT_WILDCARD_ROW_PRIMITIVE_WITH_CONSTRAINTS(
1353+
17, n_y_pattern, 0, PATH(),
1354+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String,
1355+
"pattern: ^y-");
1356+
12291357
const auto &names_typed{names_table.children.front().children.at(1)};
1230-
EXPECT_TABLE_SIZE(names_typed, 30, 1, 0);
1358+
EXPECT_TABLE_SIZE(names_typed, 18, 1, 0);
12311359
EXPECT_WILDCARD_ROW_PRIMITIVE(
1232-
31, names_typed, 0, PATH(),
1360+
19, names_typed, 0, PATH(),
12331361
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
12341362
}
12351363

@@ -1656,30 +1784,42 @@ TEST(Documentation_2020_12, not_branching_section) {
16561784
EXPECT_TABLE_SIZE(not_table, 0, 1, 1);
16571785
EXPECT_WILDCARD_ROW_OBJECT(3, not_table, 0, PATH(SYNTHETIC("value")));
16581786
EXPECT_EQ(not_table.children.front().label, "Any of");
1659-
EXPECT_EQ(not_table.children.front().children.size(), 2);
1660-
const auto &admin_expansion{not_table.children.front().children.at(0)};
1661-
EXPECT_TABLE_SIZE(admin_expansion, 4, 0, 1);
1662-
EXPECT_EQ(admin_expansion.children.front().label, "Any of");
1663-
EXPECT_EQ(admin_expansion.children.front().children.size(), 6);
1664-
EXPECT_TABLE_SIZE(admin_expansion.children.front().children.at(4), 13, 1, 0);
1787+
EXPECT_EQ(not_table.children.front().children.size(), 7);
1788+
1789+
const auto &not_null{not_table.children.front().children.at(0)};
1790+
EXPECT_TABLE_SIZE(not_null, 4, 1, 0);
1791+
EXPECT_WILDCARD_ROW_ENUM(5, not_null, 0, PATH(), 1, 0);
1792+
const auto &not_bool{not_table.children.front().children.at(1)};
1793+
EXPECT_TABLE_SIZE(not_bool, 6, 1, 0);
1794+
EXPECT_WILDCARD_ROW_ENUM(7, not_bool, 0, PATH(), 2, 0);
1795+
const auto &not_object{not_table.children.front().children.at(2)};
1796+
EXPECT_TABLE_SIZE(not_object, 8, 1, 0);
1797+
EXPECT_WILDCARD_ROW_OBJECT(9, not_object, 0, PATH());
1798+
const auto &not_array{not_table.children.front().children.at(3)};
1799+
EXPECT_TABLE_SIZE(not_array, 10, 1, 0);
1800+
EXPECT_WILDCARD_ROW_ARRAY(11, not_array, 0, PATH());
1801+
const auto &not_admin_str{not_table.children.front().children.at(4)};
1802+
EXPECT_TABLE_SIZE(not_admin_str, 12, 1, 0);
16651803
EXPECT_WILDCARD_ROW_PRIMITIVE_WITH_CONSTRAINTS(
1666-
14, admin_expansion.children.front().children.at(4), 0, PATH(),
1804+
13, not_admin_str, 0, PATH(),
16671805
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String,
16681806
"pattern: ^admin");
1669-
const auto &root_expansion{not_table.children.front().children.at(1)};
1670-
EXPECT_TABLE_SIZE(root_expansion, 17, 0, 1);
1671-
EXPECT_EQ(root_expansion.children.front().label, "Any of");
1672-
EXPECT_EQ(root_expansion.children.front().children.size(), 6);
1673-
EXPECT_TABLE_SIZE(root_expansion.children.front().children.at(4), 26, 1, 0);
1807+
const auto &not_number{not_table.children.front().children.at(5)};
1808+
EXPECT_TABLE_SIZE(not_number, 14, 1, 0);
1809+
EXPECT_WILDCARD_ROW_PRIMITIVE(
1810+
15, not_number, 0, PATH(),
1811+
sourcemeta::blaze::Documentation::Type::Expression::Primitive::Number);
1812+
const auto &not_root_str{not_table.children.front().children.at(6)};
1813+
EXPECT_TABLE_SIZE(not_root_str, 16, 1, 0);
16741814
EXPECT_WILDCARD_ROW_PRIMITIVE_WITH_CONSTRAINTS(
1675-
27, root_expansion.children.front().children.at(4), 0, PATH(),
1815+
17, not_root_str, 0, PATH(),
16761816
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String,
16771817
"pattern: ^root");
16781818

16791819
const auto &typed_branch{all_of.children.at(1)};
1680-
EXPECT_TABLE_SIZE(typed_branch, 30, 1, 0);
1820+
EXPECT_TABLE_SIZE(typed_branch, 18, 1, 0);
16811821
EXPECT_WILDCARD_ROW_PRIMITIVE(
1682-
31, typed_branch, 0, PATH(),
1822+
19, typed_branch, 0, PATH(),
16831823
sourcemeta::blaze::Documentation::Type::Expression::Primitive::String);
16841824
}
16851825

0 commit comments

Comments
 (0)