()
| 35 | addText(e){""!==e&&this.add(e)}addSublanguage(e,t){const n=e.root |
| 36 | ;n.kind=t,n.sublanguage=!0,this.add(n)}toHTML(){ |
| 37 | return new o(this,this.options).value()}finalize(){return!0}}function u(e){ |
| 38 | return e?"string"==typeof e?e:e.source:null} |
| 39 | const g="[a-zA-Z]\\w*",d="[a-zA-Z_]\\w*",h="\\b\\d+(\\.\\d+)?",f="(-?)(\\b0[xX][a-fA-F0-9]+|(\\b\\d+(\\.\\d*)?|\\.\\d+)([eE][-+]?\\d+)?)",p="\\b(0b[01]+)",m={ |
| 40 | begin:"\\\\[\\s\\S]",relevance:0},b={className:"string",begin:"'",end:"'", |