@dxos/echo-query 0.8.4-main.406dc2a → 0.8.4-main.40e3dcdf1b

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (37) hide show
  1. package/dist/lib/{browser → neutral}/index.mjs +257 -68
  2. package/dist/lib/neutral/index.mjs.map +7 -0
  3. package/dist/lib/neutral/meta.json +1 -0
  4. package/dist/query-lite/index.d.ts +9895 -0
  5. package/dist/query-lite/index.d.ts.map +1 -0
  6. package/dist/query-lite/index.js +403 -375
  7. package/dist/query-lite/index.js.map +1 -0
  8. package/dist/types/src/index.d.ts +1 -0
  9. package/dist/types/src/index.d.ts.map +1 -1
  10. package/dist/types/src/parser/gen/query.terms.d.ts +1 -1
  11. package/dist/types/src/parser/gen/query.terms.d.ts.map +1 -1
  12. package/dist/types/src/parser/query-builder.d.ts +11 -3
  13. package/dist/types/src/parser/query-builder.d.ts.map +1 -1
  14. package/dist/types/src/query-lite/query-lite.d.ts +4 -4
  15. package/dist/types/src/query-lite/query-lite.d.ts.map +1 -1
  16. package/dist/types/src/sandbox/index.d.ts +2 -0
  17. package/dist/types/src/sandbox/index.d.ts.map +1 -0
  18. package/dist/types/src/sandbox/query-sandbox.d.ts +1 -1
  19. package/dist/types/src/sandbox/quickjs.d.ts.map +1 -1
  20. package/dist/types/tsconfig.tsbuildinfo +1 -1
  21. package/package.json +21 -16
  22. package/src/index.ts +1 -0
  23. package/src/parser/gen/query.terms.ts +24 -23
  24. package/src/parser/gen/query.ts +8 -8
  25. package/src/parser/query-builder.ts +64 -11
  26. package/src/parser/query.grammar +8 -2
  27. package/src/parser/query.test.ts +93 -40
  28. package/src/query-lite/query-lite.ts +140 -59
  29. package/src/sandbox/index.ts +5 -0
  30. package/src/sandbox/query-sandbox.test.ts +15 -14
  31. package/src/sandbox/query-sandbox.ts +1 -1
  32. package/src/sandbox/quickjs.ts +1 -2
  33. package/dist/lib/browser/index.mjs.map +0 -7
  34. package/dist/lib/browser/meta.json +0 -1
  35. package/dist/lib/node-esm/index.mjs +0 -530
  36. package/dist/lib/node-esm/index.mjs.map +0 -7
  37. package/dist/lib/node-esm/meta.json +0 -1
package/package.json CHANGED
@@ -1,9 +1,13 @@
1
1
  {
2
2
  "name": "@dxos/echo-query",
3
- "version": "0.8.4-main.406dc2a",
3
+ "version": "0.8.4-main.40e3dcdf1b",
4
4
  "description": "ECHO queries.",
5
5
  "homepage": "https://dxos.org",
6
6
  "bugs": "https://github.com/dxos/dxos/issues",
7
+ "repository": {
8
+ "type": "git",
9
+ "url": "https://github.com/dxos/dxos"
10
+ },
7
11
  "license": "MIT",
8
12
  "author": "info@dxos.org",
9
13
  "sideEffects": false,
@@ -15,9 +19,9 @@
15
19
  ".": {
16
20
  "source": "./src/index.ts",
17
21
  "types": "./dist/types/src/index.d.ts",
18
- "browser": "./dist/lib/browser/index.mjs",
19
- "node": "./dist/lib/node-esm/index.mjs"
20
- }
22
+ "default": "./dist/lib/neutral/index.mjs"
23
+ },
24
+ "./api.d.ts": "./dist/query-lite/index.d.ts"
21
25
  },
22
26
  "types": "dist/types/src/index.d.ts",
23
27
  "typesVersions": {
@@ -31,21 +35,22 @@
31
35
  "@lezer/common": "^1.2.2",
32
36
  "@lezer/lezer": "^1.1.2",
33
37
  "@lezer/lr": "^1.4.2",
34
- "@orama/orama": "^3.1.7",
35
- "@dxos/context": "0.8.4-main.406dc2a",
36
- "@dxos/debug": "0.8.4-main.406dc2a",
37
- "@dxos/echo-protocol": "0.8.4-main.406dc2a",
38
- "@dxos/invariant": "0.8.4-main.406dc2a",
39
- "@dxos/errors": "0.8.4-main.406dc2a",
40
- "@dxos/node-std": "0.8.4-main.406dc2a",
41
- "@dxos/echo": "0.8.4-main.406dc2a",
42
- "@dxos/vendor-quickjs": "0.8.4-main.406dc2a",
43
- "@dxos/util": "0.8.4-main.406dc2a"
38
+ "@dxos/debug": "0.8.4-main.40e3dcdf1b",
39
+ "@dxos/context": "0.8.4-main.40e3dcdf1b",
40
+ "@dxos/echo-protocol": "0.8.4-main.40e3dcdf1b",
41
+ "@dxos/echo": "0.8.4-main.40e3dcdf1b",
42
+ "@dxos/errors": "0.8.4-main.40e3dcdf1b",
43
+ "@dxos/util": "0.8.4-main.40e3dcdf1b",
44
+ "@dxos/vendor-quickjs": "0.8.4-main.40e3dcdf1b",
45
+ "@dxos/node-std": "0.8.4-main.40e3dcdf1b",
46
+ "@dxos/invariant": "0.8.4-main.40e3dcdf1b"
44
47
  },
