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
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
// SPDX-License-Identifier: MIT OR LGPL-2.0-or-later
// SPDX-FileCopyrightText: 2012 Red Hat, Inc.
// SPDX-FileCopyrightText: 2012 Giovanni Campagna <scampa.giovanni@gmail.com>
/* exported vprintf */
const GjsPrivate = imports.gi.GjsPrivate;
function vprintf(string, args) {
let i = 0;
let usePos = false;
return string.replace(/%(?:([1-9][0-9]*)\$)?(I+)?([0-9]+)?(?:\.([0-9]+))?(.)/g, function (str, posGroup, flagsGroup, widthGroup, precisionGroup, genericGroup) {
if (precisionGroup !== '' && precisionGroup !== undefined &&
genericGroup !== 'f')
throw new Error("Precision can only be specified for 'f'");
let hasAlternativeIntFlag = flagsGroup &&
flagsGroup.indexOf('I') !== -1;
if (hasAlternativeIntFlag && genericGroup !== 'd')
throw new Error("Alternative output digits can only be specified for 'd'");
let pos = parseInt(posGroup, 10) || 0;
if (!usePos && i === 0)
usePos = pos > 0;
if (usePos && pos === 0 || !usePos && pos > 0)
throw new Error('Numbered and unnumbered conversion specifications cannot be mixed');
let fillChar = widthGroup && widthGroup[0] === '0' ? '0' : ' ';
let width = parseInt(widthGroup, 10) || 0;
function fillWidth(s, c, w) {
let fill = c.repeat(w);
return fill.substr(s.length) + s;
}
function getArg() {
return usePos ? args[pos - 1] : args[i++];
}
let s = '';
switch (genericGroup) {
case '%':
return '%';
case 's':
s = String(getArg());
break;
case 'd': {
let intV = parseInt(getArg());
if (hasAlternativeIntFlag)
s = GjsPrivate.format_int_alternative_output(intV);
else
s = intV.toString();
break;
}
case 'x':
s = parseInt(getArg()).toString(16);
break;
case 'f':
if (precisionGroup === '' || precisionGroup === undefined)
s = parseFloat(getArg()).toString();
else
s = parseFloat(getArg()).toFixed(parseInt(precisionGroup));
break;
default:
throw new Error(`Unsupported conversion character %${genericGroup}`);
}
return fillWidth(s, fillChar, width);
});
}
|
