@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.
- package/dist/lib/{browser → neutral}/index.mjs +257 -68
- package/dist/lib/neutral/index.mjs.map +7 -0
- package/dist/lib/neutral/meta.json +1 -0
- package/dist/query-lite/index.d.ts +9895 -0
- package/dist/query-lite/index.d.ts.map +1 -0
- package/dist/query-lite/index.js +403 -375
- package/dist/query-lite/index.js.map +1 -0
- package/dist/types/src/index.d.ts +1 -0
- package/dist/types/src/index.d.ts.map +1 -1
- package/dist/types/src/parser/gen/query.terms.d.ts +1 -1
- package/dist/types/src/parser/gen/query.terms.d.ts.map +1 -1
- package/dist/types/src/parser/query-builder.d.ts +11 -3
- package/dist/types/src/parser/query-builder.d.ts.map +1 -1
- package/dist/types/src/query-lite/query-lite.d.ts +4 -4
- package/dist/types/src/query-lite/query-lite.d.ts.map +1 -1
- package/dist/types/src/sandbox/index.d.ts +2 -0
- package/dist/types/src/sandbox/index.d.ts.map +1 -0
- package/dist/types/src/sandbox/query-sandbox.d.ts +1 -1
- package/dist/types/src/sandbox/quickjs.d.ts.map +1 -1
- package/dist/types/tsconfig.tsbuildinfo +1 -1
- package/package.json +21 -16
- package/src/index.ts +1 -0
- package/src/parser/gen/query.terms.ts +24 -23
- package/src/parser/gen/query.ts +8 -8
- package/src/parser/query-builder.ts +64 -11
- package/src/parser/query.grammar +8 -2
- package/src/parser/query.test.ts +93 -40
- package/src/query-lite/query-lite.ts +140 -59
- package/src/sandbox/index.ts +5 -0
- package/src/sandbox/query-sandbox.test.ts +15 -14
- package/src/sandbox/query-sandbox.ts +1 -1
- package/src/sandbox/quickjs.ts +1 -2
- package/dist/lib/browser/index.mjs.map +0 -7
- package/dist/lib/browser/meta.json +0 -1
- package/dist/lib/node-esm/index.mjs +0 -530
- package/dist/lib/node-esm/index.mjs.map +0 -7
- 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.
|
|
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
|
-
"
|
|
19
|
-
|
|
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
|
-
"@
|
|
35
|
-
"@dxos/context": "0.8.4-main.
|
|
36
|
-
"@dxos/
|
|
37
|
-
"@dxos/echo
|
|
38
|
-
"@dxos/
|
|
39
|
-
"@dxos/
|
|
40
|
-
"@dxos/
|
|
41
|
-
"@dxos/
|
|
42
|
-
"@dxos/
|
|
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
|
-
"
|
|
48
|
-
"
|
|
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
|
@@ -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
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
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
|
package/src/parser/gen/query.ts
CHANGED
|
@@ -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:
|
|
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: "(
|
|
7
|
-
stateData: "'
|
|
8
|
-
goto: "%
|
|
9
|
-
nodeNames: "⚠ Query Filter TagFilter Tag TextFilter String TypeFilter
|
|
10
|
-
maxTerm:
|
|
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: "
|
|
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:
|
|
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.
|
|
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):
|
|
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
|
|
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):
|
|
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
|
|
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
|
-
|
|
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
|
-
|
|
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
|
|
208
|
-
if (
|
|
209
|
-
filters.push(
|
|
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.
|
package/src/parser/query.grammar
CHANGED
|
@@ -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
|
}
|
package/src/parser/query.test.ts
CHANGED
|
@@ -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.
|
|
54
|
+
input: 'type:org.dxos.type.person',
|
|
55
55
|
expected: [
|
|
56
56
|
'Query',
|
|
57
|
-
// type:dxos.
|
|
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.
|
|
114
|
+
input: 'type:org.dxos.type.person OR type:org.dxos.type.organization',
|
|
115
115
|
expected: [
|
|
116
116
|
'Query',
|
|
117
|
-
// type:dxos.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
167
|
+
input: 'type:org.dxos.type.person -> type:org.dxos.type.organization',
|
|
168
168
|
expected: [
|
|
169
169
|
'Query',
|
|
170
|
-
// type:dxos.
|
|
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.
|
|
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.
|
|
187
|
+
input: 'type:org.dxos.type.organization <- type:org.dxos.type.person',
|
|
188
188
|
expected: [
|
|
189
189
|
'Query',
|
|
190
|
-
// type:dxos.
|
|
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.
|
|
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.
|
|
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.
|
|
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:
|
|
304
|
+
type Test = { input: string; expected: BuildResult };
|
|
289
305
|
const tests: Test[] = [
|
|
290
306
|
// Types
|
|
291
307
|
{
|
|
292
|
-
input: 'type:dxos.
|
|
293
|
-
expected:
|
|
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:
|
|
316
|
+
expected: {
|
|
317
|
+
filter: Filter.tag('tag_1'),
|
|
318
|
+
},
|
|
299
319
|
},
|
|
300
320
|
{
|
|
301
321
|
input: '#foo AND #bar',
|
|
302
|
-
expected:
|
|
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:
|
|
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:
|
|
335
|
+
expected: {
|
|
336
|
+
filter: Filter.text('test'),
|
|
337
|
+
},
|
|
312
338
|
},
|
|
313
339
|
// Mixed
|
|
314
340
|
{
|
|
315
341
|
input: '#foo "test"',
|
|
316
|
-
expected:
|
|
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:
|
|
349
|
+
expected: {
|
|
350
|
+
filter: Filter.props({ name: 'DXOS' }),
|
|
351
|
+
},
|
|
322
352
|
},
|
|
323
353
|
{
|
|
324
354
|
input: '{ value: 100 }',
|
|
325
|
-
expected:
|
|
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.
|
|
329
|
-
expected:
|
|
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.
|
|
333
|
-
expected:
|
|
334
|
-
|
|
335
|
-
Filter.
|
|
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: '
|
|
340
|
-
expected:
|
|
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)<-[:
|
|
347
|
-
// ((type:Person AND { jobTitle: "investor" }) -[:WorksAt]-> type:Organization) <-[:
|
|
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.
|
|
404
|
+
// expected: Query.select(Filter.typename('org.dxos.type.person', { jobTitle: 'investor' }))
|
|
352
405
|
// .reference('organization')
|
|
353
|
-
// .targetOf(Relation.of('dxos.
|
|
406
|
+
// .targetOf(Relation.of('org.dxos.relation.has-subject')) // TODO(burdon): Invert?
|
|
354
407
|
// .source(),
|
|
355
408
|
// },
|
|
356
409
|
];
|