File: operator-dictionary.js

package info (click to toggle)
firefox-esr 140.5.0esr-1~deb13u1
  • links: PTS, VCS
  • area: main
  • in suites: trixie-proposed-updates
  • size: 4,539,036 kB
  • sloc: cpp: 7,381,527; javascript: 6,388,905; ansic: 3,710,087; python: 1,393,776; xml: 628,165; asm: 426,918; java: 184,004; sh: 65,744; makefile: 19,302; objc: 13,059; perl: 12,912; yacc: 4,583; cs: 3,846; pascal: 3,352; lex: 1,720; ruby: 1,226; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (42 lines) | stat: -rw-r--r-- 1,072 bytes parent folder | download | duplicates (22) 
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
 
async function fetchOperatorDictionary() {
    let response = await fetch(`/mathml/support/operator-dictionary.json`);
    return response.json();
}

function splitKey(key) {
    var value = key.split(" ")
    return {
        characters: value[0],
        form: value[1]
    };
}

function spaceIndexToLength(index) {
    // See https://w3c.github.io/mathml-core/#operator-dictionary
    return ["0",
            "0.05555555555555555em",
            "0.1111111111111111em",
            "0.16666666666666666em",
            "0.2222222222222222em",
            "0.2777777777777778em",
            "0.3333333333333333em",
            "0.3888888888888889em"
           ][index];
}

function defaultPropertyValue(entry, name) {
    switch (name) {
    case "lspace":
    case "rspace":
        return spaceIndexToLength(entry.hasOwnProperty(name) ? entry[name] : 5);
    break
    case "largeop":
    case "movablelimits":
    case "stretchy":
    case "symmetric":
    case "accent":
        return entry[name];
    default:
        throw `Unknown property ${name}`;
    }
}