simple-graph-query 1.0.1 → 1.1.2

package/dist/types.d.ts

@@ -0,0 +1,26 @@
+export interface IAtom {
+    id: string;
+    type: string;
+}
+export interface ITuple {
+    atoms: string[];
+    types: string[];
+}
+export interface IType {
+    id: string;
+    types: string[];
+    atoms: IAtom[];
+    isBuiltin: boolean;
+}
+export interface IRelation {
+    id: string;
+    name: string;
+    types: string[];
+    tuples: ITuple[];
+}
+export interface IDataInstance {
+    getAtomType(id: string): IType;
+    getTypes(): readonly IType[];
+    getAtoms(): readonly IAtom[];
+    getRelations(): readonly IRelation[];
+}

package/package.json

@@ -1,23 +1,65 @@
 {
   "name": "simple-graph-query",
-  "version": "1.0.1",
-  "description": "A simple graph query library.",
-  "main": "dist/bundle.js",
-  "types": "dist/types/index.d.ts",
-  "author": "Siddhartha Prasad",
-  "license": "MIT",
+  "version": "1.1.2",
+  "description": "TypeScript evaluator for Forge expressions with browser-compatible UMD bundle",
+  "main": "dist/simple-graph-query.bundle.js",
+  "types": "dist/index.d.ts",
+  "browser": "dist/simple-graph-query.bundle.js",
   "files": [
-    "dist",
-    "dist/types"
+    "dist/simple-graph-query.bundle.js",
+    "dist/simple-graph-query.bundle.js.LICENSE.txt",
+    "dist/*.d.ts",
+    "dist/forge-antlr/*.d.ts",
+    "README.md",
+    "LICENSE"
   ],
+  "keywords": [
+    "forge",
+    "alloy",
+    "expression-evaluator",
+    "formal-methods",
+    "antlr",
+    "typescript",
+    "browser",
+    "umd"
+  ],
+  "directories": {
+    "test": "test"
+  },
   "scripts": {
-    "build": "tsc && webpack --mode production",
-    "dev": "webpack --mode development --watch"
+    "build": "webpack",
+    "build:types": "tsc --emitDeclarationOnly",
+    "build:full": "tsc && webpack",
+    "prepublishOnly": "npm run build:full",
+    "serve": "python3 -m http.server 8080",
+    "test": "jest",
+    "antlr4ts": "cd src/forge-antlr && antlr4ts -visitor ForgeLexer.g4 Forge.g4 && cd ../.."
   },
+  "author": "Siddhartha Prasad",
+  "license": "MIT",
   "devDependencies": {
-    "typescript": "^5.0.0",
-    "webpack": "^5.0.0",
-    "webpack-cli": "^5.0.0",
-    "ts-loader": "^9.0.0"
+    "@types/jest": "^29.5.14",
+    "antlr4ts-cli": "^0.5.0-alpha.4",
+    "assert": "^2.1.0",
+    "buffer": "^6.0.3",
+    "husky": "^9.1.7",
+    "jest": "^29.7.0",
+    "jest-environment-jsdom": "^29.7.0",
+    "process": "^0.11.10",
+    "semver": "^7.7.2",
+    "stream-browserify": "^3.0.0",
+    "ts-jest": "^29.3.1",
+    "ts-loader": "^9.5.2",
+    "typescript": "^5.8.2",
+    "util": "^0.12.5",
+    "webpack": "^5.99.9",
+    "webpack-cli": "^6.0.1"
+  },
+  "dependencies": {
+    "@types/lodash": "^4.17.16",
+    "@types/node": "^22.14.0",
+    "antlr4ts": "^0.5.0-alpha.4",
+    "entities": "^6.0.0",
+    "lodash": "^4.17.21"
   }
 }

package/dist/bundle.js

