zenstack 1.0.0 → 1.0.16

package/packages/schema/tests/generator/prisma-builder.test.ts

@@ -1,138 +0,0 @@
-import {
-    DataSourceUrl,
-    PrismaModel,
-    FieldAttribute,
-    AttributeArg,
-    FunctionCall,
-    AttributeArgValue,
-    ModelFieldType,
-    FieldReference,
-    FieldReferenceArg,
-} from '../../src/generator/prisma/prisma-builder';
-import { getDMMF } from '@prisma/internals';
-
-async function validate(model: PrismaModel) {
-    const content = model.toString();
-    try {
-        return await getDMMF({ datamodel: content });
-    } catch (err) {
-        console.error(`Failed to load DMMF: ${err}`);
-        throw err;
-    }
-}
-
-describe('Prisma Builder Tests', () => {
-    it('datasource', async () => {
-        let model = new PrismaModel();
-        model.addDataSource(
-            'db',
-            'postgresql',
-            new DataSourceUrl('DATABASE_URL', true)
-        );
-        await validate(model);
-
-        model = new PrismaModel();
-        model.addDataSource(
-            'db',
-            'postgresql',
-            new DataSourceUrl(
-                'postgresql://postgres:abc123@localhost:5432/sample?schema=public',
-                false
-            )
-        );
-        await validate(model);
-    });
-
-    it('enum', async () => {
-        let model = new PrismaModel();
-        model.addEnum('UserRole', ['USER', 'ADMIN']);
-        await validate(model);
-    });
-
-    it('generator', async () => {
-        let model = new PrismaModel();
-        model.addGenerator('client', 'prisma-client-js', '.prisma');
-        await validate(model);
-    });
-
-    it('model', async () => {
-        let model = new PrismaModel();
-        const dm = model.addModel('User');
-        dm.addField('id', 'String', [new FieldAttribute('id')]);
-        dm.addField('createdAt', 'DateTime', [
-            new FieldAttribute('default', [
-                new AttributeArg(
-                    undefined,
-                    new AttributeArgValue(
-                        'FunctionCall',
-                        new FunctionCall('now')
-                    )
-                ),
-            ]),
-        ]);
-        await validate(model);
-    });
-
-    it('relation', async () => {
-        let model = new PrismaModel();
-        const user = model.addModel('User');
-        user.addField('id', 'String', [new FieldAttribute('id')]);
-        user.addField('posts', new ModelFieldType('Post', true));
-
-        const post = model.addModel('Post');
-        post.addField('id', 'String', [new FieldAttribute('id')]);
-        post.addField('user', 'User', [
-            new FieldAttribute('relation', [
-                new AttributeArg(
-                    'fields',
-                    new AttributeArgValue('Array', [
-                        new AttributeArgValue('FieldReference', 'userId'),
-                    ])
-                ),
-                new AttributeArg(
-                    'references',
-                    new AttributeArgValue('Array', [
-                        new AttributeArgValue('FieldReference', 'id'),
-                    ])
-                ),
-                new AttributeArg(
-                    'onDelete',
-                    new AttributeArgValue(
-                        'FieldReference',
-                        new FieldReference('Cascade')
-                    )
-                ),
-            ]),
-        ]);
-        post.addField('userId', 'String');
-
-        await validate(model);
-    });
-
-    it('model attribute', async () => {
-        let model = new PrismaModel();
-        const post = model.addModel('Post');
-        post.addField('id', 'String', [new FieldAttribute('id')]);
-        post.addField('slug', 'String');
-        post.addField('space', 'String');
-        post.addAttribute('unique', [
-            new AttributeArg(
-                'fields',
-                new AttributeArgValue('Array', [
-                    new AttributeArgValue(
-                        'FieldReference',
-                        new FieldReference('space')
-                    ),
-                    new AttributeArgValue(
-                        'FieldReference',
-                        new FieldReference('slug', [
-                            new FieldReferenceArg('sort', 'Desc'),
-                        ])
-                    ),
-                ])
-            ),
-        ]);
-
-        await validate(model);
-    });
-});

package/packages/schema/tests/schema/parser.test.ts

