sql-typechecker 0.0.7 → 0.0.10

package/src/builtinunaryoperators.ts

@@ -1,291 +0,0 @@
-import { unaryOp } from "./typecheck";
-
-const builtinunaryoperatorsFromSyntax: unaryOp[] = [
-  // {
-  //   name: { name: "IS NULL" },
-  //   operand: { kind: "nullable", typevar: { kind: "anyscalar" } },
-  //   result: { kind: "scalar", name: { name: "boolean" } },
-  //   description: "is NULL check",
-  // },
-];
-
-const builtinunaryoperatorsFromSchema: unaryOp[] = [
-  {
-    name: { name: "!" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "numeric" } },
-    description: "factorial",
-  },
-  {
-    name: { name: "!!" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "numeric" } },
-    description: "deprecated, use ! instead",
-  },
-  {
-    name: { name: "!!" },
-    operand: { kind: "scalar", name: { name: "tsquery" } },
-    result: { kind: "scalar", name: { name: "tsquery" } },
-    description: "NOT tsquery",
-  },
-  {
-    name: { name: "#" },
-    operand: { kind: "scalar", name: { name: "path" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "number of points",
-  },
-  {
-    name: { name: "#" },
-    operand: { kind: "scalar", name: { name: "polygon" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "number of points",
-  },
-
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "bigint" } },
-    description: "unary plus",
-  },
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "double precision" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "unary plus",
-  },
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "integer" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "unary plus",
-  },
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "numeric" } },
-    result: { kind: "scalar", name: { name: "numeric" } },
-    description: "unary plus",
-  },
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "real" } },
-    result: { kind: "scalar", name: { name: "real" } },
-    description: "unary plus",
-  },
-  {
-    name: { name: "+" },
-    operand: { kind: "scalar", name: { name: "smallint" } },
-    result: { kind: "scalar", name: { name: "smallint" } },
-    description: "unary plus",
-  },
-
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "bigint" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "double precision" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "integer" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "interval" } },
-    result: { kind: "scalar", name: { name: "interval" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "numeric" } },
-    result: { kind: "scalar", name: { name: "numeric" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "real" } },
-    result: { kind: "scalar", name: { name: "real" } },
-    description: "negate",
-  },
-  {
-    name: { name: "-" },
-    operand: { kind: "scalar", name: { name: "smallint" } },
-    result: { kind: "scalar", name: { name: "smallint" } },
-    description: "negate",
-  },
-
-  {
-    name: { name: "?-" },
-    operand: { kind: "scalar", name: { name: "line" } },
-    result: { kind: "scalar", name: { name: "boolean" } },
-    description: "horizontal",
-  },
-  {
-    name: { name: "?-" },
-    operand: { kind: "scalar", name: { name: "lseg" } },
-    result: { kind: "scalar", name: { name: "boolean" } },
-    description: "horizontal",
-  },
-
-  {
-    name: { name: "?|" },
-    operand: { kind: "scalar", name: { name: "line" } },
-    result: { kind: "scalar", name: { name: "boolean" } },
-    description: "vertical",
-  },
-  {
-    name: { name: "?|" },
-    operand: { kind: "scalar", name: { name: "lseg" } },
-    result: { kind: "scalar", name: { name: "boolean" } },
-    description: "vertical",
-  },
-
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "bigint" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "double precision" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "integer" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "numeric" } },
-    result: { kind: "scalar", name: { name: "numeric" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "real" } },
-    result: { kind: "scalar", name: { name: "real" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@" },
-    operand: { kind: "scalar", name: { name: "smallint" } },
-    result: { kind: "scalar", name: { name: "smallint" } },
-    description: "absolute value",
-  },
-  {
-    name: { name: "@-@" },
-    operand: { kind: "scalar", name: { name: "lseg" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "distance between endpoints",
-  },
-  {
-    name: { name: "@-@" },
-    operand: { kind: "scalar", name: { name: "path" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "sum of path segment lengths",
-  },
-
-  {
-    name: { name: "@@" },
-    operand: { kind: "scalar", name: { name: "box" } },
-    result: { kind: "scalar", name: { name: "point" } },
-    description: "center of",
-  },
-  {
-    name: { name: "@@" },
-    operand: { kind: "scalar", name: { name: "circle" } },
-    result: { kind: "scalar", name: { name: "point" } },
-    description: "center of",
-  },
-  {
-    name: { name: "@@" },
-    operand: { kind: "scalar", name: { name: "lseg" } },
-    result: { kind: "scalar", name: { name: "point" } },
-    description: "center of",
-  },
-  {
-    name: { name: "@@" },
-    operand: { kind: "scalar", name: { name: "path" } },
-    result: { kind: "scalar", name: { name: "point" } },
-    description: "center of",
-  },
-  {
-    name: { name: "@@" },
-    operand: { kind: "scalar", name: { name: "polygon" } },
-    result: { kind: "scalar", name: { name: "point" } },
-    description: "center of",
-  },
-
-  {
-    name: { name: "|" },
-    operand: { kind: "scalar", name: { name: "tinterval" } },
-    result: { kind: "scalar", name: { name: "abstime" } },
-    description: "start of interval",
-  },
-
-  {
-    name: { name: "|/" },
-    operand: { kind: "scalar", name: { name: "double precision" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "square root",
-  },
-
-  {
-    name: { name: "||/" },
-    operand: { kind: "scalar", name: { name: "double precision" } },
-    result: { kind: "scalar", name: { name: "double precision" } },
-    description: "cube root",
-  },
-
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "bigint" } },
-    result: { kind: "scalar", name: { name: "bigint" } },
-    description: "bitwise not",
-  },
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "bit" } },
-    result: { kind: "scalar", name: { name: "bit" } },
-    description: "bitwise not",
-  },
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "inet" } },
-    result: { kind: "scalar", name: { name: "inet" } },
-    description: "bitwise not",
-  },
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "integer" } },
-    result: { kind: "scalar", name: { name: "integer" } },
-    description: "bitwise not",
-  },
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "macaddr" } },
-    result: { kind: "scalar", name: { name: "macaddr" } },
-    description: "bitwise not",
-  },
-  {
-    name: { name: "~" },
-    operand: { kind: "scalar", name: { name: "smallint" } },
-    result: { kind: "scalar", name: { name: "smallint" } },
-    description: "bitwise not",
-  },
-];
-
-export const builtinUnaryOperators = builtinunaryoperatorsFromSyntax.concat(
-  builtinunaryoperatorsFromSchema
-);

