LocalCDN-Firefox-Chrome-Brave/resources/highlight.js/11.10.0/xl.min.jsm

15 lines
1.9 KiB
JavaScript
Raw Normal View History

2024-07-13 07:40:24 +02:00
/*! `xl` grammar compiled for Highlight.js 11.10.0 */
2021-10-18 07:02:03 +02:00
(()=>{var e=(()=>{"use strict";return e=>{const t={
2021-06-08 07:40:19 +02:00
$pattern:/[a-zA-Z][a-zA-Z0-9_?]*/,
keyword:["if","then","else","do","while","until","for","loop","import","with","is","as","where","when","by","data","constant","integer","real","text","name","boolean","symbol","infix","prefix","postfix","block","tree"],
literal:["true","false","nil"],
built_in:["in","mod","rem","and","or","xor","not","abs","sign","floor","ceil","sqrt","sin","cos","tan","asin","acos","atan","exp","expm1","log","log2","log10","log1p","pi","at","text_length","text_range","text_find","text_replace","contains","page","slide","basic_slide","title_slide","title","subtitle","fade_in","fade_out","fade_at","clear_color","color","line_color","line_width","texture_wrap","texture_transform","texture","scale_?x","scale_?y","scale_?z?","translate_?x","translate_?y","translate_?z?","rotate_?x","rotate_?y","rotate_?z?","rectangle","circle","ellipse","sphere","path","line_to","move_to","quad_to","curve_to","theme","background","contents","locally","time","mouse_?x","mouse_?y","mouse_buttons"].concat(["ObjectLoader","Animate","MovieCredits","Slides","Filters","Shading","Materials","LensFlare","Mapping","VLCAudioVideo","StereoDecoder","PointCloud","NetworkAccess","RemoteControl","RegExp","ChromaKey","Snowfall","NodeJS","Speech","Charts"])
},a={className:"string",begin:'"',end:'"',illegal:"\\n"},n={
beginKeywords:"import",end:"$",keywords:t,contains:[a]},o={className:"function",
begin:/[a-z][^\n]*->/,returnBegin:!0,end:/->/,contains:[e.inherit(e.TITLE_MODE,{
starts:{endsWithParent:!0,keywords:t}})]};return{name:"XL",aliases:["tao"],
keywords:t,contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,a,{
className:"string",begin:"'",end:"'",illegal:"\\n"},{className:"string",
begin:"<<",end:">>"},o,n,{className:"number",
begin:"[0-9]+#[0-9A-Z_]+(\\.[0-9-A-Z_]+)?#?([Ee][+-]?[0-9]+)?"},e.NUMBER_MODE]}}
2021-10-18 07:02:03 +02:00
})();hljs.registerLanguage("xl",e)})();