45
48
  "devDependencies": {
46
49
  "@lezer/generator": "^1.7.1",
47
- "@dxos/echo-generator": "0.8.4-main.406dc2a",
48
- "@dxos/random": "0.8.4-main.406dc2a"
50
+ "tsdown": "^0.16.7",
51
+ "typescript": "^5.9.3",
52
+ "@dxos/echo-generator": "0.8.4-main.40e3dcdf1b",
53
+ "@dxos/random": "0.8.4-main.40e3dcdf1b"
49
54
  },
50
55
  "publishConfig": {
51
56
  "access": "public"
package/src/index.ts CHANGED
@@ -3,3 +3,4 @@
3
3
  //
4
4
 
5
5
  export * from './parser';
6
+ export * from './sandbox';
@@ -1,26 +1,27 @@
1
1
  // This file was generated by lezer-generator. You probably shouldn't edit it.
2
2
  export const
3
3
  Query = 1,
4
- Filter = 2,
5
- TagFilter = 3,
6
- Tag = 4,
7
- TextFilter = 5,
8
- String = 6,
9
- TypeFilter = 7,
10
- Identifier = 8,
11
- TypeKeyword = 9,
12
- PropertyFilter = 11,
13
- PropertyPath = 12,
14
- Value = 14,
15
- Number = 15,
16
- Boolean = 16,
17
- Null = 17,
18
- ObjectLiteral = 18,
19
- ObjectProperty = 20,
20
- ArrayLiteral = 23,
21
- Not = 26,
22
- And = 27,
23
- Or = 28,
24
- Relation = 29,
25
- ArrowRight = 30,
26
- ArrowLeft = 31
4
+ Assignment = 2,
5
+ Identifier = 3,
6
+ Filter = 7,
7
+ TagFilter = 8,
8
+ Tag = 9,
9
+ TextFilter = 10,
10
+ String = 11,
11
+ TypeFilter = 12,
12
+ TypeKeyword = 13,
13
+ PropertyFilter = 15,
14
+ PropertyPath = 16,
15
+ Value = 18,
16
+ Number = 19,
17
+ Boolean = 20,
18
+ Null = 21,
19
+ ObjectLiteral = 22,
20
+ ObjectProperty = 24,
21
+ ArrayLiteral = 27,
22
+ Not = 30,
23
+ And = 31,
24
+ Or = 32,
25
+ Relation = 33,
26
+ ArrowRight = 34,
27
+ ArrowLeft = 35
@@ -1,18 +1,18 @@
1
1
  // This file was generated by lezer-generator. You probably shouldn't edit it.
2
2
  import {LRParser} from "@lezer/lr"
3
- const spec_Identifier = {__proto__:null,type:18, NOT:82, not:82, "!":82, AND:84, and:84, OR:86, or:86}
3
+ const spec_Identifier = {__proto__:null,type:26, NOT:86, not:86, "!":86, AND:88, and:88, OR:90, or:90}
4
4
  export const parser = LRParser.deserialize({
5
5
  version: 14,
6
- states: "(QOVQPOOOOQO'#C_'#C_OOQO'#Ca'#CaOnQPO'#CcOsQPO'#ChO{QPO'#CnO!TQPO'#CgOOQO'#C^'#C^OOQO'#Cv'#CvOOQO'#DU'#DUOVQPO'#DUQ!YQPOOOVQPO'#DUO!jQPO,58}O!oQPO'#DOO!tQPO,59SO!|QPO'#CpOOQO,59Y,59YO#RQPO,59YO#ZQQO,59RO#oQPO,59pOOQO'#Cw'#CwOOQO'#Cx'#CxOOQO'#Cy'#CyOVQPO,59pOVQPO,59pOVQPO,59pO$jQPO,59pOOQO1G.i1G.iOOQO,59j,59jOOQO-E6|-E6|O#ZQQO,59[O$}QPO'#DPO%SQPO1G.tOOQO1G.t1G.tO%[QQO'#CsOOQO'#Cj'#CjOOQO1G.m1G.mO%cQPO1G/[O%yQPO1G/[O&aQPO1G/[OOQO1G/[1G/[OOQO1G.v1G.vOOQO,59k,59kOOQO-E6}-E6}OOQO7+$`7+$`OOQO,59_,59_O&wQPO,59_O#ZQQO'#DQO'PQPO1G.yOOQO1G.y1G.yOOQO,59l,59lOOQO-E7O-E7OOOQO7+$e7+$e",
7
- stateData: "'X~OwOS~OSPOUQOWSOXROcTOp[OyWO~OY]O~O]^OY[X~OW`OfaO~OYcO~OngOogOzeO{fO~PVOWlO~OWmO~O]^OY[a~OYoO~OepOfrO~OUtO_tO`tOatOcTOhsO~OyWOSxaUxaWxaXxacxanxaoxapxauxazxa{xaqxa~OngOogOqyOzeO{fO~PVOW`O~OepOf}O~Oi!OO~P#ZOnxioxiuxizxi{xiqxi~PVOzeOnxioxiuxi{xiqxi~PVOzeO{fOnxioxiuxiqxi~PVOe!QOi!SO~Oe!QOi!VO~O",
8
- goto: "%TyPPz!XP!XP!XPPP!X!fP!sPPP#PP#dPP#^PP#j#x$O$TPPPP$X$_$ePPP$kgXOYZ[hijkvwxgVOYZ[hijkvwxgUOYZ[hijkvwxQucQzoQ!PsR!T!QfVOYZ[hijkvwxXtcos!QQbTR{piYOYZ[dhijkvwxXhZkwxViZkxTjZkQ_SRn_QqbR|qQ!R!PR!U!RQZO^dYZdkvwxQk[QvhQwiRxj",
9
- nodeNames: "⚠ Query Filter TagFilter Tag TextFilter String TypeFilter Identifier TypeKeyword : PropertyFilter PropertyPath . Value Number Boolean Null ObjectLiteral { ObjectProperty , } ArrayLiteral [ ] Not And Or Relation ArrowRight ArrowLeft ( )",
10
- maxTerm: 43,
6
+ states: "(jOVQPOOOnQPO'#ClOOQO'#Cd'#CdOOQO'#Cf'#CfOyQPO'#ChO!OQPO'#CrO!WQPO'#CkOOQO'#Cc'#CcOOQO'#Cz'#CzOOQO'#DW'#DWOVQPO'#DWQ!]QPOOOVQPO'#DWO!mQPO,58xO!rQPO'#DQO!wQPO,59WO#PQPO,59SO#UQPO'#CtOOQO,59^,59^O#ZQPO,59^O#cQQO,59VO#wQPO,59rOOQO'#C{'#C{OOQO'#C|'#C|OOQO'#C}'#C}OVQPO,59rOVQPO,59rOVQPO,59rO$rQPO,59rOVQPO1G.dOOQO,59l,59lOOQO-E7O-E7OOOQO1G.n1G.nO#cQQO,59`O%VQPO'#DRO%[QPO1G.xOOQO1G.x1G.xO%dQQO'#CwOOQO'#Cn'#CnOOQO1G.q1G.qO%kQPO1G/^O&RQPO1G/^O&iQPO1G/^OOQO1G/^1G/^O'PQPO7+$OOOQO1G.z1G.zOOQO,59m,59mOOQO-E7P-E7POOQO7+$d7+$dOOQO,59c,59cO'dQPO,59cOOQO<<Gj<<GjO#cQQO'#DSO'lQPO1G.}OOQO1G.}1G.}OOQO,59n,59nOOQO-E7Q-E7QOOQO7+$i7+$i",
7
+ stateData: "'t~OyOS~ORPOT[OXQOZRO]SOgTO{WO~OS]Oa^O^`X~O^`O~ORaOjbO~O^dO~OrhOshO|fO}gO~PVOTmO~ORnO~Oa^O^`a~ORpO~O^qO~OirOjtO~OZvOcvOdvOevOgTOluO~O{WORzaTzaXzaZza]zagzarzaszawza|za}zaUza~OU{OrhOshO|fO}gO~PVORaO~OirOj!QO~Om!RO~P#cOrzisziwzi|zi}ziUzi~PVO|fOrzisziwzi}ziUzi~PVO|fO}gOrzisziwziUzi~PVOU!TOrhOshO|fO}gO~PVOi!UOm!WO~Oi!UOm!ZO~O",
8
+ goto: "%h{PP|PPPP|!]P!]P!]PP!]!lP!{PPP#XP#nPP#hPP#t$U$]$cPP$h$n$tPPP$zkXOYZ[ijklmxyz|kVOYZ[ijklmxyz|kUOYZ[ijklmxyz|QwdQ}qQ!SuR!X!UjVOYZ[ijklmxyz|Xvdqu!UQcTR!OrmYOYZ[eijklmxyz|ZiZlyz|XjZlz|VkZl|Q_PRo_QscR!PsQ!V!SR!Y!VQZO`eYZelxyz|Ql[QxiQyjQzkR|m",
9
+ nodeNames: "⚠ Query Assignment Identifier = ( ) Filter TagFilter Tag TextFilter String TypeFilter TypeKeyword : PropertyFilter PropertyPath . Value Number Boolean Null ObjectLiteral { ObjectProperty , } ArrayLiteral [ ] Not And Or Relation ArrowRight ArrowLeft",
10
+ maxTerm: 45,
11
11
  skippedNodes: [0],
12
12
  repeatNodeCount: 3,
13
- tokenData: "2w~RrX^#]pq#]rs$Qst%nwx&fxy'}yz(S|}(X}!O(^!O!P)}!Q![(g![!]*S!^!_*X!c!}*d!}#O+O#P#Q+T#R#S*d#T#Y*d#Y#Z+Y#Z#b*d#b#c.i#c#h*d#h#i1Z#i#o*d#o#p2m#q#r2r#y#z#]$f$g#]#BY#BZ#]$IS$I_#]$I|$JO#]$JT$JU#]$KV$KW#]&FU&FV#]~#bYw~X^#]pq#]#y#z#]$f$g#]#BY#BZ#]$IS$I_#]$I|$JO#]$JT$JU#]$KV$KW#]&FU&FV#]~$TVOr$Qrs$js#O$Q#O#P$o#P;'S$Q;'S;=`%h<%lO$Q~$oOU~~$rRO;'S$Q;'S;=`${;=`O$Q~%OWOr$Qrs$js#O$Q#O#P$o#P;'S$Q;'S;=`%h;=`<%l$Q<%lO$Q~%kP;=`<%l$Q~%qT}!O&Q!Q![&Q!c!}&Q#R#S&Q#T#o&Q~&VTS~}!O&Q!Q![&Q!c!}&Q#R#S&Q#T#o&Q~&iVOw&fwx$jx#O&f#O#P'O#P;'S&f;'S;=`'w<%lO&f~'RRO;'S&f;'S;=`'[;=`O&f~'_WOw&fwx$jx#O&f#O#P'O#P;'S&f;'S;=`'w;=`<%l&f<%lO&f~'zP;=`<%l&f~(SOp~~(XOq~~(^Oe~~(aQ!Q![(g!`!a)x~(lS_~!O!P(x!Q![(g!g!h)^#X#Y)^~({P!Q![)O~)TR_~!Q![)O!g!h)^#X#Y)^~)aR{|)j}!O)j!Q![)p~)mP!Q![)p~)uP_~!Q![)p~)}On~~*SO]~~*XOY~~*[P}!O*_~*dOo~P*iVWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#o*d~+TOh~~+YOi~R+_WWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#U+w#U#o*dR+|XWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#`*d#`#a,i#a#o*dR,nXWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#g*d#g#h-Z#h#o*dR-`XWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#X*d#X#Y-{#Y#o*dR.SV`QWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#o*dR.nXWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#i*d#i#j/Z#j#o*dR/`XWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#`*d#`#a/{#a#o*dR0QXWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#`*d#`#a0m#a#o*dR0tVWPaQ}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#o*dR1`XWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#f*d#f#g1{#g#o*dR2QXWP}!O*d!O!P*d!P!Q*d!Q![*d!c!}*d#R#S*d#T#i*d#i#j-Z#j#o*d~2rOc~~2wOf~",
13
+ tokenData: "3P~RsX^#`pq#`rs$Tst%qwx&ixy(Qyz(V|}([}!O(a!O!P*Q!Q![(j![!]*V!^!_*[!_!`*g!c!}*l!}#O+W#P#Q+]#R#S*l#T#Y*l#Y#Z+b#Z#b*l#b#c.q#c#h*l#h#i1c#i#o*l#o#p2u#q#r2z#y#z#`$f$g#`#BY#BZ#`$IS$I_#`$I|$JO#`$JT$JU#`$KV$KW#`&FU&FV#`~#eYy~X^#`pq#`#y#z#`$f$g#`#BY#BZ#`$IS$I_#`$I|$JO#`$JT$JU#`$KV$KW#`&FU&FV#`~$WVOr$Trs$ms#O$T#O#P$r#P;'S$T;'S;=`%k<%lO$T~$rOZ~~$uRO;'S$T;'S;=`%O;=`O$T~%RWOr$Trs$ms#O$T#O#P$r#P;'S$T;'S;=`%k;=`<%l$T<%lO$T~%nP;=`<%l$T~%tT}!O&T!Q![&T!c!}&T#R#S&T#T#o&T~&YTX~}!O&T!Q![&T!c!}&T#R#S&T#T#o&T~&lVOw&iwx$mx#O&i#O#P'R#P;'S&i;'S;=`'z<%lO&i~'URO;'S&i;'S;=`'_;=`O&i~'bWOw&iwx$mx#O&i#O#P'R#P;'S&i;'S;=`'z;=`<%l&i<%lO&i~'}P;=`<%l&i~(VOT~~([OU~~(aOi~~(dQ!Q![(j!`!a){~(oSc~!O!P({!Q![(j!g!h)a#X#Y)a~)OP!Q![)R~)WRc~!Q![)R!g!h)a#X#Y)a~)dR{|)m}!O)m!Q![)s~)pP!Q![)s~)xPc~!Q![)s~*QOr~~*VOa~~*[O^~~*_P}!O*b~*gOs~~*lOS~P*qVRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#o*l~+]Ol~~+bOm~R+gWRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#U,P#U#o*lR,UXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#`*l#`#a,q#a#o*lR,vXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#g*l#g#h-c#h#o*lR-hXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#X*l#X#Y.T#Y#o*lR.[VdQRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#o*lR.vXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#i*l#i#j/c#j#o*lR/hXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#`*l#`#a0T#a#o*lR0YXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#`*l#`#a0u#a#o*lR0|VRPeQ}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#o*lR1hXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#f*l#f#g2T#g#o*lR2YXRP}!O*l!O!P*l!P!Q*l!Q![*l!c!}*l#R#S*l#T#i*l#i#j-c#j#o*l~2zOg~~3POj~",
14
14
  tokenizers: [0, 1],
15
15
  topRules: {"Query":[0,1]},
16
- specialized: [{term: 8, get: (value: keyof typeof spec_Identifier) => spec_Identifier[value] || -1}],
16
+ specialized: [{term: 3, get: (value: keyof typeof spec_Identifier) => spec_Identifier[value] || -1}],
17
17
  tokenPrec: 0
18
18
  })
@@ -9,6 +9,9 @@ import { invariant } from '@dxos/invariant';
9
9
 
10
10
  import { QueryDSL } from './gen';
11
11
 
12
+ // TODO(burdon): Return Query AST.
13
+ export type BuildResult = { filter?: Filter.Any; name?: string };
14
+
12
15
  /**
13
16
  * Stateless query builder that parses DSL trees into filters.
14
17
  *
@@ -18,7 +21,7 @@ import { QueryDSL } from './gen';
18
21
  export class QueryBuilder {
19
22
  private readonly _parser: Parser = QueryDSL.Parser.configure({ strict: true });
20
23
 
21
- constructor(private readonly _tags?: Tag.TagMap) {}
24
+ constructor(private readonly _tags?: Tag.Map) {}
22
25
 
23
26
  /**
24
27
  * Check valid input.
@@ -35,24 +38,24 @@ export class QueryBuilder {
35
38
  /**
36
39
  * Build a query from the input string.
37
40
  */
38
- build(input: string): Filter.Any | undefined {
41
+ build(input: string): BuildResult {
39
42
  try {
40
43
  const tree = this._parser.parse(input);
41
44
  return this.buildQuery(tree, input);
42
45
  } catch {
43
- return undefined;
46
+ return {};
44
47
  }
45
48
  }
46
49
 
47
50
  /**
48
51
  * Build a query from a parsed DSL tree.
49
52
  */
50
- buildQuery(tree: Tree, input: string): Filter.Any | undefined {
53
+ buildQuery(tree: Tree, input: string): BuildResult {
51
54
  const cursor = tree.cursor();
52
55
 
53
56
  // Start at root (Query node).
54
57
  if (cursor.node.name !== 'Query') {
55
- return undefined;
58
+ return {};
56
59
  }
57
60
 
58
61
  // Check if Query has multiple children (binary expression).
@@ -64,20 +67,70 @@ export class QueryBuilder {
64
67
  cursor.parent();
65
68
  }
66
69
 
70
+ // Check if this is an assignment.
71
+ const hasAssignment = children.some((child) => child.name === 'Assignment');
72
+ if (hasAssignment) {
73
+ return this._parseAssignment(cursor, input);
74
+ }
75
+
67
76
  // If we have an operator in the children, or multiple expressions (implicit AND), parse as binary expression.
68
77
  const hasOperator = children.some((child) => child.name === 'And' || child.name === 'Or');
69
78
  const hasMultipleExpressions =
70
79
  children.filter((child) => child.name === 'Filter' || child.name === 'Not' || child.name === '(').length > 1;
71
80
  if (hasOperator || hasMultipleExpressions) {
72
- return this._parseBinaryExpression(cursor, input);
81
+ const filter = this._parseBinaryExpression(cursor, input);
82
+ return { filter };
73
83
  }
74
84
 
75
85
  // Otherwise, parse the single expression.
76
86
  if (!cursor.firstChild()) {
77
- return Filter.nothing();
87
+ return { filter: Filter.nothing() };
78
88
  }
79
89
 
80
- return this._parseExpression(cursor, input);
90
+ const filter = this._parseExpression(cursor, input);
91
+ return { filter };
92
+ }
93
+
94
+ /**
95
+ * Parse an assignment node.
96
+ */
97
+ private _parseAssignment(cursor: TreeCursor, input: string): BuildResult {
98
+ if (!cursor.firstChild()) {
99
+ return {};
100
+ }
101
+
102
+ let name: string | undefined;
103
+ let filter: Filter.Any | undefined;
104
+
105
+ // Find the Assignment node
106
+ do {
107
+ if (cursor.node.name === 'Assignment') {
108
+ // Get the full assignment text first
109
+ const assignmentText = this._getNodeText(cursor, input);
110
+
111
+ if (cursor.firstChild()) {
112
+ // First child should be the variable name (Identifier)
113
+ name = this._getNodeText(cursor, input);
114
+
115
+ // Find the parentheses in the assignment text and extract the content
116
+ const openParenIndex = assignmentText.indexOf('(');
117
+ const closeParenIndex = assignmentText.lastIndexOf(')');
118
+
119
+ if (openParenIndex !== -1 && closeParenIndex !== -1 && closeParenIndex > openParenIndex) {
120
+ const subInput = assignmentText.slice(openParenIndex + 1, closeParenIndex).trim();
121
+ const subTree = this._parser.parse(subInput);
122
+ const subResult = this.buildQuery(subTree, subInput);
123
+ filter = subResult.filter;
124
+ }
125
+
126
+ cursor.parent(); // Back to Assignment
127
+ }
128
+ break;
129
+ }
130
+ } while (cursor.nextSibling());
131
+
132
+ cursor.parent(); // Back to Query
133
+ return { filter, name };
81
134
  }
82
135
 
83
136
  /**
@@ -204,9 +257,9 @@ export class QueryBuilder {
204
257
  // Parse the expression inside parentheses as a subtree.
205
258
  const subInput = input.slice(exprStart, exprEnd);
206
259
  const subTree = this._parser.parse(subInput);
207
- const subFilter = this.buildQuery(subTree, subInput);
208
- if (subFilter) {
209
- filters.push(subFilter);
260
+ const subResult = this.buildQuery(subTree, subInput);
261
+ if (subResult.filter) {
262
+ filters.push(subResult.filter);
210
263
  }
211
264
  } else {
212
265
  // Simple parenthesized expression.
@@ -5,6 +5,7 @@
5
5
  @top Query { expression }
6
6
 
7
7
  expression {
8
+ Assignment |
8
9
  Filter |
9
10
  !Not Not expression |
10
11
  expression !ImplicitAnd expression |
@@ -14,6 +15,10 @@ expression {
14
15
  "(" expression ")"
15
16
  }
16
17
 
18
+ Assignment {
19
+ Identifier "=" "(" expression ")"
20
+ }
21
+
17
22
  Not {
18
23
  @specialize<Identifier, "NOT" | "not" | "!">
19
24
  }
@@ -110,7 +115,7 @@ Value {
110
115
  space { @whitespace+ }
111
116
 
112
117
  "{" "}" "[" "]" "(" ")"
113
- ":" "," "."
118
+ ":" "," "." "="
114
119
  }
115
120
 
116
121
  @skip { space }
@@ -120,5 +125,6 @@ Value {
120
125
  ImplicitAnd @left,
121
126
  And @left,
122
127
  Or @left,
123
- Relation @left
128
+ Relation @left,
129
+ Assignment @right
124
130
  }
@@ -8,7 +8,7 @@ import { describe, it } from 'vitest';
8
8
  import { Filter, Tag } from '@dxos/echo';
9
9
 
10
10
  import { QueryDSL } from './gen';
11
- import { QueryBuilder } from './query-builder';
11
+ import { type BuildResult, QueryBuilder } from './query-builder';
12
12
 
13
13
  // TODO(burdon): Ref/Relation traversal.
14
14
 
@@ -51,10 +51,10 @@ describe('query', () => {
51
51
  },
52
52
  // Type
53
53
  {
54
- input: 'type:dxos.org/type/Person',
54
+ input: 'type:org.dxos.type.person',
55
55
  expected: [
56
56
  'Query',
57
- // type:dxos.org/type/Person
57
+ // type:org.dxos.type.person
58
58
  'Filter',
59
59
  'TypeFilter',
60
60
  'TypeKeyword',
@@ -111,10 +111,10 @@ describe('query', () => {
111
111
  ],
112
112
  },
113
113
  {
114
- input: 'type:dxos.org/type/Person OR type:dxos.org/type/Organization',
114
+ input: 'type:org.dxos.type.person OR type:org.dxos.type.organization',
115
115
  expected: [
116
116
  'Query',
117
- // type:dxos.org/type/Person
117
+ // type:org.dxos.type.person
118
118
  'Filter',
119
119
  'TypeFilter',
120
120
  'TypeKeyword',
@@ -122,7 +122,7 @@ describe('query', () => {
122
122
  'Identifier',
123
123
  // OR
124
124
  'Or',
125
- // type:dxos.org/type/Organization
125
+ // type:org.dxos.type.organization
126
126
  'Filter',
127
127
  'TypeFilter',
128
128
  'TypeKeyword',
@@ -131,11 +131,11 @@ describe('query', () => {
131
131
  ],
132
132
  },
133
133
  {
134
- input: '(type:dxos.org/type/Person OR type:dxos.org/type/Organization) AND { name: "DXOS" }',
134
+ input: '(type:org.dxos.type.person OR type:org.dxos.type.organization) AND { name: "DXOS" }',
135
135
  expected: [
136
136
  'Query',
137
137
  '(',
138
- // type:dxos.org/type/Person
138
+ // type:org.dxos.type.person
139
139
  'Filter',
140
140
  'TypeFilter',
141
141
  'TypeKeyword',
@@ -143,7 +143,7 @@ describe('query', () => {
143
143
  'Identifier',
144
144
  // OR
145
145
  'Or',
146
- // type:dxos.org/type/Organization
146
+ // type:org.dxos.type.organization
147
147
  'Filter',
148
148
  'TypeFilter',
149
149
  'TypeKeyword',
@@ -164,10 +164,10 @@ describe('query', () => {
164
164
  ],
165
165
  },
166
166
  {
167
- input: 'type:dxos.org/type/Person -> type:dxos.org/type/Organization',
167
+ input: 'type:org.dxos.type.person -> type:org.dxos.type.organization',
168
168
  expected: [
169
169
  'Query',
170
- // type:dxos.org/type/Person
170
+ // type:org.dxos.type.person
171
171
  'Filter',
172
172
  'TypeFilter',
173
173
  'TypeKeyword',
@@ -175,7 +175,7 @@ describe('query', () => {
175
175
  'Identifier',
176
176
  'Relation',
177
177
  'ArrowRight',
178
- // type:dxos.org/type/Organization
178
+ // type:org.dxos.type.organization
179
179
  'Filter',
180
180
  'TypeFilter',
181
181
  'TypeKeyword',
@@ -184,10 +184,10 @@ describe('query', () => {
184
184
  ],
185
185
  },
186
186
  {
187
- input: 'type:dxos.org/type/Organization <- type:dxos.org/type/Person',
187
+ input: 'type:org.dxos.type.organization <- type:org.dxos.type.person',
188
188
  expected: [
189
189
  'Query',
190
- // type:dxos.org/type/Organization
190
+ // type:org.dxos.type.organization
191
191
  'Filter',
192
192
  'TypeFilter',
193
193
  'TypeKeyword',
@@ -195,7 +195,7 @@ describe('query', () => {
195
195
  'Identifier',
196
196
  'Relation',
197
197
  'ArrowLeft',
198
- // type:dxos.org/type/Person
198
+ // type:org.dxos.type.person
199
199
  'Filter',
200
200
  'TypeFilter',
201
201
  'TypeKeyword',
@@ -206,7 +206,7 @@ describe('query', () => {
206
206
  {
207
207
  // Persons for Organizations with name "DXOS"
208
208
  // TODO(burdon): Filter relations.
209
- input: '((type:dxos.org/type/Organization AND { name: "DXOS" }) -> type:dxos.org/type/Person)',
209
+ input: '((type:org.dxos.type.organization AND { name: "DXOS" }) -> type:org.dxos.type.person)',
210
210
  expected: [
211
211
  'Query',
212
212
  '(',
@@ -238,7 +238,7 @@ describe('query', () => {
238
238
  ],
239
239
  },
240
240
  {
241
- input: 'type:dxos.org/type/Person and { name: "DXOS" }',
241
+ input: 'type:org.dxos.type.person and { name: "DXOS" }',
242
242
  expected: [
243
243
  'Query',
244
244
  'Filter',
@@ -258,6 +258,22 @@ describe('query', () => {
258
258
  '}',
259
259
  ],
260
260
  },
261
+ {
262
+ input: 'x = ( type: org.dxos.type.person )',
263
+ expected: [
264
+ 'Query',
265
+ 'Assignment',
266
+ 'Identifier',
267
+ '=',
268
+ '(',
269
+ 'Filter',
270
+ 'TypeFilter',
271
+ 'TypeKeyword',
272
+ ':',
273
+ 'Identifier',
274
+ ')',
275
+ ],
276
+ },
261
277
  ];
262
278
 
263
279
  for (const { input, expected } of tests) {
@@ -285,72 +301,109 @@ describe('query', () => {
285
301
  });
286
302
 
287
303
  // TODO(burdon): Test "not"
288
- type Test = { input: string; expected: Filter.Any };
304
+ type Test = { input: string; expected: BuildResult };
289
305
  const tests: Test[] = [
290
306
  // Types
291
307
  {
292
- input: 'type:dxos.org/type/Person',
293
- expected: Filter.typename('dxos.org/type/Person'),
308
+ input: 'type:org.dxos.type.person',
309
+ expected: {
310
+ filter: Filter.typename('org.dxos.type.person'),
311
+ },
294
312
  },
295
313
  // Tags
296
314
  {
297
315
  input: '#foo',
298
- expected: Filter.tag('tag_1'),
316
+ expected: {
317
+ filter: Filter.tag('tag_1'),
318
+ },
299
319
  },
300
320
  {
301
321
  input: '#foo AND #bar',
302
- expected: Filter.and(Filter.tag('tag_1'), Filter.tag('tag_2')),
322
+ expected: {
323
+ filter: Filter.and(Filter.tag('tag_1'), Filter.tag('tag_2')),
324
+ },
303
325
  },
304
326
  {
305
327
  input: '#foo #bar',
306
- expected: Filter.and(Filter.tag('tag_1'), Filter.tag('tag_2')),
328
+ expected: {
329
+ filter: Filter.and(Filter.tag('tag_1'), Filter.tag('tag_2')),
330
+ },
307
331
  },
308
332
  // Text
309
333
  {
310
334
  input: '"test"',
311
- expected: Filter.text('test'),
335
+ expected: {
336
+ filter: Filter.text('test'),
337
+ },
312
338
  },
313
339
  // Mixed
314
340
  {
315
341
  input: '#foo "test"',
316
- expected: Filter.and(Filter.tag('tag_1'), Filter.text('test')),
342
+ expected: {
343
+ filter: Filter.and(Filter.tag('tag_1'), Filter.text('test')),
344
+ },
317
345
  },
318
346
  // Props
319
347
  {
320
348
  input: '{ name: "DXOS" }',
321
- expected: Filter.props({ name: 'DXOS' }),
349
+ expected: {
350
+ filter: Filter.props({ name: 'DXOS' }),
351
+ },
322
352
  },
323
353
  {
324
354
  input: '{ value: 100 }',
325
- expected: Filter.props({ value: 100 }),
355
+ expected: {
356
+ filter: Filter.props({ value: 100 }),
357
+ },
358
+ },
359
+ {
360
+ input: 'type:org.dxos.type.person OR type:org.dxos.type.organization',
361
+ expected: {
362
+ filter: Filter.or(Filter.typename('org.dxos.type.person'), Filter.typename('org.dxos.type.organization')),
363
+ },
364
+ },
365
+ {
366
+ input: '(type:org.dxos.type.person OR type:org.dxos.type.organization) AND { name: "DXOS" }',
367
+ expected: {
368
+ filter: Filter.and(
369
+ Filter.or(Filter.typename('org.dxos.type.person'), Filter.typename('org.dxos.type.organization')),
370
+ Filter.props({ name: 'DXOS' }),
371
+ ),
372
+ },
326
373
  },
327
374
  {
328
- input: 'type:dxos.org/type/Person OR type:dxos.org/type/Organization',
329
- expected: Filter.or(Filter.typename('dxos.org/type/Person'), Filter.typename('dxos.org/type/Organization')),
375
+ input: 'type:org.dxos.type.person and { name: "DXOS" }',
376
+ expected: {
377
+ filter: Filter.and(Filter.typename('org.dxos.type.person'), Filter.props({ name: 'DXOS' })),
378
+ },
330
379
  },
380
+ // Assignment
331
381
  {
332
- input: '(type:dxos.org/type/Person OR type:dxos.org/type/Organization) AND { name: "DXOS" }',
333
- expected: Filter.and(
334
- Filter.or(Filter.typename('dxos.org/type/Person'), Filter.typename('dxos.org/type/Organization')),
335
- Filter.props({ name: 'DXOS' }),
336
- ),
382
+ input: 'x = ( type:org.dxos.type.person )',
383
+ expected: {
384
+ name: 'x',
385
+ filter: Filter.typename('org.dxos.type.person'),
386
+ },
337
387
  },
338
388
  {
339
- input: 'type:dxos.org/type/Person and { name: "DXOS" }',
340
- expected: Filter.and(Filter.typename('dxos.org/type/Person'), Filter.props({ name: 'DXOS' })),
389
+ input: 'x = ( #foo AND "bar" )',
390
+ expected: {
391
+ name: 'x',
392
+ filter: Filter.and(Filter.tag('tag_1'), Filter.text('bar')),
393
+ },
341
394
  },
342
395
  // TODO(burdon): Convert Query/Filter expr to AST.
343
396
  // TODO(burdon): Person -> Organization (many-to-many relation).
344
397
  // Get Research Note objects for Organization objects for Person objects with jobTitle.
345
398
  //
346
- // Cypher: MATCH (p:Person)-[:WorksAt]->(o:Organization)<-[:ResearchOn]-(r:ResearchNote) WHERE p.jotTitle IS NOT NULL
347
- // ((type:Person AND { jobTitle: "investor" }) -[:WorksAt]-> type:Organization) <-[:ResearchOn]- type:ResearchNote
399
+ // Cypher: MATCH (p:Person)-[:WorksAt]->(o:Organization)<-[:HasSubject]-(r:ResearchNote) WHERE p.jotTitle IS NOT NULL
400
+ // ((type:Person AND { jobTitle: "investor" }) -[:WorksAt]-> type:Organization) <-[:HasSubject]- type:ResearchNote
348
401
  //
349
402
  // {
350
403
  // input: '',
351
- // expected: Query.select(Filter.typename('dxos.org/type/Person', { jobTitle: 'investor' }))
404
+ // expected: Query.select(Filter.typename('org.dxos.type.person', { jobTitle: 'investor' }))
352
405
  // .reference('organization')
353
- // .targetOf(Relation.of('dxos.org/relation/ResearchOn')) // TODO(burdon): Invert?
406
+ // .targetOf(Relation.of('org.dxos.relation.has-subject')) // TODO(burdon): Invert?
354
407
  // .source(),
355
408
  // },
356
409
  ];