@@ -1 +0,0 @@
-!function(t,e){"object"==typeof exports&&"object"==typeof module?module.exports=e():"function"==typeof define&&define.amd?define([],e):"object"==typeof exports?exports.Evaluator=e():t.Evaluator=e()}(this,()=>(()=>{"use strict";var t={5:(t,e,r)=>{Object.defineProperty(e,"__esModule",{value:!0}),e.Evaluator=void 0,e.runQuery=u;var n=r(337),i=function(){function t(t,e){this.result=t,this.expression=e}return t.prototype.prettyPrint=function(){return JSON.stringify(this.result,null,2)},t.prototype.noResult=function(){return Array.isArray(this.result)?0===this.result.length:"object"==typeof this.result&&"error"in this.result},t.prototype.singleResult=function(){if(Array.isArray(this.result)&&1===this.result.length&&1===this.result[0].length)return this.result[0][0];throw new Error("Result is not a singleton")},t.prototype.selectedAtoms=function(){return Array.isArray(this.result)?this.result.filter(function(t){return 1===t.length}).map(function(t){return String(t[0])}):[]},t.prototype.selectedTwoples=function(){return Array.isArray(this.result)?this.result.filter(function(t){return 2===t.length}).map(function(t){return[String(t[0]),String(t[1])]}):[]},t.prototype.selectedTuplesAll=function(){return Array.isArray(this.result)?this.result.map(function(t){return t.map(String)}):[]},t.prototype.isError=function(){return"object"==typeof this.result&&"error"in this.result},t.prototype.isSingleton=function(){return!!Array.isArray(this.result)&&1===this.result.length&&1===this.result[0].length},t.prototype.getExpression=function(){return this.expression},t.prototype.getRawResult=function(){return this.result},t}(),o=function(){function t(){this.context=null,this.graph=null}return t.prototype.initialize=function(t){this.context=t,t.processedData&&Array.isArray(t.processedData.nodes)&&Array.isArray(t.processedData.edges)?this.graph=t.processedData:this.graph=null},t.prototype.isReady=function(){return!!this.graph},t.prototype.evaluate=function(t,e){if(!this.graph)throw new Error("Evaluator not initialized");try{var r=u(this.graph,t);return new i(r,t)}catch(e){return new i({error:{message:e.message}},t)}},t}();function u(t,e){for(var r,i=(0,n.parse)(e),o=i.vars,u=i.type,a=i.condition,l=t.nodes.filter(function(t){return t.type===u}).map(function(t){return t.id}),p=[],f=0,c=l;f<c.length;f++)for(var h=c[f],y=0,d=l;y<d.length;y++){var g=d[y];s(a,((r={})[o[0]]=h,r[o[1]]=g,r),t)&&p.push([h,g])}return p}function s(t,e,r){return t.includes("=")?function(t,e,r){var n=t.split("=").map(function(t){return t.trim()}),i=n[0],o=n[1],u=a(i,e,r),s=a(o,e,r).values().next().value;return"string"==typeof s&&u.has(s)}(t,e,r):!!t.includes("in")&&function(t,e,r){var n=t.split("in").map(function(t){return t.trim()}),i=n[0],o=n[1],u=e[i],s=o.split("."),a=s[s.length-1].endsWith("*"),p=s[s.length-1].replace("*",""),f=a?l(u,p,r):function(t,e,r){return new Set(r.edges.filter(function(r){return r.from===t&&r.label===e}).map(function(t){return t.to}))}(u,p,r);return f.has(e[s[0]])}(t,e,r)}function a(t,e,r){if(t.includes(".")){var n=t.replace("*","").split("."),i=n[0],o=n[1],u=e[i];return"string"==typeof u?l(u,o,r):new Set}var s=e[t];return"string"==typeof s?new Set([s]):new Set}function l(t,e,r){for(var n=new Set,i=[t];i.length;){var o=i.pop();if(!n.has(o)){n.add(o);for(var u=0,s=r.edges;u<s.length;u++){var a=s[u];a.from!==o||a.label!==e||n.has(a.to)||i.push(a.to)}}}return n}e.Evaluator=o,e.default=o},156:function(t,e,r){var n=this&&this.__createBinding||(Object.create?function(t,e,r,n){void 0===n&&(n=r);var i=Object.getOwnPropertyDescriptor(e,r);i&&!("get"in i?!e.__esModule:i.writable||i.configurable)||(i={enumerable:!0,get:function(){return e[r]}}),Object.defineProperty(t,n,i)}:function(t,e,r,n){void 0===n&&(n=r),t[n]=e[r]}),i=this&&this.__exportStar||function(t,e){for(var r in t)"default"===r||Object.prototype.hasOwnProperty.call(e,r)||n(e,t,r)},o=this&&this.__importDefault||function(t){return t&&t.__esModule?t:{default:t}};Object.defineProperty(e,"__esModule",{value:!0}),e.default=void 0;var u=r(5);Object.defineProperty(e,"default",{enumerable:!0,get:function(){return o(u).default}}),i(r(613),e)},337:(t,e)=>{Object.defineProperty(e,"__esModule",{value:!0}),e.parse=function(t){var e=t.match(/\{\s*(.*?)\s*:\s*(\w+)\s*\|\s*(.*?)\s*\}/);if(!e)throw new Error("Parse error");e[0];var r=e[1],n=e[2],i=e[3];return{vars:r.split(",").map(function(t){return t.trim()}),type:n,condition:i}}},613:(t,e)=>{Object.defineProperty(e,"__esModule",{value:!0})}},e={},r=function r(n){var i=e[n];if(void 0!==i)return i.exports;var o=e[n]={exports:{}};return t[n].call(o.exports,o,o.exports,r),o.exports}(156);return r.default})());

