You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1 line
2.0 KiB
1 line
2.0 KiB
"use strict";(self.webpackChunkjupyter_web=self.webpackChunkjupyter_web||[]).push([[2496],{32496:(g,c,f)=>{var l;function p(n){return new RegExp("^(?:"+n.join("|")+")$","i")}f.r(c),f.d(c,{turtle:()=>y});p([]);var x=p(["@prefix","@base","a"]),a=/[*+\-<>=&|]/;function d(n,e){var t=n.next();if(l=null,"<"==t&&!n.match(/^[\s\u00a0=]/,!1))return n.match(/^[^\s\u00a0>]*>?/),"atom";if('"'==t||"'"==t)return e.tokenize=function h(n){return function(e,t){for(var r,i=!1;null!=(r=e.next());){if(r==n&&!i){t.tokenize=d;break}i=!i&&"\\"==r}return"string"}}(t),e.tokenize(n,e);if(/[{}\(\),\.;\[\]]/.test(t))return l=t,null;if("#"==t)return n.skipToEnd(),"comment";if(a.test(t))return n.eatWhile(a),null;if(":"==t)return"operator";if(n.eatWhile(/[_\w\d]/),":"==n.peek())return"variableName.special";var i=n.current();return x.test(i)?"meta":t>="A"&&t<="Z"?"comment":"keyword"}function o(n,e,t){n.context={prev:n.context,indent:n.indent,col:t,type:e}}function u(n){n.indent=n.context.indent,n.context=n.context.prev}const y={name:"turtle",startState:function(){return{tokenize:d,context:null,indent:0,col:0}},token:function(n,e){if(n.sol()&&(e.context&&null==e.context.align&&(e.context.align=!1),e.indent=n.indentation()),n.eatSpace())return null;var t=e.tokenize(n,e);if("comment"!=t&&e.context&&null==e.context.align&&"pattern"!=e.context.type&&(e.context.align=!0),"("==l)o(e,")",n.column());else if("["==l)o(e,"]",n.column());else if("{"==l)o(e,"}",n.column());else if(/[\]\}\)]/.test(l)){for(;e.context&&"pattern"==e.context.type;)u(e);e.context&&l==e.context.type&&u(e)}else"."==l&&e.context&&"pattern"==e.context.type?u(e):/atom|string|variable/.test(t)&&e.context&&(/[\}\]]/.test(e.context.type)?o(e,"pattern",n.column()):"pattern"==e.context.type&&!e.context.align&&(e.context.align=!0,e.context.col=n.column()));return t},indent:function(n,e,t){var i=e&&e.charAt(0),r=n.context;if(/[\]\}]/.test(i))for(;r&&"pattern"==r.type;)r=r.prev;var k=r&&i==r.type;return r?"pattern"==r.type?r.col:r.align?r.col+(k?0:1):r.indent+(k?0:t.unit):0},languageData:{commentTokens:{line:"#"}}}}}]); |