1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Dictionaries merger
"use strict";
if (typeof(process) !== 'undefined') {
var dawg = require("./dawg.js");
var ibdawg = require("./ibdawg.js");
}
else if (typeof(require) !== 'undefined') {
var dawg = require("resource://grammalecte/graphspell/dawg.js");
var ibdawg = require("resource://grammalecte/graphspell/ibdawg.js");
}
|
<
<
<
<
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// Dictionaries merger
"use strict";
if (typeof(process) !== 'undefined') {
var dawg = require("./dawg.js");
var ibdawg = require("./ibdawg.js");
}
const dic_merger = {
merge: function (lDict, cStemming, sLangCode, sLangName, sDicName, sDescription, xProgressBar=null) {
// merge a list of dictionaries (given as JSON objects)
// return a merged dictionary as JSON object.
|
47
48
49
50
51
52
53
54
55
|
}
catch (e) {
console.log("Dictionaries merger: unable to generate merged dictionary");
console.error(e);
return null;
}
}
}
|
|
<
|
43
44
45
46
47
48
49
50
|
}
catch (e) {
console.log("Dictionaries merger: unable to generate merged dictionary");
console.error(e);
return null;
}
}
}
|