package/dist/evaluator.js

@@ -1,180 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Evaluator = void 0;
-exports.runQuery = runQuery;
-var parser_1 = require("./parser");
-var EvaluatorResultImpl = /** @class */ (function () {
-    function EvaluatorResultImpl(result, expression) {
-        this.result = result;
-        this.expression = expression;
-    }
-    EvaluatorResultImpl.prototype.prettyPrint = function () {
-        return JSON.stringify(this.result, null, 2);
-    };
-    EvaluatorResultImpl.prototype.noResult = function () {
-        if (Array.isArray(this.result))
-            return this.result.length === 0;
-        if (typeof this.result === 'object' && 'error' in this.result)
-            return true;
-        return false;
-    };
-    EvaluatorResultImpl.prototype.singleResult = function () {
-        if (Array.isArray(this.result) && this.result.length === 1 && this.result[0].length === 1) {
-            return this.result[0][0];
-        }
-        throw new Error('Result is not a singleton');
-    };
-    EvaluatorResultImpl.prototype.selectedAtoms = function () {
-        if (Array.isArray(this.result)) {
-            return this.result.filter(function (t) { return t.length === 1; }).map(function (t) { return String(t[0]); });
-        }
-        return [];
-    };
-    EvaluatorResultImpl.prototype.selectedTwoples = function () {
-        if (Array.isArray(this.result)) {
-            return this.result.filter(function (t) { return t.length === 2; }).map(function (t) { return [String(t[0]), String(t[1])]; });
-        }
-        return [];
-    };
-    EvaluatorResultImpl.prototype.selectedTuplesAll = function () {
-        if (Array.isArray(this.result)) {
-            return this.result.map(function (t) { return t.map(String); });
-        }
-        return [];
-    };
-    EvaluatorResultImpl.prototype.isError = function () {
-        return typeof this.result === 'object' && 'error' in this.result;
-    };
-    EvaluatorResultImpl.prototype.isSingleton = function () {
-        if (Array.isArray(this.result))
-            return this.result.length === 1 && this.result[0].length === 1;
-        return false;
-    };
-    EvaluatorResultImpl.prototype.getExpression = function () {
-        return this.expression;
-    };
-    EvaluatorResultImpl.prototype.getRawResult = function () {
-        return this.result;
-    };
-    return EvaluatorResultImpl;
-}());
-var Evaluator = /** @class */ (function () {
-    function Evaluator() {
-        this.context = null;
-        this.graph = null;
-    }
-    Evaluator.prototype.initialize = function (_context) {
-        this.context = _context;
-        // Validate processedData as Graph
-        if (_context.processedData &&
-            Array.isArray(_context.processedData.nodes) &&
-            Array.isArray(_context.processedData.edges)) {
-            this.graph = _context.processedData;
-        }
-        else {
-            this.graph = null;
-        }
-    };
-    Evaluator.prototype.isReady = function () {
-        return !!this.graph;
-    };
-    Evaluator.prototype.evaluate = function (_expression, _config) {
-        if (!this.graph)
-            throw new Error('Evaluator not initialized');
-        try {
-            var tuples = runQuery(this.graph, _expression);
-            return new EvaluatorResultImpl(tuples, _expression);
-        }
-        catch (e) {
-            return new EvaluatorResultImpl({ error: { message: e.message } }, _expression);
-        }
-    };
-    return Evaluator;
-}());
-exports.Evaluator = Evaluator;
-function runQuery(graph, query) {
-    var _a;
-    var parsed = (0, parser_1.parse)(query);
-    var vars = parsed.vars, type = parsed.type, condition = parsed.condition;
-    var domain = graph.nodes.filter(function (n) { return n.type === type; }).map(function (n) { return n.id; });
-    var results = [];
-    for (var _i = 0, domain_1 = domain; _i < domain_1.length; _i++) {
-        var x = domain_1[_i];
-        for (var _b = 0, domain_2 = domain; _b < domain_2.length; _b++) {
-            var y = domain_2[_b];
-            var ctx = (_a = {}, _a[vars[0]] = x, _a[vars[1]] = y, _a);
-            if (evaluateCondition(condition, ctx, graph)) {
-                results.push([x, y]);
-            }
-        }
-    }
-    return results;
-}
-function evaluateCondition(expr, ctx, graph) {
-    if (expr.includes('='))
-        return evalEq(expr, ctx, graph);
-    if (expr.includes('in'))
-        return evalIn(expr, ctx, graph);
-    return false;
-}
-function evalEq(expr, ctx, graph) {
-    var _a = expr.split('=').map(function (x) { return x.trim(); }), lhs = _a[0], rhs = _a[1];
-    var leftSet = resolve(lhs, ctx, graph);
-    var rightSet = resolve(rhs, ctx, graph);
-    var rightVal = rightSet.values().next().value;
-    if (typeof rightVal === 'string') {
-        return leftSet.has(rightVal);
-    }
-    return false;
-}
-function evalIn(expr, ctx, graph) {
-    var _a = expr.split('in').map(function (s) { return s.trim(); }), x = _a[0], path = _a[1];
-    var xVal = ctx[x];
-    var steps = path.split('.');
-    var star = steps[steps.length - 1].endsWith('*');
-    var label = steps[steps.length - 1].replace('*', '');
-    var reachable = star ? closure(xVal, label, graph) : direct(xVal, label, graph);
-    return reachable.has(ctx[steps[0]]);
-}
-function resolve(term, ctx, graph) {
-    if (term.includes('.')) {
-        var _a = term.replace('*', '').split('.'), base = _a[0], label = _a[1];
-        var baseVal = ctx[base];
-        if (typeof baseVal === 'string') {
-            return closure(baseVal, label, graph);
-        }
-        else {
-            return new Set();
-        }
-    }
-    else {
-        var val = ctx[term];
-        if (typeof val === 'string') {
-            return new Set([val]);
-        }
-        else {
-            return new Set();
-        }
-    }
-}
-function direct(start, label, graph) {
-    return new Set(graph.edges.filter(function (e) { return e.from === start && e.label === label; }).map(function (e) { return e.to; }));
-}
-function closure(start, label, graph) {
-    var seen = new Set();
-    var stack = [start];
-    while (stack.length) {
-        var current = stack.pop();
-        if (!seen.has(current)) {
-            seen.add(current);
-            for (var _i = 0, _a = graph.edges; _i < _a.length; _i++) {
-                var edge = _a[_i];
-                if (edge.from === current && edge.label === label && !seen.has(edge.to)) {
-                    stack.push(edge.to);
-                }
-            }
-        }
-    }
-    return seen;
-}
-exports.default = Evaluator;