@@ -1,423 +0,0 @@
-import {
-    BinaryExpr,
-    LiteralExpr,
-    InvocationExpr,
-    DataSource,
-    DataModel,
-    Function,
-    AttributeArg,
-    Enum,
-    UnaryExpr,
-    ReferenceExpr,
-    ArrayExpr,
-} from '../../src/language-server/generated/ast';
-import { loadModel } from '../utils';
-
-describe('Basic Tests', () => {
-    it('data source', async () => {
-        const content = `
-            datasource db {
-                provider = 'postgresql'
-                url = env('DATABASE_URL')
-            }
-        `;
-        const doc = await loadModel(content);
-        expect(doc.declarations).toHaveLength(1);
-        const ds = doc.declarations[0] as DataSource;
-
-        expect(ds.name).toBe('db');
-        expect(ds.fields).toHaveLength(2);
-
-        expect(ds.fields[0]).toEqual(
-            expect.objectContaining({
-                name: 'provider',
-                value: expect.objectContaining({ value: 'postgresql' }),
-            })
-        );
-        expect(ds.fields[1].name).toBe('url');
-        expect((ds.fields[1].value as InvocationExpr).function.ref?.name).toBe(
-            'env'
-        );
-        expect((ds.fields[1].value as InvocationExpr).args[0].value.$type).toBe(
-            LiteralExpr
-        );
-    });
-
-    it('enum', async () => {
-        const content = `
-            enum UserRole {
-                USER
-                ADMIN
-            }
-
-            model User {
-                role UserRole @default(USER)
-            }
-        `;
-        const doc = await loadModel(content);
-        const enumDecl = doc.declarations[0];
-        expect(enumDecl.name).toBe('UserRole');
-        expect((enumDecl as Enum).fields.map((f) => f.name)).toEqual(
-            expect.arrayContaining(['USER', 'ADMIN'])
-        );
-
-        const model = doc.declarations[1] as DataModel;
-        expect(model.fields[0].type.reference?.ref?.name).toBe('UserRole');
-
-        const attrVal = model.fields[0].attributes[0].args[0] as AttributeArg;
-        expect((attrVal.value as ReferenceExpr).target.ref?.name).toBe('USER');
-    });
-
-    it('model field types', async () => {
-        const content = `
-            model User {
-                id String
-                age Int
-                activated Boolean
-                createdAt DateTime
-                metadata JSON
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        expect(model.fields).toHaveLength(5);
-        expect(model.fields.map((f) => f.type.type)).toEqual(
-            expect.arrayContaining([
-                'String',
-                'Int',
-                'Boolean',
-                'JSON',
-                'DateTime',
-            ])
-        );
-    });
-
-    it('model field modifiers', async () => {
-        const content = `
-            model User {
-                name String?
-                tags String[]
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        expect(model.fields[0].type.optional).toBeTruthy();
-        expect(model.fields[1].type.array).toBeTruthy();
-    });
-
-    it('model field attributes', async () => {
-        const content = `
-            model User {
-                id String @id
-                activated Boolean @default(false) @unique
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        expect(model.fields[0].attributes[0].decl.ref?.name).toBe('id');
-        expect(model.fields[1].attributes[0].args[0].value.$type).toBe(
-            LiteralExpr
-        );
-        expect(model.fields[1].attributes[1].decl.ref?.name).toBe('unique');
-    });
-
-    it('model attributes', async () => {
-        const content = `
-            model Model {
-                a String
-                b String
-                @@unique([a, b])
-                @@unique([a(sort: Asc), b])
-                @@unique(b(sort: Desc))
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        expect(model.attributes).toHaveLength(3);
-        expect(model.attributes[0].decl.ref?.name).toBe('unique');
-        expect(
-            (model.attributes[0].args[0].value as ArrayExpr).items.map(
-                (item) => (item as ReferenceExpr).target.ref?.name
-            )
-        ).toEqual(expect.arrayContaining(['a', 'b']));
-
-        expect(
-            (
-                (model.attributes[1].args[0].value as ArrayExpr)
-                    .items[0] as ReferenceExpr
-            ).args[0]
-        ).toEqual(
-            expect.objectContaining({
-                name: 'sort',
-                value: 'Asc',
-            })
-        );
-
-        expect(
-            (model.attributes[2].args[0].value as ReferenceExpr).target.ref
-                ?.name
-        ).toBe('b');
-        expect(
-            (model.attributes[2].args[0].value as ReferenceExpr).args[0]
-        ).toEqual(
-            expect.objectContaining({
-                name: 'sort',
-                value: 'Desc',
-            })
-        );
-    });
-
-    it('model relation', async () => {
-        const content = `
-            model User {
-                id String
-                posts Post[]
-            }
-
-            model Post {
-                id String
-                owner User @relation(references: [id], onDelete: Cascade, onUpdate: Cascade)
-            }
-        `;
-        const doc = await loadModel(content);
-        const models = doc.declarations as DataModel[];
-        expect(models[0].fields[1].type.reference?.ref?.name === 'Post');
-        expect(models[1].fields[1].type.reference?.ref?.name === 'User');
-    });
-
-    it('policy expressions', async () => {
-        const content = `
-            model Model {
-                a Int
-                b Int
-                c Boolean
-
-                @@deny('all', !c)
-                @@deny('all', a < 0)
-                // @@deny(a + b < 10)
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        const attrs = model.attributes;
-
-        expect(attrs[0].args[1].value.$type).toBe(UnaryExpr);
-        expect((attrs[0].args[1].value as UnaryExpr).operand.$type).toBe(
-            ReferenceExpr
-        );
-
-        expect(attrs[1].args[1].value.$type).toBe(BinaryExpr);
-        expect((attrs[1].args[1].value as BinaryExpr).left.$type).toBe(
-            ReferenceExpr
-        );
-        expect((attrs[1].args[1].value as BinaryExpr).right.$type).toBe(
-            LiteralExpr
-        );
-
-        expect(attrs[1].args[1].value.$type).toBe(BinaryExpr);
-        expect((attrs[1].args[1].value as BinaryExpr).left.$type).toBe(
-            ReferenceExpr
-        );
-        expect((attrs[1].args[1].value as BinaryExpr).right.$type).toBe(
-            LiteralExpr
-        );
-
-        // expect(attrs[2].args[0].value.$type).toBe(BinaryExpr);
-        // expect((attrs[2].args[0].value as BinaryExpr).left.$type).toBe(
-        //     BinaryExpr
-        // );
-    });
-
-    it('policy expression precedence', async () => {
-        const content = `
-            model Model {
-                a Int
-                b Int
-                // @@deny(a + b * 2 > 0)
-                // @@deny((a + b) * 2 > 0)
-                @@deny('all', a > 0 && b < 0)
-                @@deny('all', a >= 0 && b <= 0)
-                @@deny('all', a == 0 || b != 0)
-            }
-        `;
-
-        await loadModel(content);
-
-        // const doc = await loadModel(content);
-        // const attrs = (doc.declarations[0] as DataModel).attributes;
-
-        // expect(attrs[0].args[0].value.$type).toBe(BinaryExpr);
-
-        // // 1: a + b * 2 > 0
-
-        // // >
-        // expect((attrs[0].args[0].value as BinaryExpr).operator).toBe('>');
-
-        // // a + b * 2
-        // expect((attrs[0].args[0].value as BinaryExpr).left.$type).toBe(
-        //     BinaryExpr
-        // );
-
-        // // 0
-        // expect((attrs[0].args[0].value as BinaryExpr).right.$type).toBe(
-        //     LiteralExpr
-        // );
-
-        // // +
-        // expect(
-        //     ((attrs[0].args[0].value as BinaryExpr).left as BinaryExpr).operator
-        // ).toBe('+');
-
-        // // a
-        // expect(
-        //     ((attrs[0].args[0].value as BinaryExpr).left as BinaryExpr).left
-        //         .$type
-        // ).toBe(ReferenceExpr);
-
-        // // b * 2
-        // expect(
-        //     ((attrs[0].args[0].value as BinaryExpr).left as BinaryExpr).right
-        //         .$type
-        // ).toBe(BinaryExpr);
-
-        // // 2: (a + b) * 2 > 0
-
-        // // >
-        // expect((attrs[1].args[0].value as BinaryExpr).operator).toBe('>');
-
-        // // (a + b) * 2
-        // expect((attrs[1].args[0].value as BinaryExpr).left.$type).toBe(
-        //     BinaryExpr
-        // );
-
-        // // 0
-        // expect((attrs[1].args[0].value as BinaryExpr).right.$type).toBe(
-        //     LiteralExpr
-        // );
-
-        // // *
-        // expect(
-        //     ((attrs[1].args[0].value as BinaryExpr).left as BinaryExpr).operator
-        // ).toBe('*');
-
-        // // (a + b)
-        // expect(
-        //     ((attrs[1].args[0].value as BinaryExpr).left as BinaryExpr).left
-        //         .$type
-        // ).toBe(BinaryExpr);
-
-        // // a
-        // expect(
-        //     (
-        //         ((attrs[1].args[0].value as BinaryExpr).left as BinaryExpr)
-        //             .left as BinaryExpr
-        //     ).left.$type
-        // ).toBe(ReferenceExpr);
-
-        // // b
-        // expect(
-        //     (
-        //         ((attrs[1].args[0].value as BinaryExpr).left as BinaryExpr)
-        //             .left as BinaryExpr
-        //     ).right.$type
-        // ).toBe(ReferenceExpr);
-
-        // // 2
-        // expect(
-        //     ((attrs[1].args[0].value as BinaryExpr).left as BinaryExpr).right
-        //         .$type
-        // ).toBe(LiteralExpr);
-    });
-
-    it('function', async () => {
-        const content = `
-            model M {
-                a Int
-                b Int
-                c N[]
-                @@deny('all', foo(a, b))
-                @@deny('all', bar(c))
-            }
-
-            model N {
-                x Int
-            }
-
-            function foo(a Int, b Int) Boolean {
-            }
-
-            function bar(items N[]) Boolean {
-            }
-        `;
-        const doc = await loadModel(content);
-        const model = doc.declarations[0] as DataModel;
-        const foo = doc.declarations[2] as Function;
-        const bar = doc.declarations[3] as Function;
-
-        expect(foo.name).toBe('foo');
-        expect(foo.params.map((p) => p.type.type)).toEqual(
-            expect.arrayContaining(['Int', 'Int'])
-        );
-
-        expect(bar.name).toBe('bar');
-        expect(bar.params[0].type.reference?.ref?.name).toBe('N');
-        expect(bar.params[0].type.array).toBeTruthy();
-
-        expect(model.attributes[0].args[1].value.$type).toBe(InvocationExpr);
-    });
-
-    it('member access', async () => {
-        const content = `
-            model M {
-                a N
-                @@deny('all', a.x.y < 0)
-                @@deny('all', foo(a))
-            }
-
-            model N {
-                x P
-            }
-
-            model P {
-                y Int
-            }
-
-            function foo(n N) Boolean {
-                n.x < 0
-            }
-        `;
-        await loadModel(content);
-    });
-
-    it('collection predicate', async () => {
-        const content = `
-            model M {
-                n N[]
-                @@deny('all', n?[x < 0])
-            }
-
-            model N {
-                x Int
-            }
-        `;
-        await loadModel(content);
-    });
-
-    it('collection predicate chained', async () => {
-        const content = `
-            model M {
-                n N[]
-                @@deny('all', n?[p?[x < 0]])
-            }
-
-            model N {
-                p P[]
-            }
-
-            model P {
-                x Int
-            }
-        `;
-        await loadModel(content);
-    });
-});

package/packages/schema/tests/schema/sample-todo.test.ts

@@ -1,14 +0,0 @@
-import { loadModel } from '../utils';
-import * as fs from 'fs';
-
-describe('Basic Tests', () => {
-    it('sample todo schema', async () => {
-        const content = fs.readFileSync(
-            '../../samples/todo/zenstack/schema.zmodel',
-            {
-                encoding: 'utf-8',
-            }
-        );
-        await loadModel(content);
-    });
-});

package/packages/schema/tests/utils.ts

@@ -1,38 +0,0 @@
-import { createZModelServices } from '../src/language-server/zmodel-module';
-import { URI } from 'vscode-uri';
-import * as fs from 'fs';
-import * as path from 'path';
-import { Model } from '../src/language-server/generated/ast';
-import * as tmp from 'tmp';
-
-export async function loadModel(content: string) {
-    const { name: docPath } = tmp.fileSync({ postfix: '.zmodel' });
-    fs.writeFileSync(docPath, content);
-    const { shared } = createZModelServices();
-    const stdLib = shared.workspace.LangiumDocuments.getOrCreateDocument(
-        URI.file(path.resolve('src/language-server/stdlib.zmodel'))
-    );
-    const doc = shared.workspace.LangiumDocuments.getOrCreateDocument(
-        URI.file(docPath)
-    );
-    await shared.workspace.DocumentBuilder.build([stdLib, doc], {
-        validationChecks: 'all',
-    });
-
-    const validationErrors = (doc.diagnostics ?? []).filter(
-        (e) => e.severity === 1
-    );
-    if (validationErrors.length > 0) {
-        for (const validationError of validationErrors) {
-            console.error(
-                `line ${validationError.range.start.line + 1}: ${
-                    validationError.message
-                } [${doc.textDocument.getText(validationError.range)}]`
-            );
-        }
-        throw new Error('Validation error');
-    }
-
-    const model = (await doc.parseResult.value) as Model;
-    return model;
-}

package/packages/schema/tsconfig.json

@@ -1,23 +0,0 @@
-{
-    "compilerOptions": {
-        "target": "ES6",
-        "module": "commonjs",
-        "lib": ["ESNext"],
-        "sourceMap": true,
-        "outDir": "out",
-        "strict": true,
-        "noUnusedLocals": true,
-        "noImplicitReturns": true,
-        "moduleResolution": "node",
-        "esModuleInterop": true,
-        "skipLibCheck": true,
-        "forceConsistentCasingInFileNames": true,
-        "baseUrl": ".",
-        "paths": {
-            "@lang/*": ["src/language-server/*"]
-        },
-        "resolveJsonModule": true
-    },
-    "include": ["src/**/*.ts"],
-    "exclude": ["out", "node_modules"]
-}

package/pnpm-workspace.yaml

@@ -1,3 +0,0 @@
-packages:
-    - 'packages/*'
-    - 'tests/*'

package/samples/todo/.env

@@ -1,2 +0,0 @@
-NEXTAUTH_SECRET=abc123
-DATABASE_URL="postgresql://postgres:abc123@localhost:5432/todo?schema=public"

package/samples/todo/.eslintrc.json

@@ -1,3 +0,0 @@
-{
-    "extends": ["next/core-web-vitals"]
-}

package/samples/todo/.vscode/launch.json

@@ -1,11 +0,0 @@
-{
-    "version": "0.2.0",
-    "configurations": [
-        {
-            "name": "Next.js: debug server-side",
-            "type": "node-terminal",
-            "request": "launch",
-            "command": "npm run dev"
-        }
-    ]
-}

package/samples/todo/README.md

@@ -1,34 +0,0 @@
-This is a [Next.js](https://nextjs.org/) project bootstrapped with [`create-next-app`](https://github.com/vercel/next.js/tree/canary/packages/create-next-app).
-
-## Getting Started
-
-First, run the development server:
-
-```bash
-npm run dev
-# or
-yarn dev
-```
-
-Open [http://localhost:3000](http://localhost:3000) with your browser to see the result.
-
-You can start editing the page by modifying `pages/index.tsx`. The page auto-updates as you edit the file.
-
-[API routes](https://nextjs.org/docs/api-routes/introduction) can be accessed on [http://localhost:3000/api/hello](http://localhost:3000/api/hello). This endpoint can be edited in `pages/api/hello.ts`.
-
-The `pages/api` directory is mapped to `/api/*`. Files in this directory are treated as [API routes](https://nextjs.org/docs/api-routes/introduction) instead of React pages.
-
-## Learn More
-
-To learn more about Next.js, take a look at the following resources:
-
-- [Next.js Documentation](https://nextjs.org/docs) - learn about Next.js features and API.
-- [Learn Next.js](https://nextjs.org/learn) - an interactive Next.js tutorial.
-
-You can check out [the Next.js GitHub repository](https://github.com/vercel/next.js/) - your feedback and contributions are welcome!
-
-## Deploy on Vercel
-
-The easiest way to deploy your Next.js app is to use the [Vercel Platform](https://vercel.com/new?utm_medium=default-template&filter=next.js&utm_source=create-next-app&utm_campaign=create-next-app-readme) from the creators of Next.js.
-
-Check out our [Next.js deployment documentation](https://nextjs.org/docs/deployment) for more details.