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
|
const Gio = imports.gi.Gio;
const Json = imports.gi.Json;
const Gettext = imports.gettext;
const _JSON_VAL_STRING = 0;
const _JSON_VAL_INT = 1;
const _JSON_VAL_DOUBLE = 2;
const _JSON_VAL_BOOLEAN = 3;
function getJsonMemberStringValue(reader, key) {
return _getJsonMemberValue(reader, key, _JSON_VAL_STRING);
}
function getJsonMemberIntValue(reader, key) {
return _getJsonMemberValue(reader, key, _JSON_VAL_INT);
}
function getJsonMemberDoubleValue(reader, key) {
return _getJsonMemberValue(reader, key, _JSON_VAL_DOUBLE);
}
function getJsonMemberBooleanValue(reader, key) {
return _getJsonMemberValue(reader, key, _JSON_VAL_BOOLEAN);
}
function getJsonMemberLocalizedValue(reader, key) {
return Gettext.gettext(_getJsonMemberValue(reader, key + '_', _JSON_VAL_STRING));
}
function _getJsonMemberValue(reader, key, type) {
reader.read_member(key);
let value;
switch(type) {
case _JSON_VAL_STRING:
value = reader.get_string_value();
break;
case _JSON_VAL_INT:
value = reader.get_int_value();
break;
case _JSON_VAL_DOUBLE:
value = reader.get_double_value();
break;
case _JSON_VAL_BOOLEAN:
value = reader.get_boolean_value();
break;
}
reader.end_member();
return value;
}
|