package/dist/index.js

@@ -1,23 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.default = void 0;
-var evaluator_1 = require("./evaluator");
-Object.defineProperty(exports, "default", { enumerable: true, get: function () { return __importDefault(evaluator_1).default; } });
-__exportStar(require("./types"), exports);

package/dist/interface.js

@@ -1,2 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });

package/dist/parser.js

@@ -1,11 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.parse = parse;
-function parse(query) {
-    var m = query.match(/\{\s*(.*?)\s*:\s*(\w+)\s*\|\s*(.*?)\s*\}/);
-    if (!m)
-        throw new Error("Parse error");
-    var _ = m[0], vars = m[1], type = m[2], cond = m[3];
-    var varList = vars.split(',').map(function (v) { return v.trim(); });
-    return { vars: varList, type: type, condition: cond };
-}

package/dist/types/evaluator.d.ts

@@ -1,12 +0,0 @@
-import IEvaluator, { IEvaluatorResult, EvaluatorConfig, EvaluationContext } from './interface';
-import { Graph } from './types';
-declare class Evaluator implements IEvaluator {
-    private context;
-    private graph;
-    initialize(_context: EvaluationContext): void;
-    isReady(): boolean;
-    evaluate(_expression: string, _config?: EvaluatorConfig): IEvaluatorResult;
-}
-export declare function runQuery(graph: Graph, query: string): string[][];
-export { Evaluator };
-export default Evaluator;

