zenstack 1.0.0 → 1.0.2
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/LICENSE +1 -1
- package/README.md +194 -1
- package/bin/cli +3 -0
- package/bin/post-install.js +24 -0
- package/cli/actions/generate.d.ts +13 -0
- package/cli/actions/generate.js +71 -0
- package/cli/actions/generate.js.map +1 -0
- package/cli/actions/index.d.ts +3 -0
- package/cli/actions/index.js +20 -0
- package/cli/actions/index.js.map +1 -0
- package/cli/actions/info.d.ts +4 -0
- package/cli/actions/info.js +63 -0
- package/cli/actions/info.js.map +1 -0
- package/cli/actions/init.d.ts +12 -0
- package/cli/actions/init.js +83 -0
- package/cli/actions/init.js.map +1 -0
- package/cli/cli-error.d.ts +5 -0
- package/cli/cli-error.js +10 -0
- package/cli/cli-error.js.map +1 -0
- package/cli/cli-util.d.ts +21 -0
- package/cli/cli-util.js +211 -0
- package/cli/cli-util.js.map +1 -0
- package/cli/config.d.ts +10 -0
- package/cli/config.js +62 -0
- package/cli/config.js.map +1 -0
- package/cli/index.d.ts +7 -0
- package/cli/index.js +128 -0
- package/cli/index.js.map +1 -0
- package/cli/plugin-runner.d.ts +24 -0
- package/cli/plugin-runner.js +229 -0
- package/cli/plugin-runner.js.map +1 -0
- package/constants.d.ts +1 -0
- package/constants.js +6 -0
- package/constants.js.map +1 -0
- package/language-server/constants.d.ts +22 -0
- package/language-server/constants.js +27 -0
- package/language-server/constants.js.map +1 -0
- package/language-server/main.d.ts +1 -0
- package/language-server/main.js +13 -0
- package/language-server/main.js.map +1 -0
- package/language-server/types.d.ts +10 -0
- package/language-server/types.js +3 -0
- package/language-server/types.js.map +1 -0
- package/language-server/utils.d.ts +5 -0
- package/language-server/utils.js +22 -0
- package/language-server/utils.js.map +1 -0
- package/language-server/validator/attribute-application-validator.d.ts +15 -0
- package/language-server/validator/attribute-application-validator.js +246 -0
- package/language-server/validator/attribute-application-validator.js.map +1 -0
- package/language-server/validator/attribute-validator.d.ts +9 -0
- package/language-server/validator/attribute-validator.js +14 -0
- package/language-server/validator/attribute-validator.js.map +1 -0
- package/language-server/validator/datamodel-validator.d.ts +22 -0
- package/language-server/validator/datamodel-validator.js +329 -0
- package/language-server/validator/datamodel-validator.js.map +1 -0
- package/language-server/validator/datasource-validator.d.ts +12 -0
- package/language-server/validator/datasource-validator.js +66 -0
- package/language-server/validator/datasource-validator.js.map +1 -0
- package/language-server/validator/enum-validator.d.ts +11 -0
- package/language-server/validator/enum-validator.js +25 -0
- package/language-server/validator/enum-validator.js.map +1 -0
- package/language-server/validator/expression-validator.d.ts +10 -0
- package/language-server/validator/expression-validator.js +135 -0
- package/language-server/validator/expression-validator.js.map +1 -0
- package/language-server/validator/function-decl-validator.d.ts +9 -0
- package/language-server/validator/function-decl-validator.js +13 -0
- package/language-server/validator/function-decl-validator.js.map +1 -0
- package/language-server/validator/function-invocation-validator.d.ts +11 -0
- package/language-server/validator/function-invocation-validator.js +135 -0
- package/language-server/validator/function-invocation-validator.js.map +1 -0
- package/language-server/validator/schema-validator.d.ts +13 -0
- package/language-server/validator/schema-validator.js +49 -0
- package/language-server/validator/schema-validator.js.map +1 -0
- package/language-server/validator/utils.d.ts +24 -0
- package/language-server/validator/utils.js +154 -0
- package/language-server/validator/utils.js.map +1 -0
- package/language-server/validator/zmodel-validator.d.ts +25 -0
- package/language-server/validator/zmodel-validator.js +83 -0
- package/language-server/validator/zmodel-validator.js.map +1 -0
- package/language-server/zmodel-code-action.d.ts +15 -0
- package/language-server/zmodel-code-action.js +118 -0
- package/language-server/zmodel-code-action.js.map +1 -0
- package/language-server/zmodel-definition.d.ts +7 -0
- package/language-server/zmodel-definition.js +31 -0
- package/language-server/zmodel-definition.js.map +1 -0
- package/language-server/zmodel-formatter.d.ts +9 -0
- package/language-server/zmodel-formatter.js +76 -0
- package/language-server/zmodel-formatter.js.map +1 -0
- package/language-server/zmodel-linker.d.ts +32 -0
- package/language-server/zmodel-linker.js +447 -0
- package/language-server/zmodel-linker.js.map +1 -0
- package/language-server/zmodel-module.d.ts +41 -0
- package/language-server/zmodel-module.js +83 -0
- package/language-server/zmodel-module.js.map +1 -0
- package/language-server/zmodel-scope.d.ts +16 -0
- package/language-server/zmodel-scope.js +100 -0
- package/language-server/zmodel-scope.js.map +1 -0
- package/language-server/zmodel-workspace-manager.d.ts +12 -0
- package/language-server/zmodel-workspace-manager.js +138 -0
- package/language-server/zmodel-workspace-manager.js.map +1 -0
- package/package.json +140 -8
- package/plugins/access-policy/expression-writer.d.ts +46 -0
- package/plugins/access-policy/expression-writer.js +580 -0
- package/plugins/access-policy/expression-writer.js.map +1 -0
- package/plugins/access-policy/index.d.ts +4 -0
- package/plugins/access-policy/index.js +22 -0
- package/plugins/access-policy/index.js.map +1 -0
- package/plugins/access-policy/policy-guard-generator.d.ts +22 -0
- package/plugins/access-policy/policy-guard-generator.js +634 -0
- package/plugins/access-policy/policy-guard-generator.js.map +1 -0
- package/plugins/model-meta/index.d.ts +4 -0
- package/plugins/model-meta/index.js +232 -0
- package/plugins/model-meta/index.js.map +1 -0
- package/plugins/plugin-utils.d.ts +17 -0
- package/plugins/plugin-utils.js +80 -0
- package/plugins/plugin-utils.js.map +1 -0
- package/plugins/prisma/indent-string.d.ts +4 -0
- package/plugins/prisma/indent-string.js +12 -0
- package/plugins/prisma/indent-string.js.map +1 -0
- package/plugins/prisma/index.d.ts +4 -0
- package/plugins/prisma/index.js +22 -0
- package/plugins/prisma/index.js.map +1 -0
- package/plugins/prisma/prisma-builder.d.ts +145 -0
- package/plugins/prisma/prisma-builder.js +358 -0
- package/plugins/prisma/prisma-builder.js.map +1 -0
- package/plugins/prisma/schema-generator.d.ts +29 -0
- package/plugins/prisma/schema-generator.js +336 -0
- package/plugins/prisma/schema-generator.js.map +1 -0
- package/plugins/prisma/zmodel-code-generator.d.ts +30 -0
- package/plugins/prisma/zmodel-code-generator.js +124 -0
- package/plugins/prisma/zmodel-code-generator.js.map +1 -0
- package/plugins/zod/generator.d.ts +4 -0
- package/plugins/zod/generator.js +254 -0
- package/plugins/zod/generator.js.map +1 -0
- package/plugins/zod/index.d.ts +4 -0
- package/plugins/zod/index.js +24 -0
- package/plugins/zod/index.js.map +1 -0
- package/plugins/zod/transformer.d.ts +68 -0
- package/plugins/zod/transformer.js +554 -0
- package/plugins/zod/transformer.js.map +1 -0
- package/plugins/zod/types.d.ts +25 -0
- package/plugins/zod/types.js +3 -0
- package/plugins/zod/types.js.map +1 -0
- package/plugins/zod/utils/removeDir.d.ts +1 -0
- package/plugins/zod/utils/removeDir.js +30 -0
- package/plugins/zod/utils/removeDir.js.map +1 -0
- package/plugins/zod/utils/schema-gen.d.ts +3 -0
- package/plugins/zod/utils/schema-gen.js +188 -0
- package/plugins/zod/utils/schema-gen.js.map +1 -0
- package/res/prism-zmodel.js +20 -0
- package/res/starter.zmodel +51 -0
- package/res/stdlib.zmodel +506 -0
- package/telemetry.d.ts +21 -0
- package/telemetry.js +129 -0
- package/telemetry.js.map +1 -0
- package/utils/ast-utils.d.ts +13 -0
- package/utils/ast-utils.js +136 -0
- package/utils/ast-utils.js.map +1 -0
- package/utils/exec-utils.d.ts +6 -0
- package/utils/exec-utils.js +13 -0
- package/utils/exec-utils.js.map +1 -0
- package/utils/pkg-utils.d.ts +3 -0
- package/utils/pkg-utils.js +64 -0
- package/utils/pkg-utils.js.map +1 -0
- package/utils/typescript-expression-transformer.d.ts +54 -0
- package/utils/typescript-expression-transformer.js +326 -0
- package/utils/typescript-expression-transformer.js.map +1 -0
- package/utils/version-utils.d.ts +1 -0
- package/utils/version-utils.js +20 -0
- package/utils/version-utils.js.map +1 -0
- package/.vscode/extensions.json +0 -7
- package/.vscode/launch.json +0 -49
- package/.vscode/settings.json +0 -4
- package/packages/internal/jest.config.ts +0 -32
- package/packages/internal/package.json +0 -42
- package/packages/internal/src/constants.ts +0 -1
- package/packages/internal/src/handler/data/guard-utils.ts +0 -7
- package/packages/internal/src/handler/data/handler.ts +0 -415
- package/packages/internal/src/handler/data/query-processor.ts +0 -504
- package/packages/internal/src/handler/index.ts +0 -1
- package/packages/internal/src/handler/types.ts +0 -20
- package/packages/internal/src/index.ts +0 -3
- package/packages/internal/src/request-handler.ts +0 -27
- package/packages/internal/src/request.ts +0 -101
- package/packages/internal/src/types.ts +0 -40
- package/packages/internal/tests/query-processor.test.ts +0 -172
- package/packages/internal/tsconfig.json +0 -21
- package/packages/runtime/auth.d.ts +0 -1
- package/packages/runtime/auth.js +0 -3
- package/packages/runtime/hooks.d.ts +0 -10
- package/packages/runtime/hooks.js +0 -3
- package/packages/runtime/index.d.ts +0 -3
- package/packages/runtime/index.js +0 -1
- package/packages/runtime/package-lock.json +0 -512
- package/packages/runtime/package.json +0 -16
- package/packages/runtime/server.d.ts +0 -1
- package/packages/runtime/server.js +0 -3
- package/packages/runtime/types.d.ts +0 -1
- package/packages/runtime/types.js +0 -3
- package/packages/schema/.eslintrc.json +0 -13
- package/packages/schema/.vscodeignore +0 -4
- package/packages/schema/asset/logo-dark.png +0 -0
- package/packages/schema/asset/logo-light.png +0 -0
- package/packages/schema/bin/cli +0 -3
- package/packages/schema/jest.config.ts +0 -32
- package/packages/schema/langium-config.json +0 -14
- package/packages/schema/langium-quickstart.md +0 -41
- package/packages/schema/language-configuration.json +0 -30
- package/packages/schema/package.json +0 -96
- package/packages/schema/src/cli/cli-util.ts +0 -80
- package/packages/schema/src/cli/index.ts +0 -64
- package/packages/schema/src/extension.ts +0 -76
- package/packages/schema/src/generator/constants.ts +0 -5
- package/packages/schema/src/generator/index.ts +0 -92
- package/packages/schema/src/generator/next-auth/index.ts +0 -197
- package/packages/schema/src/generator/package.template.json +0 -9
- package/packages/schema/src/generator/prisma/expression-writer.ts +0 -352
- package/packages/schema/src/generator/prisma/index.ts +0 -32
- package/packages/schema/src/generator/prisma/plain-expression-builder.ts +0 -91
- package/packages/schema/src/generator/prisma/prisma-builder.ts +0 -366
- package/packages/schema/src/generator/prisma/query-gard-generator.ts +0 -208
- package/packages/schema/src/generator/prisma/schema-generator.ts +0 -300
- package/packages/schema/src/generator/react-hooks/index.ts +0 -181
- package/packages/schema/src/generator/service/index.ts +0 -107
- package/packages/schema/src/generator/tsconfig.template.json +0 -17
- package/packages/schema/src/generator/types.ts +0 -17
- package/packages/schema/src/generator/utils.ts +0 -9
- package/packages/schema/src/language-server/generated/ast.ts +0 -603
- package/packages/schema/src/language-server/generated/grammar.ts +0 -2190
- package/packages/schema/src/language-server/generated/module.ts +0 -24
- package/packages/schema/src/language-server/main.ts +0 -12
- package/packages/schema/src/language-server/stdlib.zmodel +0 -22
- package/packages/schema/src/language-server/types.ts +0 -9
- package/packages/schema/src/language-server/zmodel-index.ts +0 -33
- package/packages/schema/src/language-server/zmodel-linker.ts +0 -409
- package/packages/schema/src/language-server/zmodel-module.ts +0 -90
- package/packages/schema/src/language-server/zmodel-scope.ts +0 -21
- package/packages/schema/src/language-server/zmodel-validator.ts +0 -35
- package/packages/schema/src/language-server/zmodel.langium +0 -186
- package/packages/schema/src/utils/exec-utils.ts +0 -5
- package/packages/schema/src/utils/indent-string.ts +0 -6
- package/packages/schema/syntaxes/zmodel.json +0 -57
- package/packages/schema/syntaxes/zmodel.tmLanguage.json +0 -57
- package/packages/schema/tests/generator/expression-writer.test.ts +0 -676
- package/packages/schema/tests/generator/prisma-builder.test.ts +0 -138
- package/packages/schema/tests/schema/parser.test.ts +0 -423
- package/packages/schema/tests/schema/sample-todo.test.ts +0 -14
- package/packages/schema/tests/utils.ts +0 -38
- package/packages/schema/tsconfig.json +0 -23
- package/pnpm-workspace.yaml +0 -3
- package/samples/todo/.env +0 -2
- package/samples/todo/.eslintrc.json +0 -3
- package/samples/todo/.vscode/launch.json +0 -11
- package/samples/todo/README.md +0 -34
- package/samples/todo/components/AuthGuard.tsx +0 -17
- package/samples/todo/components/Avatar.tsx +0 -22
- package/samples/todo/components/BreadCrumb.tsx +0 -44
- package/samples/todo/components/ManageMembers.tsx +0 -134
- package/samples/todo/components/NavBar.tsx +0 -57
- package/samples/todo/components/SpaceMembers.tsx +0 -76
- package/samples/todo/components/Spaces.tsx +0 -28
- package/samples/todo/components/TimeInfo.tsx +0 -17
- package/samples/todo/components/Todo.tsx +0 -72
- package/samples/todo/components/TodoList.tsx +0 -77
- package/samples/todo/lib/context.ts +0 -31
- package/samples/todo/next.config.js +0 -10
- package/samples/todo/package-lock.json +0 -7527
- package/samples/todo/package.json +0 -45
- package/samples/todo/pages/_app.tsx +0 -50
- package/samples/todo/pages/api/auth/[...nextauth].ts +0 -83
- package/samples/todo/pages/api/zenstack/[...path].ts +0 -16
- package/samples/todo/pages/create-space.tsx +0 -114
- package/samples/todo/pages/index.tsx +0 -32
- package/samples/todo/pages/space/[slug]/[listId]/index.tsx +0 -88
- package/samples/todo/pages/space/[slug]/index.tsx +0 -169
- package/samples/todo/postcss.config.js +0 -6
- package/samples/todo/public/avatar.jpg +0 -0
- package/samples/todo/public/favicon.ico +0 -0
- package/samples/todo/public/logo.png +0 -0
- package/samples/todo/public/vercel.svg +0 -4
- package/samples/todo/styles/globals.css +0 -7
- package/samples/todo/tailwind.config.js +0 -11
- package/samples/todo/tsconfig.json +0 -28
- package/samples/todo/types/next-auth.d.ts +0 -14
- package/samples/todo/types/next.d.ts +0 -16
- package/samples/todo/zenstack/migrations/20221014084317_init/migration.sql +0 -153
- package/samples/todo/zenstack/migrations/20221020094651_upate_cli/migration.sql +0 -23
- package/samples/todo/zenstack/migrations/migration_lock.toml +0 -3
- package/samples/todo/zenstack/schema.prisma +0 -126
- package/samples/todo/zenstack/schema.zmodel +0 -161
- package/tests/integration/jest.config.ts +0 -16
- package/tests/integration/package-lock.json +0 -1081
- package/tests/integration/package.json +0 -27
- package/tests/integration/tests/operation-coverate.test.ts +0 -563
- package/tests/integration/tests/operations.zmodel +0 -69
- package/tests/integration/tests/todo-e2e.test.ts +0 -577
- package/tests/integration/tests/todo.zmodel +0 -123
- package/tests/integration/tests/tsconfig.template.json +0 -10
- package/tests/integration/tests/utils.ts +0 -133
- package/tests/integration/tsconfig.json +0 -10
|
@@ -1,352 +0,0 @@
|
|
|
1
|
-
import {
|
|
2
|
-
BinaryExpr,
|
|
3
|
-
Expression,
|
|
4
|
-
isDataModel,
|
|
5
|
-
isDataModelField,
|
|
6
|
-
isEnumField,
|
|
7
|
-
isMemberAccessExpr,
|
|
8
|
-
isReferenceExpr,
|
|
9
|
-
isThisExpr,
|
|
10
|
-
LiteralExpr,
|
|
11
|
-
MemberAccessExpr,
|
|
12
|
-
ReferenceExpr,
|
|
13
|
-
UnaryExpr,
|
|
14
|
-
} from '@lang/generated/ast';
|
|
15
|
-
import { CodeBlockWriter } from 'ts-morph';
|
|
16
|
-
import { GeneratorError } from '../types';
|
|
17
|
-
import { TypedNode } from '@lang/types';
|
|
18
|
-
import PlainExpressionBuilder from './plain-expression-builder';
|
|
19
|
-
|
|
20
|
-
const AUX_GUARD_FIELD = 'zenstack_guard';
|
|
21
|
-
|
|
22
|
-
type ComparisonOperator = '==' | '!=' | '>' | '>=' | '<' | '<=';
|
|
23
|
-
|
|
24
|
-
export default class ExpressionWriter {
|
|
25
|
-
private readonly plainExprBuilder = new PlainExpressionBuilder();
|
|
26
|
-
|
|
27
|
-
constructor(private readonly writer: CodeBlockWriter) {}
|
|
28
|
-
|
|
29
|
-
write(expr: Expression) {
|
|
30
|
-
const _write = () => {
|
|
31
|
-
switch (expr.$type) {
|
|
32
|
-
case LiteralExpr:
|
|
33
|
-
this.writeLiteral(expr as LiteralExpr);
|
|
34
|
-
break;
|
|
35
|
-
|
|
36
|
-
case UnaryExpr:
|
|
37
|
-
this.writeUnary(expr as UnaryExpr);
|
|
38
|
-
break;
|
|
39
|
-
|
|
40
|
-
case BinaryExpr:
|
|
41
|
-
this.writeBinary(expr as BinaryExpr);
|
|
42
|
-
break;
|
|
43
|
-
|
|
44
|
-
case ReferenceExpr:
|
|
45
|
-
this.writeReference(expr as ReferenceExpr);
|
|
46
|
-
break;
|
|
47
|
-
|
|
48
|
-
case MemberAccessExpr:
|
|
49
|
-
this.writeMemberAccess(expr as MemberAccessExpr);
|
|
50
|
-
break;
|
|
51
|
-
|
|
52
|
-
default:
|
|
53
|
-
throw new Error(`Not implemented: ${expr.$type}`);
|
|
54
|
-
}
|
|
55
|
-
};
|
|
56
|
-
|
|
57
|
-
this.block(_write);
|
|
58
|
-
}
|
|
59
|
-
|
|
60
|
-
private writeReference(expr: ReferenceExpr) {
|
|
61
|
-
if (isEnumField(expr.target.ref)) {
|
|
62
|
-
throw new Error('We should never get here');
|
|
63
|
-
} else {
|
|
64
|
-
this.writer.write(`${expr.target.ref!.name}: true`);
|
|
65
|
-
}
|
|
66
|
-
}
|
|
67
|
-
|
|
68
|
-
private writeMemberAccess(expr: MemberAccessExpr) {
|
|
69
|
-
this.writeFieldCondition(
|
|
70
|
-
expr.operand,
|
|
71
|
-
() => {
|
|
72
|
-
this.block(() => {
|
|
73
|
-
this.writer.write(`${expr.member.ref?.name}: true`);
|
|
74
|
-
});
|
|
75
|
-
},
|
|
76
|
-
'is'
|
|
77
|
-
);
|
|
78
|
-
}
|
|
79
|
-
|
|
80
|
-
private writeExprList(exprs: Expression[]) {
|
|
81
|
-
this.writer.writeLine('[');
|
|
82
|
-
for (let i = 0; i < exprs.length; i++) {
|
|
83
|
-
this.write(exprs[i]);
|
|
84
|
-
if (i !== exprs.length - 1) {
|
|
85
|
-
this.writer.writeLine(',');
|
|
86
|
-
}
|
|
87
|
-
}
|
|
88
|
-
this.writer.writeLine(']');
|
|
89
|
-
}
|
|
90
|
-
|
|
91
|
-
private writeBinary(expr: BinaryExpr) {
|
|
92
|
-
switch (expr.operator) {
|
|
93
|
-
case '&&':
|
|
94
|
-
case '||':
|
|
95
|
-
this.writeLogical(expr, expr.operator);
|
|
96
|
-
break;
|
|
97
|
-
|
|
98
|
-
case '==':
|
|
99
|
-
case '!=':
|
|
100
|
-
case '>':
|
|
101
|
-
case '>=':
|
|
102
|
-
case '<':
|
|
103
|
-
case '<=':
|
|
104
|
-
this.writeComparison(expr, expr.operator);
|
|
105
|
-
break;
|
|
106
|
-
|
|
107
|
-
case '?':
|
|
108
|
-
case '!':
|
|
109
|
-
case '^':
|
|
110
|
-
this.writeCollectionPredicate(expr, expr.operator);
|
|
111
|
-
break;
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
|
|
115
|
-
private writeCollectionPredicate(expr: BinaryExpr, operator: string) {
|
|
116
|
-
this.writeFieldCondition(
|
|
117
|
-
expr.left,
|
|
118
|
-
() => {
|
|
119
|
-
this.write(expr.right);
|
|
120
|
-
},
|
|
121
|
-
operator === '?' ? 'some' : operator === '!' ? 'every' : 'none'
|
|
122
|
-
);
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
private isFieldAccess(expr: Expression): boolean {
|
|
126
|
-
if (isThisExpr(expr)) {
|
|
127
|
-
return true;
|
|
128
|
-
}
|
|
129
|
-
if (isMemberAccessExpr(expr)) {
|
|
130
|
-
return this.isFieldAccess(expr.operand);
|
|
131
|
-
}
|
|
132
|
-
if (isReferenceExpr(expr) && isDataModelField(expr.target.ref)) {
|
|
133
|
-
return true;
|
|
134
|
-
}
|
|
135
|
-
return false;
|
|
136
|
-
}
|
|
137
|
-
|
|
138
|
-
private guard(write: () => void) {
|
|
139
|
-
this.writer.write(`${AUX_GUARD_FIELD}: `);
|
|
140
|
-
write();
|
|
141
|
-
}
|
|
142
|
-
|
|
143
|
-
private plain(expr: Expression) {
|
|
144
|
-
this.writer.write(this.plainExprBuilder.build(expr));
|
|
145
|
-
}
|
|
146
|
-
|
|
147
|
-
private writeComparison(expr: BinaryExpr, operator: ComparisonOperator) {
|
|
148
|
-
const leftIsFieldAccess = this.isFieldAccess(expr.left);
|
|
149
|
-
const rightIsFieldAccess = this.isFieldAccess(expr.right);
|
|
150
|
-
|
|
151
|
-
if (leftIsFieldAccess && rightIsFieldAccess) {
|
|
152
|
-
throw new GeneratorError(
|
|
153
|
-
`Comparison between fields are not supported yet`
|
|
154
|
-
);
|
|
155
|
-
}
|
|
156
|
-
|
|
157
|
-
if (!leftIsFieldAccess && !rightIsFieldAccess) {
|
|
158
|
-
// compile down to a plain expression
|
|
159
|
-
this.guard(() => {
|
|
160
|
-
this.plain(expr.left);
|
|
161
|
-
this.writer.write(' ' + operator + ' ');
|
|
162
|
-
this.plain(expr.right);
|
|
163
|
-
});
|
|
164
|
-
|
|
165
|
-
return;
|
|
166
|
-
}
|
|
167
|
-
|
|
168
|
-
let fieldAccess: Expression;
|
|
169
|
-
let operand: Expression;
|
|
170
|
-
if (leftIsFieldAccess) {
|
|
171
|
-
fieldAccess = expr.left;
|
|
172
|
-
operand = expr.right;
|
|
173
|
-
} else {
|
|
174
|
-
fieldAccess = expr.right;
|
|
175
|
-
operand = expr.left;
|
|
176
|
-
operator = this.negateOperator(operator);
|
|
177
|
-
}
|
|
178
|
-
|
|
179
|
-
this.writeFieldCondition(
|
|
180
|
-
fieldAccess,
|
|
181
|
-
() => {
|
|
182
|
-
this.block(
|
|
183
|
-
() => {
|
|
184
|
-
if (this.isModelTyped(fieldAccess)) {
|
|
185
|
-
// comparing with an object, conver to "id" comparison instead
|
|
186
|
-
this.writer.write('id: ');
|
|
187
|
-
this.block(() => {
|
|
188
|
-
this.writeOperator(operator, () => {
|
|
189
|
-
this.plain(operand);
|
|
190
|
-
this.writer.write('?.id');
|
|
191
|
-
});
|
|
192
|
-
});
|
|
193
|
-
} else {
|
|
194
|
-
this.writeOperator(operator, () => {
|
|
195
|
-
this.plain(operand);
|
|
196
|
-
});
|
|
197
|
-
}
|
|
198
|
-
},
|
|
199
|
-
// "this" expression is compiled away (to .id access), so we should
|
|
200
|
-
// avoid generating a new layer
|
|
201
|
-
!isThisExpr(fieldAccess)
|
|
202
|
-
);
|
|
203
|
-
},
|
|
204
|
-
'is'
|
|
205
|
-
);
|
|
206
|
-
}
|
|
207
|
-
|
|
208
|
-
private writeOperator(
|
|
209
|
-
operator: ComparisonOperator,
|
|
210
|
-
writeOperand: () => void
|
|
211
|
-
) {
|
|
212
|
-
if (operator === '!=') {
|
|
213
|
-
// wrap a 'not'
|
|
214
|
-
this.writer.write('not: ');
|
|
215
|
-
this.block(() => {
|
|
216
|
-
this.writeOperator('==', writeOperand);
|
|
217
|
-
});
|
|
218
|
-
} else {
|
|
219
|
-
this.writer.write(`${this.mapOperator(operator)}: `);
|
|
220
|
-
writeOperand();
|
|
221
|
-
}
|
|
222
|
-
}
|
|
223
|
-
|
|
224
|
-
private writeFieldCondition(
|
|
225
|
-
fieldAccess: Expression,
|
|
226
|
-
writeCondition: () => void,
|
|
227
|
-
relationOp: 'is' | 'some' | 'every' | 'none'
|
|
228
|
-
) {
|
|
229
|
-
let selector: string;
|
|
230
|
-
let operand: Expression | undefined;
|
|
231
|
-
|
|
232
|
-
if (isThisExpr(fieldAccess)) {
|
|
233
|
-
// pass on
|
|
234
|
-
writeCondition();
|
|
235
|
-
return;
|
|
236
|
-
} else if (isReferenceExpr(fieldAccess)) {
|
|
237
|
-
selector = fieldAccess.target.ref?.name!;
|
|
238
|
-
} else if (isMemberAccessExpr(fieldAccess)) {
|
|
239
|
-
selector = fieldAccess.member.ref?.name!;
|
|
240
|
-
operand = fieldAccess.operand;
|
|
241
|
-
} else {
|
|
242
|
-
throw new GeneratorError(
|
|
243
|
-
`Unsupported expression type: ${fieldAccess.$type}`
|
|
244
|
-
);
|
|
245
|
-
}
|
|
246
|
-
|
|
247
|
-
if (operand) {
|
|
248
|
-
// member access expression
|
|
249
|
-
this.writeFieldCondition(
|
|
250
|
-
operand,
|
|
251
|
-
() => {
|
|
252
|
-
this.block(
|
|
253
|
-
() => {
|
|
254
|
-
this.writer.write(selector + ': ');
|
|
255
|
-
if (this.isModelTyped(fieldAccess)) {
|
|
256
|
-
// expression is resolved to a model, generate relation query
|
|
257
|
-
this.block(() => {
|
|
258
|
-
this.writer.write(`${relationOp}: `);
|
|
259
|
-
writeCondition();
|
|
260
|
-
});
|
|
261
|
-
} else {
|
|
262
|
-
// generate plain query
|
|
263
|
-
writeCondition();
|
|
264
|
-
}
|
|
265
|
-
},
|
|
266
|
-
// if operand is "this", it doesn't really generate a new layer of query,
|
|
267
|
-
// so we should avoid generating a new block
|
|
268
|
-
!isThisExpr(operand)
|
|
269
|
-
);
|
|
270
|
-
},
|
|
271
|
-
'is'
|
|
272
|
-
);
|
|
273
|
-
} else if (this.isModelTyped(fieldAccess)) {
|
|
274
|
-
// reference resolved to a model, generate relation query
|
|
275
|
-
this.writer.write(selector + ': ');
|
|
276
|
-
this.block(() => {
|
|
277
|
-
this.writer.write(`${relationOp}: `);
|
|
278
|
-
writeCondition();
|
|
279
|
-
});
|
|
280
|
-
} else {
|
|
281
|
-
// generate a plain query
|
|
282
|
-
this.writer.write(selector + ': ');
|
|
283
|
-
writeCondition();
|
|
284
|
-
}
|
|
285
|
-
}
|
|
286
|
-
|
|
287
|
-
private block(write: () => void, condition = true) {
|
|
288
|
-
if (condition) {
|
|
289
|
-
this.writer.block(write);
|
|
290
|
-
} else {
|
|
291
|
-
write();
|
|
292
|
-
}
|
|
293
|
-
}
|
|
294
|
-
|
|
295
|
-
private isModelTyped(expr: Expression) {
|
|
296
|
-
return isDataModel((expr as TypedNode).$resolvedType?.decl);
|
|
297
|
-
}
|
|
298
|
-
|
|
299
|
-
mapOperator(operator: '==' | '!=' | '>' | '>=' | '<' | '<=') {
|
|
300
|
-
switch (operator) {
|
|
301
|
-
case '==':
|
|
302
|
-
return 'equals';
|
|
303
|
-
case '!=':
|
|
304
|
-
throw new Error('Operation != should have been compiled away');
|
|
305
|
-
case '>':
|
|
306
|
-
return 'gt';
|
|
307
|
-
case '>=':
|
|
308
|
-
return 'ge';
|
|
309
|
-
case '<':
|
|
310
|
-
return 'lt';
|
|
311
|
-
case '<=':
|
|
312
|
-
return 'le';
|
|
313
|
-
}
|
|
314
|
-
}
|
|
315
|
-
|
|
316
|
-
private negateOperator(operator: '==' | '!=' | '>' | '>=' | '<' | '<=') {
|
|
317
|
-
switch (operator) {
|
|
318
|
-
case '>':
|
|
319
|
-
return '<=';
|
|
320
|
-
case '<':
|
|
321
|
-
return '>=';
|
|
322
|
-
case '>=':
|
|
323
|
-
return '<';
|
|
324
|
-
case '<=':
|
|
325
|
-
return '>';
|
|
326
|
-
default:
|
|
327
|
-
return operator;
|
|
328
|
-
}
|
|
329
|
-
}
|
|
330
|
-
|
|
331
|
-
private writeLogical(expr: BinaryExpr, operator: '&&' | '||') {
|
|
332
|
-
this.writer.writeLine(`${operator === '&&' ? 'AND' : 'OR'}: `);
|
|
333
|
-
this.writeExprList([expr.left, expr.right]);
|
|
334
|
-
}
|
|
335
|
-
|
|
336
|
-
private writeUnary(expr: UnaryExpr) {
|
|
337
|
-
if (expr.operator !== '!') {
|
|
338
|
-
throw new GeneratorError(
|
|
339
|
-
`Unary operator "${expr.operator}" is not supported`
|
|
340
|
-
);
|
|
341
|
-
}
|
|
342
|
-
|
|
343
|
-
this.writer.writeLine('NOT: ');
|
|
344
|
-
this.write(expr.operand);
|
|
345
|
-
}
|
|
346
|
-
|
|
347
|
-
private writeLiteral(expr: LiteralExpr) {
|
|
348
|
-
this.guard(() => {
|
|
349
|
-
this.plain(expr);
|
|
350
|
-
});
|
|
351
|
-
}
|
|
352
|
-
}
|
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
import colors from 'colors';
|
|
2
|
-
import { Context, Generator, GeneratorError } from '../types';
|
|
3
|
-
import { execSync } from '../../utils/exec-utils';
|
|
4
|
-
import PrismaSchemaGenerator from './schema-generator';
|
|
5
|
-
import QueryGuardGenerator from './query-gard-generator';
|
|
6
|
-
|
|
7
|
-
export default class PrismaGenerator implements Generator {
|
|
8
|
-
async generate(context: Context) {
|
|
9
|
-
// generate prisma schema
|
|
10
|
-
const schemaFile = await new PrismaSchemaGenerator(context).generate();
|
|
11
|
-
|
|
12
|
-
// run prisma generate and install @prisma/client
|
|
13
|
-
await this.generatePrismaClient(schemaFile);
|
|
14
|
-
|
|
15
|
-
// generate prisma query guard
|
|
16
|
-
await new QueryGuardGenerator(context).generate();
|
|
17
|
-
|
|
18
|
-
console.log(
|
|
19
|
-
colors.blue(` ✔️ Prisma schema and query guard generated`)
|
|
20
|
-
);
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
async generatePrismaClient(schemaFile: string) {
|
|
24
|
-
try {
|
|
25
|
-
execSync(`npx prisma generate --schema "${schemaFile}"`);
|
|
26
|
-
} catch {
|
|
27
|
-
throw new GeneratorError(
|
|
28
|
-
`Failed to generate client code with Prisma. Check errors above for clues.\nThis normally shouldn't happen. Please file an issue at: http://go.zenstack.dev/bug.`
|
|
29
|
-
);
|
|
30
|
-
}
|
|
31
|
-
}
|
|
32
|
-
}
|
|
@@ -1,91 +0,0 @@
|
|
|
1
|
-
import { GeneratorError } from '../types';
|
|
2
|
-
import {
|
|
3
|
-
ArrayExpr,
|
|
4
|
-
Expression,
|
|
5
|
-
InvocationExpr,
|
|
6
|
-
isEnumField,
|
|
7
|
-
isThisExpr,
|
|
8
|
-
LiteralExpr,
|
|
9
|
-
MemberAccessExpr,
|
|
10
|
-
NullExpr,
|
|
11
|
-
ReferenceExpr,
|
|
12
|
-
ThisExpr,
|
|
13
|
-
} from '@lang/generated/ast';
|
|
14
|
-
|
|
15
|
-
export default class PlainExpressionBuilder {
|
|
16
|
-
build(expr: Expression): string {
|
|
17
|
-
switch (expr.$type) {
|
|
18
|
-
case LiteralExpr:
|
|
19
|
-
return this.literal(expr as LiteralExpr);
|
|
20
|
-
|
|
21
|
-
case ArrayExpr:
|
|
22
|
-
return this.array(expr as ArrayExpr);
|
|
23
|
-
|
|
24
|
-
case NullExpr:
|
|
25
|
-
return this.null();
|
|
26
|
-
|
|
27
|
-
case ThisExpr:
|
|
28
|
-
return this.this(expr as ThisExpr);
|
|
29
|
-
|
|
30
|
-
case ReferenceExpr:
|
|
31
|
-
return this.reference(expr as ReferenceExpr);
|
|
32
|
-
|
|
33
|
-
case InvocationExpr:
|
|
34
|
-
return this.invocation(expr as InvocationExpr);
|
|
35
|
-
|
|
36
|
-
case MemberAccessExpr:
|
|
37
|
-
return this.memberAccess(expr as MemberAccessExpr);
|
|
38
|
-
|
|
39
|
-
default:
|
|
40
|
-
throw new GeneratorError(
|
|
41
|
-
`Unsupported expression type: ${expr.$type}`
|
|
42
|
-
);
|
|
43
|
-
}
|
|
44
|
-
}
|
|
45
|
-
|
|
46
|
-
private this(expr: ThisExpr) {
|
|
47
|
-
// "this" is mapped to id comparison
|
|
48
|
-
return 'id';
|
|
49
|
-
}
|
|
50
|
-
|
|
51
|
-
private memberAccess(expr: MemberAccessExpr) {
|
|
52
|
-
if (isThisExpr(expr.operand)) {
|
|
53
|
-
return expr.member.ref!.name;
|
|
54
|
-
} else {
|
|
55
|
-
return `${this.build(expr.operand)}?.${expr.member.ref!.name}`;
|
|
56
|
-
}
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
private invocation(expr: InvocationExpr) {
|
|
60
|
-
if (expr.function.ref?.name !== 'auth') {
|
|
61
|
-
throw new GeneratorError(
|
|
62
|
-
`Function invocation is not supported: ${expr.function.ref?.name}`
|
|
63
|
-
);
|
|
64
|
-
}
|
|
65
|
-
return 'user';
|
|
66
|
-
}
|
|
67
|
-
|
|
68
|
-
private reference(expr: ReferenceExpr) {
|
|
69
|
-
if (isEnumField(expr.target.ref)) {
|
|
70
|
-
return `${expr.target.ref.$container.name}.${expr.target.ref.name}`;
|
|
71
|
-
} else {
|
|
72
|
-
return expr.target.ref!.name;
|
|
73
|
-
}
|
|
74
|
-
}
|
|
75
|
-
|
|
76
|
-
private null() {
|
|
77
|
-
return 'null';
|
|
78
|
-
}
|
|
79
|
-
|
|
80
|
-
private array(expr: ArrayExpr) {
|
|
81
|
-
return `[${expr.items.map((item) => this.build(item)).join(', ')}]`;
|
|
82
|
-
}
|
|
83
|
-
|
|
84
|
-
private literal(expr: LiteralExpr) {
|
|
85
|
-
if (typeof expr.value === 'string') {
|
|
86
|
-
return `'${expr.value}'`;
|
|
87
|
-
} else {
|
|
88
|
-
return expr.value.toString();
|
|
89
|
-
}
|
|
90
|
-
}
|
|
91
|
-
}
|