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;
|
>
>
>
>
>
>
>
|
>
>
>
>
>
<
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// Options for Grammalecte
${map}
function getOptions (sContext="JavaScript") {
if (dOpt.hasOwnProperty(sContext)) {
return dOpt[sContext];
}
return dOpt["JavaScript"];
}
const lStructOpt = ${lStructOpt};
const dOpt = {
"JavaScript": new Map (${dOptJavaScript}),
"Firefox": new Map (${dOptFirefox}),
"Thunderbird": new Map (${dOptThunderbird}),
}
const dOptLabel = ${dOptLabel};
exports.getOptions = getOptions;
exports.lStructOpt = lStructOpt;
exports.dOptLabel = dOptLabel;
|