-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37
-
38
-
39
-
40
-
41
-
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
-
50
-
51
-
52
-
53
-
54
-
55
-
56
-
57
-
58
-
59
-
60
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
-
89
-
90
-
91
-
92
-
93
-
94
-
95
-
96
-
97
-
98
-
99
-
100
-
101
-
102
-
103
-
104
-
105
-
106
-
107
-
108
-
109
-
110
-
111
-
112
-
113
-
114
-
115
-
116
-
117
-
118
-
119
-
120
-
121
-
122
-
123
-
124
-
125
-
126
-
127
-
128
-
129
-
130
-
131
// Copyright 2025 Shota FUJI
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//
// SPDX-License-Identifier: Apache-2.0
using GLib;
namespace Roon {
/**
* json-glib has unbelievably loose value getters.
* This namespace provides sane getters wrapping original ones.
* Setters in this class throws an error instead of incorrectly cast values.
*/
namespace JsonHelper {
public errordomain ParseError {
UNEXPECTED_TYPE,
}
internal class FieldPath {
public FieldPath? parent;
public string path;
public FieldPath(string path, FieldPath? parent = null) {
this.path = path;
this.parent = parent;
}
public string to_string() {
return (parent != null) ? @"$(parent).$(path)" : path;
}
public string to_prefix() {
if (this == null) {
return "";
}
return @"$(this): ";
}
}
internal static Json.Node get_member(Json.Object obj, FieldPath? path) throws ParseError {
var node = obj.get_member(path.path);
if (node == null) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected \"$(path.path)\" field, but the field is missing or null.");
}
return node;
}
internal static Json.Node? get_optional_member(Json.Object obj, FieldPath? path) {
var node = obj.get_member(path.path);
if (node == null || node.is_null()) {
return null;
}
return node;
}
internal static string get_string(Json.Node node, FieldPath? path) throws ParseError {
var str = node.get_string();
if (str == null) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected String, got $(node.get_value_type().to_string()).");
}
return str;
}
internal static bool get_boolean(Json.Node node, FieldPath? path) throws ParseError {
var type = node.get_value_type();
if (type != Type.BOOLEAN) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected Boolean, got $(type.to_string()).");
}
return node.get_boolean();
}
internal static int64 get_int(Json.Node node, FieldPath? path) throws ParseError {
var type = node.get_value_type();
if (type != Type.INT64) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected Int, got $(type.to_string())");
}
return node.get_int();
}
internal static double get_double(Json.Node node, FieldPath? path) throws ParseError {
var type = node.get_value_type();
switch (type) {
case Type.DOUBLE:
return node.get_double();
// JavaScript does not distinct integer and float. We can't assume float field does not
// contain integer.
case Type.INT64:
return (double) node.get_int();
default:
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected Double, got $(type.to_string())");
}
}
internal static Json.Object get_object(Json.Node node, FieldPath? path) throws ParseError {
var type = node.get_node_type();
if (type != Json.NodeType.OBJECT) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected Object, got $(type.to_string())");
}
return (!) node.get_object();
}
internal static Json.Array get_array(Json.Node node, FieldPath? path) throws ParseError {
var type = node.get_node_type();
if (type != Json.NodeType.ARRAY) {
throw new ParseError.UNEXPECTED_TYPE(@"$(path.to_prefix())Expected Array, got $(type.to_string())");
}
return (!) node.get_array();
}
}
}