@lintai/sdk 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,128 @@
+export type Predicate<T = any> = (value: T) => boolean;
+type QueryKind = "functions" | "imports" | "calls" | "typeRefs";
+type QueryOperation = {
+    type: "in";
+    value: string;
+} | {
+    type: "from";
+    value: string;
+} | {
+    type: "to";
+    value: string;
+} | {
+    type: "where";
+    handler: Predicate<any>;
+} | {
+    type: "calling";
+    query: QueryValue;
+} | {
+    type: "transitivelyCalling";
+    query: QueryValue;
+};
+export type FunctionView = {
+    name: string;
+    kind: string;
+    filePath: string;
+    containerName: string;
+    semanticKey: string;
+    containsAwait: boolean;
+    isExported: boolean;
+    isAsync: boolean;
+    parameterCount: number;
+    returnTypeText: string;
+    parameterTypeTexts: string[];
+    sourceLocation: SourceLocation;
+};
+export type ImportedSymbolView = {
+    name: string;
+    kind: "default" | "namespace" | "named";
+    isTypeOnly: boolean;
+};
+export type ImportEdgeView = {
+    specifier: string;
+    fromPath: string;
+    toPath: string;
+    semanticKey: string;
+    importedSymbols: ImportedSymbolView[];
+    hasDefaultImport: boolean;
+    hasNamespaceImport: boolean;
+    hasNamedImports: boolean;
+    isTypeOnly: boolean;
+    sourceLocation: SourceLocation;
+};
+export type CallEdgeView = {
+    fromName: string;
+    toName: string;
+    fromPath: string;
+    toPath: string;
+    semanticKey: string;
+    sourceLocation: SourceLocation;
+};
+export type TypeRefView = {
+    name: string;
+    filePath: string;
+    targetPath: string;
+    semanticKey: string;
+    sourceLocation: SourceLocation;
+};
+export type SourceLocation = {
+    file: string;
+    startLine: number;
+    startColumn: number;
+    endLine: number;
+    endColumn: number;
+};
+export type AssertionContext = {
+    assertion_id: string;
+};
+export type RuleContext<Env, Setup> = {
+    env: Env;
+    setup: Setup;
+};
+export type AssertionValue = {
+    __lintaiKind: "assertion";
+    terminal: "isEmpty";
+    query: QueryValue;
+};
+export type QueryValue = {
+    __lintaiKind: "query";
+    entity: QueryKind;
+    ops: QueryOperation[];
+    in(pattern: string): QueryValue;
+    from(pattern: string): QueryValue;
+    to(pattern: string): QueryValue;
+    where(predicate: Predicate<any>): QueryValue;
+    calling(other: QueryValue): QueryValue;
+    transitivelyCalling(other: QueryValue): QueryValue;
+    isEmpty(): AssertionValue;
+};
+type InternalRuleSpec<Env, Setup, Value> = {
+    id: string;
+    versionValue?: number;
+    setupFn?: (() => Setup) | ((ctx: {
+        env: Env;
+        workspaceRoot: string;
+    }) => Setup);
+    assertFn?: (ctx: RuleContext<Env, Setup>) => AssertionValue | Record<string, AssertionValue>;
+    messageFn?: (value: Value, ctx: AssertionContext) => string;
+};
+declare class RuleDefinition<Env, Setup, Value> {
+    private readonly spec;
+    readonly id: string;
+    readonly versionValue?: number;
+    readonly setupFn?: InternalRuleSpec<Env, Setup, Value>["setupFn"];
+    readonly assertFn?: InternalRuleSpec<Env, Setup, Value>["assertFn"];
+    readonly messageFn?: InternalRuleSpec<Env, Setup, Value>["messageFn"];
+    constructor(spec: InternalRuleSpec<Env, Setup, Value>);
+    version(versionValue: number): RuleDefinition<Env, Setup, Value>;
+    setup<NextSetup>(setupFn: InternalRuleSpec<Env, NextSetup, Value>["setupFn"]): RuleDefinition<Env, NextSetup, Value>;
+    assert(assertFn: InternalRuleSpec<Env, Setup, Value>["assertFn"]): RuleDefinition<Env, Setup, Value>;
+    message(messageFn: InternalRuleSpec<Env, Setup, Value>["messageFn"]): RuleDefinition<Env, Setup, Value>;
+}
+export declare function rule<Env = Record<string, any>, Setup = Record<string, never>, Value = any>(id: string): RuleDefinition<Env, Setup, Value>;
+export declare function functions(): QueryValue;
+export declare function imports(): QueryValue;
+export declare function calls(): QueryValue;
+export declare function typeRefs(): QueryValue;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;AAEvD,KAAK,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAC;AAEhE,KAAK,cAAc,GAChB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,WAAW,GAAG,OAAO,CAAC;IACxC,UAAU,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,kBAAkB,EAAE,CAAC;IACtC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,OAAO,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,WAAW,CAAC,GAAG,EAAE,KAAK,IAAI;IACrC,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,KAAK,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC5B,YAAY,EAAE,WAAW,CAAC;IAC1B,QAAQ,EAAE,SAAS,CAAC;IACpB,KAAK,EAAE,UAAU,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,EAAE,SAAS,CAAC;IAClB,GAAG,EAAE,cAAc,EAAE,CAAC;IACtB,EAAE,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAAC;IAClC,EAAE,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;IAC7C,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,OAAO,IAAI,cAAc,CAAC;CAC1B,CAAC;AAEF,KAAK,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,IAAI;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE;QAAE,GAAG,EAAE,GAAG,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,KAAK,KAAK,CAAC,CAAC;IAChF,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC7F,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,KAAK,MAAM,CAAC;CAC5D,CAAC;AAEF,cAAM,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK;IAOzB,OAAO,CAAC,QAAQ,CAAC,IAAI;IANjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;IAClE,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;IACpE,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;gBAEzC,IAAI,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;IAQtE,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;IAIhE,KAAK,CAAC,SAAS,EACd,OAAO,EAAE,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,GACzD,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC;IAOxC,MAAM,CACL,QAAQ,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,GACvD,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;IAOpC,OAAO,CACN,SAAS,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,GACzD,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;CAMpC;AAuCD,wBAAgB,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,GAAG,EACzF,EAAE,EAAE,MAAM,GACR,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAEnC;AAED,wBAAgB,SAAS,IAAI,UAAU,CAEtC;AAED,wBAAgB,OAAO,IAAI,UAAU,CAEpC;AAED,wBAAgB,KAAK,IAAI,UAAU,CAElC;AAED,wBAAgB,QAAQ,IAAI,UAAU,CAErC"}