package/dist/types/index.d.ts

@@ -1,2 +0,0 @@
-export { default } from './evaluator';
-export * from './types';

package/dist/types/interface.d.ts

@@ -1,86 +0,0 @@
-/**
- * Result types for evaluator operations
- */
-export type EvaluatorResult = SingleValue | Tuple[] | ErrorResult;
-export type SingleValue = string | number | boolean;
-export type Tuple = SingleValue[];
-export interface ErrorResult {
-    error: {
-        message: string;
-        code?: string;
-        details?: Record<string, unknown>;
-    };
-}
-/**
- * Configuration options for evaluators
- */
-export interface EvaluatorConfig {
-    /** Enable debug mode for additional logging */
-    debug?: boolean;
-    /** Timeout for evaluation in milliseconds */
-    timeout?: number;
-    /** Maximum number of results to return */
-    maxResults?: number;
-    /** Instance index to evaluate against (for multi-instance contexts) */
-    instanceIndex?: number;
-}
-/**
- * Context data that evaluators operate on
- */
-export interface EvaluationContext {
-    /** Raw data source (XML, JSON, etc.) */
-    sourceData: string | Record<string, unknown>;
-    /** Parsed/processed data structure */
-    processedData?: Record<string, unknown>;
-    /** Source code associated with the data (if applicable) */
-    sourceCode?: string;
-    /** Additional metadata */
-    metadata?: Record<string, unknown>;
-}
-/**
- * Wrapped result that provides convenient access methods
- */
-export interface IEvaluatorResult {
-    /** Get a pretty-printed string representation */
-    prettyPrint(): string;
-    noResult(): boolean;
-    /** Get result as a single value (throws if not singleton) */
-    singleResult(): SingleValue;
-    /** Get selected atoms (arity 1 results) */
-    selectedAtoms(): string[];
-    /** Get selected pairs (arity 2 results, first and last elements) */
-    selectedTwoples(): string[][];
-    /** Get all selected tuples with all elements */
-    selectedTuplesAll(): string[][];
-    /** Check if result is an error */
-    isError(): boolean;
-    /** Check if result is a singleton value */
-    isSingleton(): boolean;
-    /** Get the original expression that produced this result */
-    getExpression(): string;
-    /** Get the raw result data */
-    getRawResult(): EvaluatorResult;
-}
-/**
- * Main evaluator interface that different evaluators must implement
- */
-interface IEvaluator {
-    /**
-     * Initialize the evaluator with context data
-     * @param _context The evaluation context containing data and metadata
-     */
-    initialize(_context: EvaluationContext): void;
-    /**
-     * Check if the evaluator is properly initialized and ready
-     */
-    isReady(): boolean;
-    /**
-     * Evaluate an expression and return the wrapped result
-     * @param _expression The expression to evaluate
-     * @param _config Optional configuration for this evaluation
-     * @returns Wrapped result with convenience methods
-     * @throws Error if the evaluation fails
-     */
-    evaluate(_expression: string, _config?: EvaluatorConfig): IEvaluatorResult;
-}
-export default IEvaluator;

package/dist/types/parser.d.ts

@@ -1,2 +0,0 @@
-import { Expr } from './types';
-export declare function parse(query: string): Expr;

package/dist/types/types.d.ts

@@ -1,18 +0,0 @@
-export interface Expr {
-    vars: string[];
-    type: string;
-    condition: string;
-}
-export interface Node {
-    id: string;
-    type: string;
-}
-export interface Edge {
-    from: string;
-    to: string;
-    label: string;
-}
-export interface Graph {
-    nodes: Node[];
-    edges: Edge[];
-}

package/dist/types.js

@@ -1,2 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });