@lowgular/code-graph 0.1.1 → 0.1.2

package/cypher/lib/validator/supported-features.config.js

@@ -1,83 +0,0 @@
-const NODE_CONSTRAINTS = [
-  {
-    description: "Nodes can have multiple labels (:A:B means must have A AND B and :A|B means must have A OR B)"
-  },
-  {
-    description: "Properties are flat (no nested objects)"
-  },
-  {
-    description: "Property values are primitive types only (no temporal types, points, or complex objects)"
-  }
-];
-const RELATIONSHIP_CONSTRAINTS = [
-  {
-    description: "Variable-length paths only support `*` (unlimited, zero or more)"
-  },
-  {
-    description: "Path range syntax not supported: `*1..3`, `*2..`, `*..3` are invalid"
-  },
-  {
-    description: "Edge properties not supported - cannot filter edges by properties"
-  },
-  {
-    description: "Edges only have: source, target, type (no custom properties)"
-  }
-];
-const QUERY_CONSTRAINTS = [
-  {
-    description: "RETURN clause cannot be omitted (make sure to always add at least the clause: RETURN * - all matched variables are returned)"
-  },
-  {
-    description: "The IN operator matches the EXACT array."
-  },
-  {
-    description: "WHERE conditions must use same logic operator (all AND or all OR, cannot mix)"
-  }
-];
-const PATTERN_CONSTRAINTS = [
-  {
-    description: "Label AND syntax: `(n:Label1:Label2)` requires both labels (AND semantics)"
-  },
-  {
-    description: "Label OR syntax: `(n:Label1|Label2)` requires either label (OR semantics)"
-  },
-  {
-    description: "Anonymous variables are auto-generated and filtered from results"
-  }
-];
-const RESULT_FORMAT_ITEMS = [
-  {
-    description: "Results are arrays of objects"
-  },
-  {
-    description: "Each object maps variable names to matched nodes/edges"
-  },
-  {
-    description: "Nodes include: id, labels, filePath, range and name."
-  },
-  {
-    description: "Edges include: source, target, type"
-  },
-  {
-    description: "Null values preserved for unmatched optional variables"
-  }
-];
-const ERROR_HANDLING_ITEMS = [
-  {
-    description: "Standard parser errors for invalid syntax"
-  },
-  {
-    description: "Undefined variables in WHERE or RETURN will cause errors"
-  },
-  {
-    description: "Using FORBIDDEN features will cause errors"
-  }
-];
-export {
-  ERROR_HANDLING_ITEMS,
-  NODE_CONSTRAINTS,
-  PATTERN_CONSTRAINTS,
-  QUERY_CONSTRAINTS,
-  RELATIONSHIP_CONSTRAINTS,
-  RESULT_FORMAT_ITEMS
-};

package/cypher/lib/validator/unsupported-features.config.js

