1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Options for Grammalecte
${map}
const lStructOpt = ${lStructOpt};
const dOpt = new Map (${dOptJavaScript});
const dOptLabel = ${dOptLabel};
exports.lStructOpt = lStructOpt;
exports.dOpt = dOpt;
exports.dOptLabel = dOptLabel;
|
>
>
>
>
>
>
>
>
>
>
>
|
>
|
>
>
>
|
|
>
>
>
>
|
|
|
>
|
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
|
// Options for Grammalecte
/*jslint esversion: 6*/
/*global exports*/
${map}
var gc_options = {
getOptions: function (sContext="JavaScript") {
if (this.dOpt.hasOwnProperty(sContext)) {
return this.dOpt[sContext];
}
return this.dOpt["JavaScript"];
},
lStructOpt: ${lStructOpt},
dOpt: {
"JavaScript": new Map (${dOptJavaScript}),
"Firefox": new Map (${dOptFirefox}),
"Thunderbird": new Map (${dOptThunderbird}),
},
dOptLabel: ${dOptLabel}
}
if (typeof(exports) !== 'undefined') {
exports.getOptions = gc_options.getOptions;
exports.lStructOpt = gc_options.lStructOpt;
exports.dOpt = gc_options.dOpt;
exports.dOptLabel = gc_options.dOptLabel;
}
|