mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 21:10:38 +03:00
Update syntax highlights
This commit is contained in:
IRBorisov
parent
c1a994bc0c
commit
bc31df77a9
|
|
@ -87,6 +87,7 @@ function RSInput({
|
||||||
{ tag: tags.literal, color: colors.fgBlue }, // literals
|
{ tag: tags.literal, color: colors.fgBlue }, // literals
|
||||||
{ tag: tags.controlKeyword, fontWeight: '500'}, // R | I | D
|
{ tag: tags.controlKeyword, fontWeight: '500'}, // R | I | D
|
||||||
{ tag: tags.unit, fontSize: '0.75rem' }, // indicies
|
{ tag: tags.unit, fontSize: '0.75rem' }, // indicies
|
||||||
|
{ tag: tags.brace, color:colors.fgPurple, fontWeight: '500' }, // braces (curly brackets)
|
||||||
]
|
]
|
||||||
}), [disabled, colors, darkMode]);
|
}), [disabled, colors, darkMode]);
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -15,5 +15,9 @@ export const highlighting = styleTags({
|
||||||
Filter: tags.keyword,
|
Filter: tags.keyword,
|
||||||
PrefixR: tags.controlKeyword,
|
PrefixR: tags.controlKeyword,
|
||||||
PrefixI: tags.controlKeyword,
|
PrefixI: tags.controlKeyword,
|
||||||
PrefixD: tags.controlKeyword
|
PrefixD: tags.controlKeyword,
|
||||||
|
"{": tags.brace,
|
||||||
|
"}": tags.brace,
|
||||||
|
"|": tags.brace,
|
||||||
|
";": tags.brace,
|
||||||
});
|
});
|
||||||
|
|
@ -12,25 +12,25 @@ export const
|
||||||
Tuple = 22,
|
Tuple = 22,
|
||||||
Boolean = 23,
|
Boolean = 23,
|
||||||
Declarative = 25,
|
Declarative = 25,
|
||||||
PrefixD = 27,
|
PrefixD = 28,
|
||||||
Variable = 28,
|
Variable = 29,
|
||||||
VariableComposite = 29,
|
VariableComposite = 30,
|
||||||
PrefixI = 30,
|
PrefixI = 31,
|
||||||
Imperative = 31,
|
Imperative = 32,
|
||||||
ImperativeBlocks = 32,
|
ImperativeBlocks = 33,
|
||||||
ImperativeIteration = 33,
|
ImperativeIteration = 34,
|
||||||
ImperativeAssignment = 35,
|
ImperativeAssignment = 36,
|
||||||
ImperativeCondition = 37,
|
ImperativeCondition = 38,
|
||||||
PrefixR = 38,
|
PrefixR = 40,
|
||||||
Recursion = 39,
|
Recursion = 41,
|
||||||
FunctionCall = 41,
|
FunctionCall = 43,
|
||||||
Function = 42,
|
Function = 44,
|
||||||
TextFunctionExpression = 44,
|
TextFunctionExpression = 46,
|
||||||
TextFunction = 45,
|
TextFunction = 47,
|
||||||
ComplexIndex = 46,
|
ComplexIndex = 48,
|
||||||
Filter = 47,
|
Filter = 49,
|
||||||
Predicate = 59,
|
Predicate = 61,
|
||||||
LogicQuantor = 62,
|
LogicQuantor = 64,
|
||||||
QuantorVariable = 64,
|
QuantorVariable = 66,
|
||||||
LogicBinary = 66,
|
LogicBinary = 68,
|
||||||
FunctionDeclaration = 71
|
FunctionDeclaration = 73
|
||||||
|
|
|
||||||
|
|
@ -3,10 +3,10 @@ import {LRParser} from "@lezer/lr"
|
||||||
import {highlighting} from "./highlight.ts"
|
import {highlighting} from "./highlight.ts"
|
||||||
export const parser = LRParser.deserialize({
|
export const parser = LRParser.deserialize({
|
||||||
version: 14,
|
version: 14,
|
||||||
states: "7WO!sQPOOOOQO'#C_'#C_O!zQPO'#C`O&bQPO'#DyOVQPO'#CdO&iQPO'#CqO'yQPO'#CsO(RQPO'#CuO(WQPO'#C{O(]QPO'#DTOOQO'#EQ'#EQO(bQPO'#DVO(gQQO'#DZOOQO'#DZ'#DZO(lQQO'#D]O(qQPO'#DYO(vQPO'#DYOOQO'#D{'#D{O({QPO'#DhOVQPO'#DjO)QQPO'#DlOOQO'#Ea'#EaO)YQPO'#DyOOQO'#Dz'#DzO)TQPO'#DuQOQPOOOOQO'#Ca'#CaOOQO,58z,58zO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,58xO)kQPO'#ERO+PQPO,59OO+ZQPO'#ESO+`QPO,59^O+hQPO,5:}O,eQPO'#ERO&iQPO'#CdO,rQPO,59]OOQO'#ER'#ERO-fQPO,59aO&iQPO,59_OOQO,59_,59_O)QQPO,59aO&iQPO,59gO)QQPO,59oO&iQPO,59qOOQO,59u,59uOOQO,59w,59wO&iQPO,59tO&iQPO,59tO&iQPO,5:SO%TQPO'#C^OOQO,5:U,5:UOOQO'#Cx'#CxO)QQPO'#CxO-sQPO,5:WOOQO'#Dn'#DnOVQPO,5:[OVQPO,5:[OVQPO,5:[OVQPO,5:[O-{QPO'#EeOOQO'#Ed'#EdO.QQPO,5:aOOQO1G.j1G.jO0VQPO1G.jO0^QPO1G.jO2bQPO1G.jO4fQPO1G.jO4mQPO1G.jO4tQPO1G.jO5^QPO1G.jO7PQPO1G.dO&iQPO,5:nOOQO1G.x1G.xOOQO1G0i1G0iOOQO1G.w1G.wO&iQPO1G.{O7pQPO1G.yO7wQPO1G.{O7|QPO1G/RO8TQPO1G/ZO8YQPO1G/]O8bQPO1G/`O8iQPO1G/`O8qQPO1G/nOOQO'#EV'#EVO8yQPO,59dO9RQPO'#CyO)QQPO,5:|O9WQPO1G/rOOQO1G/v1G/vO;SQPO1G/vO;ZQPO1G/vO;bQPO1G/vO&iQPO,5;PO)TQPO,5;OOVQPO1G/{O<PQPO1G0YO<aQPO7+$gOOQO7+$e7+$eO&iQPO7+$gOVQPO7+$mO&iQPO7+$uOOQO7+$w7+$wOOQO7+$z7+$zO<hQPO7+$zOOQO7+%Y7+%YOOQO1G/O1G/OO)QQPO,59eOOQO1G0h1G0hOOQO'#C`'#C`O<mQPO7+%^O=ZQPO1G0kOOQO1G0j1G0jOOQO7+%g7+%gOVQPO<<HRO=eQPO<<HRO=lQPO'#D{O=vQPO'#DROOQO'#EW'#EWOOQO'#C|'#C|O>[QPO<<HXO>dQPO<<HaO&iQPO<<HfOOQO1G/P1G/PO>kQPO<<HxO?YQPOAN=mOVQPOAN=mO&iQPO,59iO&iQPO,59kOVQPO,59hOOQOAN=sAN=sOVQPOAN={O?kQPOAN>QOOQOG23XG23XO?rQPOG23XO@TQPO1G/TO@_QPO1G/VOOQO1G/S1G/SO@iQPOG23gO@pQPOG23gOOQOG23lG23lOOQOLD(sLD(sOOQOLD)RLD)RO&iQPOLD)ROARQPO!$'LmOOQO!)9BX!)9BXO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OOAYQPO1G.jOCRQPO1G.jOF}QPO1G.jOIXQPO1G.jOI`QPO1G.jOIgQPO1G.jOInQPO1G.j",
|
states: "7WO!sQPOOOOQO'#C_'#C_O!zQPO'#C`O&bQPO'#D{OVQPO'#CdO&iQPO'#CqO'yQPO'#CsO(RQPO'#CuO(WQPO'#C|O(]QPO'#DVOOQO'#ES'#ESO(bQPO'#DXO(gQQO'#D]OOQO'#D]'#D]O(lQQO'#D_O(qQPO'#D[O(vQPO'#D[OOQO'#D}'#D}O({QPO'#DjOVQPO'#DlO)QQPO'#DnOOQO'#Ea'#EaO)YQPO'#D{OOQO'#D|'#D|O)TQPO'#DwQOQPOOOOQO'#Ca'#CaOOQO,58z,58zO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,59OO&iQPO,58xO)kQPO'#ETO+PQPO,59OO+ZQPO'#EUO+`QPO,59^O+hQPO,5:}O,eQPO'#ETO&iQPO'#CdO,rQPO,59]OOQO'#ET'#ETO-fQPO,59aO&iQPO,59_OOQO,59_,59_O)QQPO,59aO&iQPO,59hO)QQPO,59qO&iQPO,59sOOQO,59w,59wOOQO,59y,59yO&iQPO,59vO&iQPO,59vO&iQPO,5:UO%TQPO'#C^OOQO,5:W,5:WOOQO'#Cy'#CyO)QQPO'#CyO-sQPO,5:YOOQO'#Dp'#DpOVQPO,5:^OVQPO,5:^OVQPO,5:^OVQPO,5:^O-{QPO'#EeOOQO'#Ed'#EdO.QQPO,5:cOOQO1G.j1G.jO0VQPO1G.jO0^QPO1G.jO2bQPO1G.jO4fQPO1G.jO4mQPO1G.jO4tQPO1G.jO5^QPO1G.jO7PQPO1G.dO&iQPO,5:pOOQO1G.x1G.xOOQO1G0i1G0iOOQO1G.w1G.wO&iQPO1G.{O7pQPO1G.yO7wQPO1G.{O7|QPO1G/SO8TQPO1G/]O8YQPO1G/_O8bQPO1G/bO8iQPO1G/bO8qQPO1G/pOOQO'#EW'#EWO8yQPO,59eO9RQPO'#CzO)QQPO,5:|O9WQPO1G/tOOQO1G/x1G/xO;SQPO1G/xO;ZQPO1G/xO;bQPO1G/xO&iQPO,5;PO)TQPO,5;OOVQPO1G/}O<PQPO1G0[O<aQPO7+$gOOQO7+$e7+$eO&iQPO7+$gOVQPO7+$nO&iQPO7+$wOOQO7+$y7+$yOOQO7+$|7+$|O<hQPO7+$|OOQO7+%[7+%[OOQO1G/P1G/PO)QQPO,59fOOQO1G0h1G0hOOQO'#C`'#C`O<mQPO7+%`O=ZQPO1G0kOOQO1G0j1G0jOOQO7+%i7+%iOVQPO<<HRO=eQPO<<HRO=lQPO'#D}O=vQPO'#DSOOQO'#EX'#EXOOQO'#C}'#C}O>[QPO<<HYO>dQPO<<HcO&iQPO<<HhOOQO1G/Q1G/QO>kQPO<<HzO?YQPOAN=mOVQPOAN=mO&iQPO,59jO&iQPO,59lOVQPO,59iOOQOAN=tAN=tOVQPOAN=}O?kQPOAN>SOOQOG23XG23XO?rQPOG23XO@TQPO1G/UO@_QPO1G/WOOQO1G/T1G/TO@iQPOG23iO@pQPOG23iOOQOG23nG23nOOQOLD(sLD(sOOQOLD)TLD)TO&iQPOLD)TOARQPO!$'LoOOQO!)9BZ!)9BZO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OO9WQPO,59OOAYQPO1G.jOCRQPO1G.jOF}QPO1G.jOIXQPO1G.jOI`QPO1G.jOIgQPO1G.jOInQPO1G.j",
|
||||||
stateData: "Kx~O!lOS~OUaOVaOaSOdTOhUOkVOnWOvXOzZO!]bO!_cO!adO!cdO!pPO!qPO!rPO!sQO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~O{hO~PVO!pjOXSXYSXZSX[SX]SX^SX_SX`SXjSX!QSX!RSX!SSX!TSX!USX!VSX!WSX!XSX!YSX!ZSX!jSX!wSXcSX!eSX!fSX!gSX!hSXbSX!xSXtSXxSXrSX!{SX~OXlOYmOZnO[oO]pO^qO_rO`sOjtO!QtO!RtO!StO!TtO!UtO!VtO!WtO!XtO!YtO!ZtO~O!j!mX~P%TOUaOVaOa{OdTOhUOkVOnWOvXOzZO!pPO!qPO!rPO!sQO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~Oa!POhUO~Od!RO~Od!SO~Od!TO~O{!UO~O!O!VO~O!O!WO~Oa!XO~O{!YO~O{!ZO~Oa!_O!sQO~O!e!bO!f!cO!g!dO!h!eO!j!mX~O!w!uX~P%TOX!oXY!oXZ!oX[!oX]!oX^!oX_!oX`!oXj!oX!Q!oX!R!oX!S!oX!T!oX!U!oX!V!oX!W!oX!X!oX!Y!oX!Z!oX~Ob!iO!w!oX~P)rO!w!rO~Ob!sO!w!uX~Ob!tO!e!bO!f!cO!g!dO!h!eO~OXlOYmOZnO[oO]pO^qO_rO`sO~Oc!uX!w!uXx!uX~P+yOc!uO!w!rO~OX!oXY!oXZ!oX[!oX]!oX^!oX_!oX`!oX~Oj!vOc!oX!w!oX~P,zOj#TO!w#SO~Oj#YO~Ox#[O!w#ZO~OXlOZWi[Wi]Wi^Wi_Wi`WijWi!QWi!RWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi!jWibWi!wWicWi!eWi!fWi!gWi!hWi!xWixWi!{Wi~OYWi~P.YOYmO~P.YOXlOYmOZnO`sO]Wi^Wi_WijWi!QWi!RWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi!jWibWi!wWicWi!eWi!fWi!gWi!hWi!xWixWi!{Wi~O[Wi~P0eOXlOYmOZnO[oO_rO`sO^WijWi!QWi!RWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi!jWibWi!wWicWi!eWi!fWi!gWi!hWi!xWixWi!{Wi~O]Wi~P2iO]pO~P2iO[oO~P0eO[Wi]Wi^Wi_Wi`Wi~OXlOYmOZnOjWi!QWi!RWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi!jWibWi!wWicWi!eWi!fWi!gWi!hWi!xWixWi!{Wi~P4{O!eQi!fQi!gQi!hQi!jQibQicQi!{Qi!xQi~P+yOb#_O~P+yOj#`O~O!x#aO~P+yOt#bO~Ox#cO!w!rO~Ob#dO~P+yOx#eO!w!rO~Ox#fO!w!rO~Ob#gO!w!yX~O!w#hO~OUaOVaOa{OdTOhUOkVOnWOvXOzZO!pPO!qPO!rPO!s#jO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~O!e!bO!g!di!h!di!j!dib!dic!di!{!di!x!di~O!f!di~P:hO!f!cO~P:hO!e!bO!f!cO!g!dO!h!di!j!dib!dic!di!{!di!x!di~Ob!vi!w!vic!vix!vi~P+yO!x#oO~P+yOa#wO~OX$aOY$bOZ$cO[$dO]$eO^$fO_$gO`$hO~PVOx#Xi!w#Xi~P+yO!x#{O~P+yOr#|Ot#}O~P)rO!e!bO!f!cO!g!dO!h!eOcuX!{uX~Oc$PO!{$OO~O!x$QO~P+yO!e!bO!f!cO!g!dO!h!eO!j!`yb!`yc!`y!{!`y!x!`y~Oc$SO!e!bO!f!cO!g!dO!h!eO~Ob$ZO~P+yOc$[O!e!bO!f!cO!g!dO!h!eO~Ocqi!{qi~P+yOcsi!{si~P+yOc$]O~P%TO!e!bO!f!cO!g!dO!h!eO!x$^O~Oc$`O~P+yOX$aOUWiVWiYWiZWiaWidWihWikWinWivWizWi!]Wi!_Wi!aWi!cWi!pWi!qWi!rWi!sWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{OX$aOY$bOUWiVWiZWiaWidWihWikWinWivWizWi!]Wi!_Wi!aWi!cWi!pWi!qWi!rWi!sWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{OX$aOY$bOZ$cO`$hOUWiVWi]Wi^Wi_WiaWidWihWikWinWivWizWi!]Wi!_Wi!aWi!cWi!pWi!qWi!rWi!sWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~O[Wi~PDzOX$aOY$bOZ$cO[$dO_$gO`$hOUWiVWi^WiaWidWihWikWinWivWizWi!]Wi!_Wi!aWi!cWi!pWi!qWi!rWi!sWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~O]Wi~PGUO]$eO~PGUO[$dO~PDzOX$aOY$bOZ$cOUWiVWiaWidWihWikWinWivWizWi!]Wi!_Wi!aWi!cWi!pWi!qWi!rWi!sWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{O#S!|!]zUV#O#P#Q#R!}!svnkn~",
|
stateData: "Kx~O!nOS~OUaOVaOaSOdTOhUOlVOoWOxXO|ZO!_bO!acO!cdO!edO!rPO!sPO!tPO!uQO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~O}hO~PVO!rjOXSXYSXZSX[SX]SX^SX_SX`SXjSX!SSX!TSX!USX!VSX!WSX!XSX!YSX!ZSX![SX!]SX!lSX!ySXcSX!gSX!hSX!iSX!jSXbSXkSXuSXzSXsSXwSX~OXlOYmOZnO[oO]pO^qO_rO`sOjtO!StO!TtO!UtO!VtO!WtO!XtO!YtO!ZtO![tO!]tO~O!l!oX~P%TOUaOVaOa{OdTOhUOlVOoWOxXO|ZO!rPO!sPO!tPO!uQO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~Oa!POhUO~Od!RO~Od!SO~Od!TO~O}!UO~O!Q!VO~O!Q!WO~Oa!XO~O}!YO~O}!ZO~Oa!_O!uQO~O!g!bO!h!cO!i!dO!j!eO!l!oX~O!y!wX~P%TOX!qXY!qXZ!qX[!qX]!qX^!qX_!qX`!qXj!qX!S!qX!T!qX!U!qX!V!qX!W!qX!X!qX!Y!qX!Z!qX![!qX!]!qX~Ob!iO!y!qX~P)rO!y!rO~Ob!sO!y!wX~Ob!tO!g!bO!h!cO!i!dO!j!eO~OXlOYmOZnO[oO]pO^qO_rO`sO~Oc!wX!y!wXz!wX~P+yOc!uO!y!rO~OX!qXY!qXZ!qX[!qX]!qX^!qX_!qX`!qX~Oj!vOc!qX!y!qX~P,zOj#TO!y#SO~Oj#YO~Oz#[O!y#ZO~OXlOZWi[Wi]Wi^Wi_Wi`WijWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi![Wi!]Wi!lWibWi!yWicWi!gWi!hWi!iWi!jWikWizWiwWi~OYWi~P.YOYmO~P.YOXlOYmOZnO`sO]Wi^Wi_WijWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi![Wi!]Wi!lWibWi!yWicWi!gWi!hWi!iWi!jWikWizWiwWi~O[Wi~P0eOXlOYmOZnO[oO_rO`sO^WijWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi![Wi!]Wi!lWibWi!yWicWi!gWi!hWi!iWi!jWikWizWiwWi~O]Wi~P2iO]pO~P2iO[oO~P0eO[Wi]Wi^Wi_Wi`Wi~OXlOYmOZnOjWi!SWi!TWi!UWi!VWi!WWi!XWi!YWi!ZWi![Wi!]Wi!lWibWi!yWicWi!gWi!hWi!iWi!jWikWizWiwWi~P4{O!gQi!hQi!iQi!jQi!lQibQicQiwQikQi~P+yOb#_O~P+yOj#`O~Ok#aO~P+yOu#bO~Oz#cO!y!rO~Ob#dO~P+yOz#eO!y!rO~Oz#fO!y!rO~Ob#gO!y!zX~O!y#hO~OUaOVaOa{OdTOhUOlVOoWOxXO|ZO!rPO!sPO!tPO!u#jO!|[O!}[O#O]O#P]O#Q]O#R]O#S^O~O!g!bO!i!fi!j!fi!l!fib!fic!fiw!fik!fi~O!h!fi~P:hO!h!cO~P:hO!g!bO!h!cO!i!dO!j!fi!l!fib!fic!fiw!fik!fi~Ob!xi!y!xic!xiz!xi~P+yOk#oO~P+yOa#wO~OX$aOY$bOZ$cO[$dO]$eO^$fO_$gO`$hO~PVOz#Xi!y#Xi~P+yOk#{O~P+yOs#|Ou#}O~P)rO!g!bO!h!cO!i!dO!j!eOcvXwvX~Oc$POw$OO~Ok$QO~P+yO!g!bO!h!cO!i!dO!j!eO!l!byb!byc!byw!byk!by~Oc$SO!g!bO!h!cO!i!dO!j!eO~Ob$ZO~P+yOc$[O!g!bO!h!cO!i!dO!j!eO~Ocriwri~P+yOctiwti~P+yOc$]O~P%TOk$^O!g!bO!h!cO!i!dO!j!eO~Oc$`O~P+yOX$aOUWiVWiYWiZWiaWidWihWilWioWixWi|Wi!_Wi!aWi!cWi!eWi!rWi!sWi!tWi!uWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{OX$aOY$bOUWiVWiZWiaWidWihWilWioWixWi|Wi!_Wi!aWi!cWi!eWi!rWi!sWi!tWi!uWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{OX$aOY$bOZ$cO`$hOUWiVWi]Wi^Wi_WiaWidWihWilWioWixWi|Wi!_Wi!aWi!cWi!eWi!rWi!sWi!tWi!uWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~O[Wi~PDzOX$aOY$bOZ$cO[$dO_$gO`$hOUWiVWi^WiaWidWihWilWioWixWi|Wi!_Wi!aWi!cWi!eWi!rWi!sWi!tWi!uWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~O]Wi~PGUO]$eO~PGUO[$dO~PDzOX$aOY$bOZ$cOUWiVWiaWidWihWilWioWixWi|Wi!_Wi!aWi!cWi!eWi!rWi!sWi!tWi!uWi!|Wi!}Wi#OWi#PWi#QWi#RWi#SWi~P4{O#S!|!_|UV#O#P#Q#R!}!uxolo~",
|
||||||
goto: "1f#YPP#Z#k$p&VPP&YPPPPPPPPPPPP'a'a(fP'aPP)n*QP'a*T*WP*WP*WP'aP#kPP#k*[P+aPPPPPPPPPP,fP,fP,fP,vP#ZPPPP,yPPP,|-S-zPPPP#k0e0uPP1P1SPPPPPPPP#Z1Y#Z1]1`mgOSc!b!c!d!e#[#a#k#o#{$O$Q#VaOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#OaOSclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#b#k#o#w#{#|#}$Q$^$a$b$c$d$e$f$g$hQ!OT[!^d!R!T!_#S#hS!fh#ZT#q#a$ORkQ#QaOTclmnopqrst!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hTvS{#VYOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#UYOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hR!QUQ!adQ!x!RQ!z!TQ#P!_Q#i#SR#x#hR#Q!_R#u#aT#s#a$O#V_OSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#V`OSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hmeOSc!b!c!d!e#[#a#k#o#{$O$QR!`dRiOQiOR#n#[SfO#[QySQ!]cQ#U!bQ#V!cQ#W!dQ#X!eS#r#a$OQ#y#kQ#z#oQ$T#{R$Y$QSRO#[QuSYzT{!U!Y!Zd![c!b!c!d!e#a#k#o#{$OS!il$aQ!jmQ!knQ!loQ!mpQ!nqQ!orQ!psQ!qtQ!w!PQ!y!SQ!|!XQ#]!rQ#^!vQ#k#TQ#l#YQ#p#`Q#v#bQ$R#wQ$U#|Q$V#}Q$X$QQ$_$^Q$i$bQ$j$cQ$k$dQ$l$eQ$m$fQ$n$gR$o$hSwS{Q|TQ!{!UQ!}!YR#O!ZSxS{X}T!U!Y!ZR#R!_Q#t#aR$W$OR!adR!hhQ!ghR#m#Z",
|
goto: "1f#YPP#Z#k$p&VPP&YPPPPPPPPPPPP'a'a(fP'aPPP)n*QP'a*T*WP*WP*WPP'aP#kPP#k*[P+aPPPPPPPPPP,fP,fP,fP,vP#ZPPPP,yPPP,|-S-zPPPP#k0e0uP1P1SPPPPPPP#Z1Y#Z1]1`mgOSc!b!c!d!e#[#a#k#o#{$O$Q#VaOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#OaOSclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#b#k#o#w#{#|#}$Q$^$a$b$c$d$e$f$g$hQ!OT[!^d!R!T!_#S#hS!fh#ZT#q#a$ORkQ#QaOTclmnopqrst!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hTvS{#VYOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#UYOSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hR!QUQ!adQ!x!RQ!z!TQ#P!_Q#i#SR#x#hR#Q!_R#u#aT#s#a$O#V_OSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$h#V`OSTclmnopqrst{!P!S!U!X!Y!Z!b!c!d!e!r!v#T#Y#[#`#a#b#k#o#w#{#|#}$O$Q$^$a$b$c$d$e$f$g$hmeOSc!b!c!d!e#[#a#k#o#{$O$QR!`dRiOQiOR#n#[SfO#[QySQ!]cQ#U!bQ#V!cQ#W!dQ#X!eS#r#a$OQ#y#kQ#z#oQ$T#{R$Y$QSRO#[QuSYzT{!U!Y!Zd![c!b!c!d!e#a#k#o#{$OS!il$aQ!jmQ!knQ!loQ!mpQ!nqQ!orQ!psQ!qtQ!w!PQ!y!SQ!|!XQ#]!rQ#^!vQ#k#TQ#l#YQ#p#`Q#v#bQ$R#wQ$U#|Q$V#}Q$X$QQ$_$^Q$i$bQ$j$cQ$k$dQ$l$eQ$m$fQ$n$gR$o$hSwS{Q|TQ!{!UQ!}!YR#O!ZSxS{X}T!U!Y!ZR#R!_Q#t#aR$W$OR!adR!hhQ!ghR#m#Z",
|
||||||
nodeNames: "⚠ Expression LogicPredicate Literal Local Index Global Radical BinaryOperation + - * ∪ \\ ∆ ∩ × ( ) } { Enumeration Tuple Boolean ℬ Declarative ∈ PrefixD Variable VariableComposite PrefixI Imperative ImperativeBlocks ImperativeIteration :∈ ImperativeAssignment := ImperativeCondition PrefixR Recursion ] FunctionCall Function [ TextFunctionExpression TextFunction ComplexIndex Filter ∉ ⊆ ⊄ ⊂ > ≥ < ≤ ≠ = PredicateCall Predicate LogicNegation ¬ LogicQuantor ∀ QuantorVariable ∃ LogicBinary ⇔ ⇒ ∨ & FunctionDeclaration",
|
nodeNames: "⚠ Expression LogicPredicate Literal Local Index Global Radical BinaryOperation + - * ∪ \\ ∆ ∩ × ( ) } { Enumeration Tuple Boolean ℬ Declarative ∈ | PrefixD Variable VariableComposite PrefixI Imperative ImperativeBlocks ImperativeIteration :∈ ImperativeAssignment := ImperativeCondition ; PrefixR Recursion ] FunctionCall Function [ TextFunctionExpression TextFunction ComplexIndex Filter ∉ ⊆ ⊄ ⊂ > ≥ < ≤ ≠ = PredicateCall Predicate LogicNegation ¬ LogicQuantor ∀ QuantorVariable ∃ LogicBinary ⇔ ⇒ ∨ & FunctionDeclaration",
|
||||||
maxTerm: 101,
|
maxTerm: 101,
|
||||||
nodeProps: [
|
nodeProps: [
|
||||||
["closedBy", 17,")",20,"}"],
|
["closedBy", 17,")",20,"}"],
|
||||||
|
|
@ -15,7 +15,7 @@ export const parser = LRParser.deserialize({
|
||||||
propSources: [highlighting],
|
propSources: [highlighting],
|
||||||
skippedNodes: [0],
|
skippedNodes: [0],
|
||||||
repeatNodeCount: 0,
|
repeatNodeCount: 0,
|
||||||
tokenData: "4i~R!jX^%spq%svw&hxy&myz&rz{&w{|&||}'R}!O'W!Q!R']!R[!h!i)d!k!l)z!r!s*P!t!u*g!u!v(|!v!w(|!z!{(|!|!}*w!}#O*|#O#P+R#P#Q+W#R#S+]#T#U+]#U#V+h#V#W,z#W#X.Z#X#d+]#d#e0a#e#f+]#f#g1P#g#o+]#o#p2Q#p#q2V#q#r2[#y#z%s$f$g%s$r$s2a%o%p2f5i6S+]#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s% l% m2k%%Y%%Z2p%%[%%]2u%&Y%&Z2z%&]%&^3P%&_%&`3U%&`%&a3Z%&b%&c3`%&c%&d3e%'S%'T3j%'T%'U3o%'U%'V3t%(^%(_3y%(b%(c4O%(c%(d4T%)Q%)R4Y%)S%)T4_%)U%)V4d&FU&FV%s~%xY!l~X^%spq%s#y#z%s$f$g%s#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s&FU&FV%s~&mO!h~~&rOa~~&wOb~~&|OZ~~'ROX~~'WO!w~~']OY~P'bP!pP!Q![']R'lQ!OQ!pP|}'r!Q!['eQ'uP!R!['xQ'}Q!OQ|}'r!Q!['x~(WQ!_!`(^%&b%&c(c~(cOt~~(hOr~~(mO!{~~(rO!W~~(wO!Z~~(|O!U~~)PP!Q![)S~)XPU~!Q![)S~)aPk~!Q![)S~)gQ!Q![)m#]#^)u~)rPz~!Q![)m~)zO#S~~*POn~~*SQ!Q![*Y#f#g*b~*_P!]~!Q![*Y~*gO!|~~*lPv~!Q![*o~*tPV~!Q![*o~*|O!r~~+RO{~~+WO]~~+]Ox~~+bQ!s~#T#o+]5i6S+]~+mS!s~#T#c+]#c#d+y#d#o+]5i6S+]~,OS!s~#T#c+]#c#d,[#d#o+]5i6S+]~,aS!s~#T#`+]#`#a,m#a#o+]5i6S+]~,tQ#P~!s~#T#o+]5i6S+]~-PR!s~#T#U-Y#U#o+]5i6S+]~-_S!s~#T#f+]#f#g-k#g#o+]5i6S+]~-pS!s~#T#W+]#W#X-|#X#o+]5i6S+]~.TQ#O~!s~#T#o+]5i6S+]~.`S!s~#T#X+]#X#Y.l#Y#o+]5i6S+]~.qS!s~#T#U+]#U#V.}#V#o+]5i6S+]~/SS!s~#T#c+]#c#d/`#d#o+]5i6S+]~/eS!s~#T#c+]#c#d/q#d#o+]5i6S+]~/vS!s~#T#`+]#`#a0S#a#o+]5i6S+]~0ZQ#Q~!s~#T#o+]5i6S+]~0fS!s~#T#f+]#f#g0r#g#o+]5i6S+]~0yQ!}~!s~#T#o+]5i6S+]~1US!s~#T#X+]#X#Y1b#Y#o+]5i6S+]~1gS!s~#T#W+]#W#X1s#X#o+]5i6S+]~1zQ#R~!s~#T#o+]5i6S+]~2VOd~~2[O!x~~2aOc~~2fO!_~~2kO`~~2pOh~~2uO!f~~2zO!e~~3PO!a~~3UO!c~~3ZO!q~~3`O^~~3eOj~~3jO!Q~~3oO!g~~3tO_~~3yO[~~4OO!Y~~4TO!X~~4YO!V~~4_O!T~~4dO!S~~4iO!R~",
|
tokenData: "4i~R!jX^%spq%svw&hxy&myz&rz{&w{|&||}'R}!O'W!Q!R']!R[!h!i)d!k!l)z!r!s*P!t!u*g!u!v(|!v!w(|!z!{(|!|!}*w!}#O*|#O#P+R#P#Q+W#R#S+]#T#U+]#U#V+h#V#W,z#W#X.Z#X#d+]#d#e0a#e#f+]#f#g1P#g#o+]#o#p2Q#p#q2V#q#r2[#y#z%s$f$g%s$r$s2a%o%p2f5i6S+]#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s% l% m2k%%Y%%Z2p%%[%%]2u%&Y%&Z2z%&]%&^3P%&_%&`3U%&`%&a3Z%&b%&c3`%&c%&d3e%'S%'T3j%'T%'U3o%'U%'V3t%(^%(_3y%(b%(c4O%(c%(d4T%)Q%)R4Y%)S%)T4_%)U%)V4d&FU&FV%s~%xY!n~X^%spq%s#y#z%s$f$g%s#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s&FU&FV%s~&mO!j~~&rOa~~&wOb~~&|OZ~~'ROX~~'WO!y~~']OY~P'bP!rP!Q![']R'lQ!QQ!rP|}'r!Q!['eQ'uP!R!['xQ'}Q!QQ|}'r!Q!['x~(WQ!_!`(^%&b%&c(c~(cOu~~(hOs~~(mOw~~(rO!Y~~(wO!]~~(|O!W~~)PP!Q![)S~)XPU~!Q![)S~)aPl~!Q![)S~)gQ!Q![)m#]#^)u~)rP|~!Q![)m~)zO#S~~*POo~~*SQ!Q![*Y#f#g*b~*_P!_~!Q![*Y~*gO!|~~*lPx~!Q![*o~*tPV~!Q![*o~*|O!t~~+RO}~~+WO]~~+]Oz~~+bQ!u~#T#o+]5i6S+]~+mS!u~#T#c+]#c#d+y#d#o+]5i6S+]~,OS!u~#T#c+]#c#d,[#d#o+]5i6S+]~,aS!u~#T#`+]#`#a,m#a#o+]5i6S+]~,tQ#P~!u~#T#o+]5i6S+]~-PR!u~#T#U-Y#U#o+]5i6S+]~-_S!u~#T#f+]#f#g-k#g#o+]5i6S+]~-pS!u~#T#W+]#W#X-|#X#o+]5i6S+]~.TQ#O~!u~#T#o+]5i6S+]~.`S!u~#T#X+]#X#Y.l#Y#o+]5i6S+]~.qS!u~#T#U+]#U#V.}#V#o+]5i6S+]~/SS!u~#T#c+]#c#d/`#d#o+]5i6S+]~/eS!u~#T#c+]#c#d/q#d#o+]5i6S+]~/vS!u~#T#`+]#`#a0S#a#o+]5i6S+]~0ZQ#Q~!u~#T#o+]5i6S+]~0fS!u~#T#f+]#f#g0r#g#o+]5i6S+]~0yQ!}~!u~#T#o+]5i6S+]~1US!u~#T#X+]#X#Y1b#Y#o+]5i6S+]~1gS!u~#T#W+]#W#X1s#X#o+]5i6S+]~1zQ#R~!u~#T#o+]5i6S+]~2VOd~~2[Ok~~2aOc~~2fO!a~~2kO`~~2pOh~~2uO!h~~2zO!g~~3PO!c~~3UO!e~~3ZO!s~~3`O^~~3eOj~~3jO!S~~3oO!i~~3tO_~~3yO[~~4OO![~~4TO!Z~~4YO!X~~4_O!V~~4dO!U~~4iO!T~",
|
||||||
tokenizers: [0, 1],
|
tokenizers: [0, 1],
|
||||||
topRules: {"Expression":[0,1]},
|
topRules: {"Expression":[0,1]},
|
||||||
tokenPrec: 1955
|
tokenPrec: 1955
|
||||||
|
|
|
||||||
|
|
@ -50,6 +50,7 @@
|
||||||
"∈" "∉" "⊆" "⊄" "⊂" ">" "≥" "≤" "<" "≠" "="
|
"∈" "∉" "⊆" "⊄" "⊂" ">" "≥" "≤" "<" "≠" "="
|
||||||
":∈" ":="
|
":∈" ":="
|
||||||
|
|
||||||
|
";" "|"
|
||||||
"[" "]"
|
"[" "]"
|
||||||
"{" "}"
|
"{" "}"
|
||||||
"(" ")"
|
"(" ")"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user