package/src/cli.ts

@@ -1,144 +0,0 @@
-import * as fs from "fs/promises";
-import * as path from "path";
-import { CreateFunctionStatement, parse, Statement } from "pgsql-ast-parser";
-import * as prettier from "prettier";
-import {
-  functionToTypescript,
-  genCrudOperations,
-  genDomain,
-  getImports,
-} from "./codegen";
-import { doCreateFunction, parseSetupScripts } from "./typecheck";
-
-go();
-
-async function findSqlFilesInDir(dir: string): Promise<string[]> {
-  const inThisDir = await fs.readdir(dir);
-  const res: string[] = [];
-  for (let p of inThisDir) {
-    const fullP = path.join(dir, p);
-    if (fullP.endsWith(".sql")) {
-      res.push(fullP);
-    } else {
-      const stat = await fs.stat(fullP);
-      if (stat.isDirectory()) {
-        const inSubFolder = await findSqlFilesInDir(fullP);
-        res.push(...inSubFolder);
-      } else {
-        // not a sql file, not a directory
-      }
-    }
-  }
-  return res;
-}
-
-function isCreateFunctionStatement(
-  st: Statement
-): st is CreateFunctionStatement {
-  return st.type === "create function";
-}
-
-async function go() {
-  const outArgs = findInArgs({ argv: process.argv, flags: ["-o", "--out"] });
-  const outArg = outArgs[0];
-  if (!outArg) {
-    throw new Error("Please provide -o/--out parameter");
-  }
-
-  const dirs = findInArgs({ argv: process.argv, flags: ["-d", "--dir"] });
-  const files = findInArgs({ argv: process.argv, flags: ["-f", "--file"] });
-
-  const allSqlFiles = (
-    await Promise.all(
-      dirs.map((dir) => findSqlFilesInDir(path.resolve(process.cwd(), dir)))
-    )
-  )
-    .flat()
-    .concat(files);
-
-  if (allSqlFiles.length === 0) {
-    throw new Error(
-      "Please provide at least one SQL file with flags -f/--file or -d/--dir"
-    );
-  }
-
-  const allStatements: Statement[] = [];
-  for (let sqlFile of allSqlFiles) {
-    console.log("Processing file ${sqlFile}");
-    const fileContents = await fs.readFile(sqlFile, "utf-8");
-    const statements: Statement[] = parse(fileContents, {
-      locationTracking: true,
-    });
-    allStatements.push(...statements);
-  }
-
-  console.log(`Processing ${allStatements.length} statements`);
-
-  const g = parseSetupScripts(allStatements);
-
-  // console.log("Global:\n", JSON.stringify(g, null, 2), "\n");
-
-  const createFunctionStatements = allStatements.filter(
-    isCreateFunctionStatement
-  );
-
-  await fs.mkdir(path.resolve(process.cwd(), outArg), { recursive: true });
-  const functionsOutFile = await prepOutFile(
-    path.join(path.resolve(process.cwd(), outArg), "functions.ts")
-  );
-
-  for (let dom of g.domains) {
-    await fs.appendFile(functionsOutFile, genDomain(dom) + "\n", "utf-8");
-  }
-  await fs.appendFile(functionsOutFile, `\n`, "utf-8");
-
-  for (let st of createFunctionStatements) {
-    try {
-      const res = doCreateFunction(g, { decls: [], froms: [] }, st);
-      const writing = prettier.format(functionToTypescript(res), {
-        parser: "typescript",
-      });
-      // console.log(`Writing: ${writing}`);
-      await fs.appendFile(functionsOutFile, writing, "utf-8");
-    } catch (err) {
-      console.error(err instanceof Error ? err.message : JSON.stringify(err));
-      return;
-    }
-  }
-
-  const crudDir = path.join(path.resolve(process.cwd(), outArg), "crud");
-  await fs.mkdir(crudDir, { recursive: true });
-
-  for (let table of g.tables) {
-    const tableOutFile = await prepOutFile(
-      path.join(crudDir, table.name.name + ".ts")
-    );
-    const text = genCrudOperations(table);
-    await fs.appendFile(
-      tableOutFile,
-      // text,
-      prettier.format(text, { parser: "typescript" }),
-      "utf-8"
-    );
-  }
-}
-
-async function prepOutFile(path: string): Promise<string> {
-  // const stat = await fs.stat(path);
-  // if (!stat.isFile)
-  // await fs.truncate(path);
-  await fs.writeFile(path, getImports() + "\n", "utf-8");
-  return path;
-}
-
-function findInArgs(opts: { argv: string[]; flags: string[] }): string[] {
-  let i = 0;
-  let res = [];
-  for (let arg of opts.argv) {
-    if (opts.flags.includes(arg) && opts.argv[i + 1]) {
-      res.push(opts.argv[i + 1]);
-    }
-    i = i + 1;
-  }
-  return res;
-}