package/dist/index.js

@@ -0,0 +1,89 @@
+class RuleDefinition {
+    spec;
+    id;
+    versionValue;
+    setupFn;
+    assertFn;
+    messageFn;
+    constructor(spec) {
+        this.spec = spec;
+        this.id = spec.id;
+        this.versionValue = spec.versionValue;
+        this.setupFn = spec.setupFn;
+        this.assertFn = spec.assertFn;
+        this.messageFn = spec.messageFn;
+    }
+    version(versionValue) {
+        return new RuleDefinition({ ...this.spec, versionValue });
+    }
+    setup(setupFn) {
+        return new RuleDefinition({
+            ...this.spec,
+            setupFn,
+        });
+    }
+    assert(assertFn) {
+        return new RuleDefinition({
+            ...this.spec,
+            assertFn,
+        });
+    }
+    message(messageFn) {
+        return new RuleDefinition({
+            ...this.spec,
+            messageFn,
+        });
+    }
+}
+function createQuery(entity, ops = []) {
+    const query = {
+        __lintaiKind: "query",
+        entity,
+        ops,
+        in(pattern) {
+            return createQuery(entity, [...ops, { type: "in", value: pattern }]);
+        },
+        from(pattern) {
+            return createQuery(entity, [...ops, { type: "from", value: pattern }]);
+        },
+        to(pattern) {
+            return createQuery(entity, [...ops, { type: "to", value: pattern }]);
+        },
+        where(predicate) {
+            return createQuery(entity, [...ops, { type: "where", handler: predicate }]);
+        },
+        calling(other) {
+            return createQuery(entity, [...ops, { type: "calling", query: other }]);
+        },
+        transitivelyCalling(other) {
+            return createQuery(entity, [
+                ...ops,
+                { type: "transitivelyCalling", query: other },
+            ]);
+        },
+        isEmpty() {
+            return {
+                __lintaiKind: "assertion",
+                terminal: "isEmpty",
+                query,
+            };
+        },
+    };
+    return query;
+}
+export function rule(id) {
+    return new RuleDefinition({ id });
+}
+export function functions() {
+    return createQuery("functions");
+}
+export function imports() {
+    return createQuery("imports");
+}
+export function calls() {
+    return createQuery("calls");
+}
+export function typeRefs() {
+    return createQuery("typeRefs");
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AA2GA,MAAM,cAAc;IAOU;IANpB,EAAE,CAAS;IACX,YAAY,CAAU;IACtB,OAAO,CAAkD;IACzD,QAAQ,CAAmD;IAC3D,SAAS,CAAoD;IAEtE,YAA6B,IAAyC;QAAzC,SAAI,GAAJ,IAAI,CAAqC;QACrE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,CAAC;IAED,OAAO,CAAC,YAAoB;QAC3B,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CACJ,OAA2D;QAE3D,OAAO,IAAI,cAAc,CAAwB;YAChD,GAAI,IAAI,CAAC,IAA2D;YACpE,OAAO;SACP,CAAC,CAAC;IACJ,CAAC;IAED,MAAM,CACL,QAAyD;QAEzD,OAAO,IAAI,cAAc,CAAC;YACzB,GAAG,IAAI,CAAC,IAAI;YACZ,QAAQ;SACR,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,CACN,SAA2D;QAE3D,OAAO,IAAI,cAAc,CAAC;YACzB,GAAG,IAAI,CAAC,IAAI;YACZ,SAAS;SACT,CAAC,CAAC;IACJ,CAAC;CACD;AAED,SAAS,WAAW,CAAC,MAAiB,EAAE,MAAwB,EAAE;IACjE,MAAM,KAAK,GAAe;QACzB,YAAY,EAAE,OAAO;QACrB,MAAM;QACN,GAAG;QACH,EAAE,CAAC,OAAe;YACjB,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,OAAe;YACnB,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,EAAE,CAAC,OAAe;YACjB,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,KAAK,CAAC,SAAyB;YAC9B,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,CAAC,KAAiB;YACxB,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,mBAAmB,CAAC,KAAiB;YACpC,OAAO,WAAW,CAAC,MAAM,EAAE;gBAC1B,GAAG,GAAG;gBACN,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,EAAE;aAC7C,CAAC,CAAC;QACJ,CAAC;QACD,OAAO;YACN,OAAO;gBACN,YAAY,EAAE,WAAW;gBACzB,QAAQ,EAAE,SAAS;gBACnB,KAAK;aACL,CAAC;QACH,CAAC;KACD,CAAC;IACF,OAAO,KAAK,CAAC;AACd,CAAC;AAED,MAAM,UAAU,IAAI,CACnB,EAAU;IAEV,OAAO,IAAI,cAAc,CAAoB,EAAE,EAAE,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,SAAS;IACxB,OAAO,WAAW,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,OAAO;IACtB,OAAO,WAAW,CAAC,SAAS,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,KAAK;IACpB,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,QAAQ;IACvB,OAAO,WAAW,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC"}

package/package.json

@@ -0,0 +1,30 @@
+{
+  "name": "@lintai/sdk",
+  "version": "0.1.0",
+  "type": "module",
+  "files": [
+    "dist"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "dependencies": {
+    "zod": "^3.24.2"
+  },
+  "devDependencies": {
+    "typescript": "^5.7.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch"
+  }
+}