Function prettyStringArray

src/gdb.ts:3289–3299

(strings)

}

function prettyStringArray(strings) {
    if (typeof strings === 'object') {
        if (strings.length !== undefined) {
            return strings.join(', ');
        }
        else {
            return JSON.stringify(strings);
        }
    }
    else { return strings; }
}

function initTwoCharsToIntMap(): object {
    const obj = {};