@@ -1,124 +0,0 @@
-const FORBIDDEN_KEYWORDS = [
-  {
-    pattern: /\bWITH\b/i,
-    name: "WITH clause",
-    errorMessage: "WITH clause is not supported. Cannot use WITH for intermediate results or variable passing.",
-    alternative: "Use multiple MATCH statements or inline variables directly in WHERE/RETURN clauses."
-  },
-  {
-    pattern: /\bUNWIND\b/i,
-    name: "UNWIND clause",
-    errorMessage: "UNWIND clause is not supported. Cannot use UNWIND to expand arrays."
-  },
-  {
-    pattern: /\bUNION\b/i,
-    name: "UNION clause",
-    errorMessage: "UNION clause is not supported. Cannot combine result sets with UNION."
-  },
-  {
-    pattern: /\bCREATE\b/i,
-    name: "CREATE clause",
-    errorMessage: "CREATE clause is not supported. This is a read-only query engine (no mutations)."
-  },
-  {
-    pattern: /\bMERGE\b/i,
-    name: "MERGE clause",
-    errorMessage: "MERGE clause is not supported. This is a read-only query engine (no mutations)."
-  },
-  {
-    pattern: /\bDELETE\b/i,
-    name: "DELETE clause",
-    errorMessage: "DELETE clause is not supported. This is a read-only query engine (no mutations)."
-  }
-  // {
-  //   pattern: /\bSET\b/i,
-  //   name: 'SET clause',
-  //   errorMessage:
-  //     'SET clause is not supported. This is a read-only query engine (no mutations).',
-  // },
-];
-const FORBIDDEN_AGGREGATIONS = [
-  {
-    pattern: /\bCOUNT\s*\(/i,
-    name: "COUNT() function",
-    errorMessage: "COUNT() aggregation function is not supported. Aggregation functions are not available.",
-    alternative: "Use manual counting patterns or return all results and count in application code."
-  },
-  {
-    pattern: /\bSUM\s*\(/i,
-    name: "SUM() function",
-    errorMessage: "SUM() aggregation function is not supported. Aggregation functions are not available."
-  },
-  {
-    pattern: /\bcollect\s*\(/i,
-    name: "collect() function",
-    errorMessage: "collect() aggregation function is not supported. Aggregation functions are not available."
-  },
-  {
-    pattern: /\bMIN\s*\(/i,
-    name: "MIN() function",
-    errorMessage: "MIN() aggregation function is not supported. Aggregation functions are not available."
-  },
-  {
-    pattern: /\bMAX\s*\(/i,
-    name: "MAX() function",
-    errorMessage: "MAX() aggregation function is not supported. Aggregation functions are not available."
-  },
-  {
-    pattern: /\bAVG\s*\(/i,
-    name: "AVG() function",
-    errorMessage: "AVG() aggregation function is not supported. Aggregation functions are not available."
-  }
-];
-const FORBIDDEN_MODIFIERS = [
-  {
-    pattern: /\bSKIP\b/i,
-    name: "SKIP clause",
-    errorMessage: "SKIP clause is not supported. Pagination is not available."
-  }
-];
-const FORBIDDEN_PATTERNS = [
-  {
-    pattern: /\[.*:\w+\*\d+\.\.\d+.*\]/,
-    name: "Path range syntax",
-    errorMessage: "Path range syntax is not supported. Patterns like `*1..3`, `*2..`, `*..3` are invalid.",
-    alternative: "Use `*` (unlimited, zero or more) for variable-length paths."
-  },
-  {
-    pattern: /\[.*:\w+\*\d+\.\..*\]/,
-    name: "Path range syntax (lower bound)",
-    errorMessage: "Path range syntax is not supported. Patterns like `*2..` are invalid.",
-    alternative: "Use `*` (unlimited, zero or more) for variable-length paths."
-  },
-  {
-    pattern: /\[.*:\w+\*\.\.\d+.*\]/,
-    name: "Path range syntax (upper bound)",
-    errorMessage: "Path range syntax is not supported. Patterns like `*..3` are invalid.",
-    alternative: "Use `*` (unlimited, zero or more) for variable-length paths."
-  },
-  {
-    pattern: /WHERE\s+NOT\s*\(/i,
-    name: "WHERE NOT (pattern)",
-    errorMessage: "WHERE NOT (pattern) is not supported. Cannot use pattern negation in WHERE clause.",
-    alternative: "Use `OPTIONAL MATCH` + `WHERE IS NULL` instead. Example: `OPTIONAL MATCH (m)-[:HAS_PARAMETER]->(:ParameterDeclaration) WHERE ... IS NULL`."
-  },
-  {
-    pattern: /MATCH\s*\(:\w+[^)]*\)(?:\s*,\s*\(:\w+[^)]*\))*(?:\s*WHERE[^R]*)?/i,
-    name: "Anonymous-only queries",
-    errorMessage: "Queries with only anonymous nodes (no variable bindings) are not useful.",
-    alternative: "Use bound variables in the pattern. Example: `MATCH (a:A)` instead of `MATCH (:A)`."
-  }
-];
-const FORBIDDEN_FEATURES = [
-  {
-    name: "Subqueries",
-    description: "Nested queries not supported"
-  }
-];
-export {
-  FORBIDDEN_AGGREGATIONS,
-  FORBIDDEN_FEATURES,
-  FORBIDDEN_KEYWORDS,
-  FORBIDDEN_MODIFIERS,
-  FORBIDDEN_PATTERNS
-};

package/cypher-cli.js

@@ -1,41 +0,0 @@
-const command = "cypher";
-const describe = "Print supported Cypher syntax and constraints (MATCH, WHERE, RETURN, etc.).";
-const builder = (yargs) => yargs;
-function handler() {
-  console.log(CYPHER_REFERENCE);
-}
-const CYPHER_REFERENCE = `# Cypher reference (code-graph dialect)
-
-Unsupported features (e.g. CREATE, MERGE, path ranges like *1..3) will error \u2014 see validator if needed.
-
-MATCH, WHERE, RETURN, ORDER BY, LIMIT, OPTIONAL MATCH, and variable-length paths are supported.
-
-## MATCH
-  (n:Label), (n:Label { prop: 'value' }), (a)-[:REL]->(b), (a)<-[:REL]-(b)
-  Variable-length: (a)-[*]->(b)
-  Multiple labels: (n:A:B) AND, (n:A|B) OR. Multiple rel types: [:R1|R2]
-  OPTIONAL MATCH for left outer joins.
-
-## WHERE
-  =, !=, >, <, >=, <=
-  IN [...], NOT IN [...]
-  IS NULL, IS NOT NULL
-  STARTS WITH, ENDS WITH, CONTAINS, =~ 'regex'
-  Same logic for whole clause: all AND or all OR (no mixing).
-
-## RETURN
-  RETURN n, m  |  RETURN *  |  RETURN n AS alias
-  RETURN DISTINCT n  |  RETURN n LIMIT 10
-
-## ORDER BY
-  ORDER BY n.name ASC | DESC, multiple fields supported.
-
-## Constraints
-  RETURN required. Node properties flat, primitives only. Edges: source, target, type (no edge properties). Variable-length only * (no *1..3 etc).
-`;
-export {
-  builder,
-  command,
-  describe,
-  handler
-};

package/infra/code-graph.js

@@ -1,147 +0,0 @@
-import {
-  buildCodeGraph,
-  buildConfigFromQuery
-} from "../code-graph-v2/index.js";
-import {
-  createProgramFromFileSystem,
-  createProgramFromTsConfig
-} from "../codegular/index.js";
-import { buildQueryObject, query } from "../cypher/index.js";
-const matchFromGeneratedFiles = (cypherQuery, config, generatedFiles) => {
-  const fileSystem = generatedFiles.reduce((acc, file) => {
-    if (file.filePath.endsWith(".ts")) {
-      acc[file.filePath] = file.code;
-    }
-    return acc;
-  }, {});
-  return matchFromFileSystem(cypherQuery, config, fileSystem);
-};
-const matchFromFileSystem = (cypherQuery, config, fileSystem) => {
-  const program = createProgramFromFileSystem(fileSystem);
-  const codeGraph = buildCodeGraph(program, config);
-  const results = query(cypherQuery, codeGraph);
-  return results;
-};
-const mapGeneratedFilesToFileSystem = (generatedFiles) => {
-  return generatedFiles.reduce(
-    (acc, file) => {
-      acc[file.filePath] = file.code;
-      return acc;
-    },
-    {}
-  );
-};
-const resolveProgramFromConfig = (env) => {
-  return env.tsConfig ? createProgramFromTsConfig(env.tsConfig) : createProgramFromFileSystem(
-    mapGeneratedFilesToFileSystem(env.generatedFiles)
-  );
-};
-const autoMatch = (cypherQuery, program, options) => {
-  const queryObject = buildQueryObject(cypherQuery);
-  const config = buildConfigFromQuery(queryObject);
-  const codeGraph = buildCodeGraph(program, config);
-  const results = query(cypherQuery, codeGraph);
-  return options?.skipRewrite ? results : rewriteOccurenceOf(results);
-};
-const PATH_ANCHOR_SRC_APP = "src/app";
-const rewriteUntilPath = (pathOrNodeId, pathAnchor) => {
-  const searchSegment = pathAnchor.startsWith("/") && pathAnchor.endsWith("/") ? pathAnchor : `/${pathAnchor.replace(/^\/|\/$/g, "")}/`;
-  const idx = pathOrNodeId.lastIndexOf(searchSegment);
-  if (idx < 0)
-    return pathOrNodeId;
-  const sliced = pathOrNodeId.slice(idx);
-  return sliced.startsWith("/") ? sliced.slice(1) : sliced;
-};
-const rewriteOccurenceOf = (result) => {
-  return result.map((result2) => {
-    return Object.keys(result2).reduce((acc, key) => {
-      if (!result2[key]) {
-        return acc;
-      }
-      const id = result2[key]["id"];
-      if (!id) {
-        return acc;
-      }
-      return {
-        ...acc,
-        [key]: {
-          ...result2[key],
-          id: rewriteUntilPath(id, PATH_ANCHOR_SRC_APP)
-        }
-      };
-    }, {});
-  });
-};
-const filterResultsByGeneratedFiles = (results, generatedFiles) => {
-  const filePaths = generatedFiles.map((file) => file.filePath);
-  return results.filter(
-    (result) => Object.values(result).find(
-      (n) => filePaths.includes(n["id"].split(".")[0] + ".ts")
-    )
-  );
-};
-const autoMatchFromGeneratedFiles = (cypherQuery, generatedFiles) => {
-  const queryObject = buildQueryObject(cypherQuery);
-  const config = buildConfigFromQuery(queryObject);
-  return matchFromGeneratedFiles(cypherQuery, config, generatedFiles);
-};
-const NODE_PROPERTIES_PRESET = {
-  NAMEABLE: {
-    name: `helpers.getDescendantsBy(args.current, (node) => node.kind === args.ts.SyntaxKind.Identifier)[0]?.getText();`,
-    filePath: "args.sourceFile.fileName;"
-  },
-  /**
-   * Creates a preset that extracts a property value from an ObjectLiteralExpression
-   * @param key - The property name to look for in the object literal
-   * @returns An extractor code string that finds the property and returns its initializer text
-   *
-   * @example
-   * ```typescript
-   * properties: {
-   *   selector: NODE_PROPERTIES_PRESET.OBJECT_PROPERTY('selector'),
-   *   template: NODE_PROPERTIES_PRESET.OBJECT_PROPERTY('template'),
-   * }
-   * ```
-   */
-  OBJECT_LITERAL_PROPERTY: (key, valueFns = []) => {
-    return `(function() {
-      const objectLiterals = helpers.getDescendantsBy(
-        args.current, 
-        (node) => node.kind === args.ts.SyntaxKind.ObjectLiteralExpression
-      );
-      
-      for (const objLiteral of objectLiterals) {
-        if (args.ts.isObjectLiteralExpression(objLiteral)) {
-          for (const property of objLiteral.properties) {
-            if (args.ts.isPropertyAssignment(property)) {
-              const propName = property.name;
-              let propNameText = '';
-              
-              if (args.ts.isIdentifier(propName)) {
-                propNameText = propName.text;
-              } else if (args.ts.isStringLiteral(propName)) {
-                propNameText = propName.text;
-              }
-              
-              if (propNameText === '${key}') {
-                const value = property.initializer?.getText() || null;
-                return [${valueFns.join(", ")}].reduce((acc, valueFn) => valueFn(acc), value);
-              }
-            }
-          }
-        }
-      }
-      return null;
-    })();`;
-  }
-};
-export {
-  NODE_PROPERTIES_PRESET,
-  autoMatch,
-  autoMatchFromGeneratedFiles,
-  filterResultsByGeneratedFiles,
-  matchFromFileSystem,
-  matchFromGeneratedFiles,
-  resolveProgramFromConfig,
-  rewriteUntilPath
-};

package/resources-cli.js

@@ -1,75 +0,0 @@
-const command = "resources";
-const describe = "Print code graph schema and Cypher reference (for agents and tooling).";
-const builder = (yargs) => yargs;
-function handler() {
-  console.log(RESOURCES_TEXT);
-}
-const RESOURCES_TEXT = `# Code Graph \u2014 Cypher over TypeScript
-
-The graph database is your **TypeScript code**. Nodes are AST nodes; relationships follow the structure of the program. You run Cypher queries against a project built from a tsconfig; the engine builds the graph on the fly from the query (no separate schema).
-
-## Node labels = TypeScript SyntaxKind
-
-Labels are **TypeScript AST node kinds** (SyntaxKind names). Examples:
-
-  ClassDeclaration, MethodDeclaration, PropertyDeclaration, Constructor,
-  FunctionDeclaration, VariableStatement, CallExpression, Identifier,
-  ObjectLiteralExpression, Decorator, SourceFile, ImportDeclaration, ...
-
-Use them in patterns: \`(n:ClassDeclaration)\`, \`(d:Decorator)\`, \`(p:PropertyDeclaration)\`.
-
-## Node shape (every node)
-
-Each node in the result has:
-
-  - **id**     \u2014 unique node id (file path + position)
-  - **labels** \u2014 array of one label (the SyntaxKind name)
-  - **name**   \u2014 \`node.name?.getText()\` (e.g. class/method/prop name)
-  - **filePath** \u2014 source file path
-  - **text**   \u2014 full text of the AST node
-  - **type**   \u2014 resolved type from TypeChecker when available
-  - **firstIdentifier** \u2014 first descendant Identifier text
-  - **initializer**     \u2014 initializer text when present (e.g. variable, property)
-
-So you can filter or return \`n.name\`, \`n.filePath\`, \`n.text\`, \`n.type\`, etc.
-
-## Relationships (most common)
-
-**Traversal (AST structure)**
-  - **HAS_DESCENDANTS** \u2014 recursive descent into child nodes (optionally by kind)
-  - **HAS_ANCESTORS** \u2014 recursive ascent to parent nodes
-
-**Direct AST properties**
-  - **HAS_INITIALIZER** \u2014 \`node.initializer\` (VariableDeclaration, PropertyDeclaration, \u2026)
-  - **HAS_PARAMETERS** \u2014 \`node.parameters\` (functions, constructors, \u2026)
-  - **HAS_EXPRESSION** \u2014 \`node.expression\` (CallExpression, Decorator, \u2026)
-  - **HAS_TYPE_ANNOTATION** \u2014 \`node.type\` (explicit type on params, properties, return)
-  - **HAS_BODY** \u2014 \`node.body\` (functions, methods, arrow functions, \u2026)
-  - **HAS_MEMBERS** \u2014 \`node.members\` (class/interface/enum members)
-  - **HAS_PROPERTIES** \u2014 \`node.properties\` (ObjectLiteralExpression)
-  - **HAS_ARGUMENTS** \u2014 \`node.arguments\` (CallExpression, NewExpression)
-  - **HAS_DECORATORS** \u2014 decorators on the node
-  - **HAS_TYPE** \u2014 resolved type (TypeChecker)
-  - **HAS_NAME** \u2014 \`node.name\` (Identifier)
-
-**Heritage**
-  - **EXTENDS** \u2014 \`extends\` clause (classes, interfaces)
-  - **IMPLEMENTS** \u2014 \`implements\` clause (classes)
-
-Example: find classes with a \`Component\` decorator:
-
-  MATCH (c:ClassDeclaration)-[:HAS_DECORATORS]->(d:Decorator)
-  WHERE d.name = 'Component'
-  RETURN c
-
-Example: find method and its parameters:
-
-  MATCH (m:MethodDeclaration)-[:HAS_PARAMETERS]->(p:ParameterDeclaration)
-  RETURN m, p
-`;
-export {
-  builder,
-  command,
-  describe,
-  handler
-};

package/run-cli.js

@@ -1,43 +0,0 @@
-import * as fs from "fs";
-import * as path from "path";
-import { createProgramFromTsConfig } from "./codegular/index.js";
-import { autoMatch } from "./infra/code-graph.js";
-const command = "query <cypher>";
-const describe = "Run Cypher and print match results as JSON. Builds the code graph from the project tsconfig; node/relationship config is inferred from the query.";
-const builder = (yargs) => yargs.option("tsconfig", {
-  type: "string",
-  default: "tsconfig.json",
-  description: "Path to tsconfig.json (default: tsconfig.json in cwd)"
-}).positional("cypher", {
-  type: "string",
-  demandOption: true,
-  description: 'Cypher query (quote in shell: "MATCH (n:ClassDeclaration) RETURN n")'
-});
-async function handler(argv) {
-  const cypherQuery = argv.cypher.trim();
-  const cwd = process.cwd();
-  const tsconfigPath = path.isAbsolute(argv.tsconfig) ? argv.tsconfig : path.join(cwd, argv.tsconfig);
-  if (!fs.existsSync(tsconfigPath)) {
-    console.error(`Error: tsconfig not found at ${tsconfigPath}`);
-    process.exit(1);
-  }
-  try {
-    const program = createProgramFromTsConfig(tsconfigPath);
-    const results = autoMatch(cypherQuery, program);
-    console.log(JSON.stringify(results, null, 2));
-  } catch (err) {
-    const message = err instanceof Error ? err.message : String(err);
-    const stack = err instanceof Error ? err.stack : void 0;
-    console.error(`Error: ${message}`);
-    if (stack && process.env.DEBUG) {
-      console.error(stack);
-    }
-    process.exit(1);
-  }
-}
-export {
-  builder,
-  command,
-  describe,
-  handler
-};