@lintai/sdk 0.1.2 → 0.2.0

package/dist/index.d.ts

@@ -1,128 +1,63 @@
-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 = {
+export type Fragment = {
+    readonly __lintaiKind: "fragment";
+    readonly text: string;
+};
+export type Name = {
+    readonly __lintaiKind: "name";
+    readonly value: string;
+};
+export type DlValue = string | number | Name | Fragment;
+export type FactValue = string | number | Name;
+export type Facts = Record<string, FactValue[][]>;
+export type RowValue = string | number;
+export type Row = Record<string, RowValue>;
+export type MessageContext = {
     assertion_id: string;
 };
 export type RuleContext<Env, Setup> = {
     env: Env;
     setup: Setup;
 };
-export type AssertionValue = {
-    __lintaiKind: "assertion";
-    terminal: "isEmpty";
-    query: QueryValue;
+export type SetupContext<Env> = {
+    env: Env;
+    workspaceRoot: string;
 };
-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;
+declare function name(value: string): Name;
+declare function dlTag(strings: TemplateStringsArray, ...values: DlValue[]): Fragment;
+export type Dl = typeof dlTag & {
+    readonly name: typeof name;
 };
-type InternalRuleSpec<Env, Setup, Value> = {
+export declare const dl: Dl;
+export type ProgramInput<Env, Setup> = Fragment | ((ctx: RuleContext<Env, Setup>) => Fragment);
+type RuleSpec<Env, Setup> = {
     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> {
+    setupFn?: (ctx: SetupContext<Env>) => Setup | Promise<Setup>;
+    factsFn?: (ctx: RuleContext<Env, Setup>) => Facts;
+    programValue?: ProgramInput<Env, Setup>;
+    reportPredicates?: readonly string[];
+    expectNonEmptyPredicates?: readonly string[];
+    messageFn?: (row: Row, ctx: MessageContext) => string;
+};
+export declare class RuleDefinition<Env, Setup> {
     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>;
+    readonly setupFn?: RuleSpec<Env, Setup>["setupFn"];
+    readonly factsFn?: RuleSpec<Env, Setup>["factsFn"];
+    readonly programValue?: RuleSpec<Env, Setup>["programValue"];
+    readonly reportPredicates?: readonly string[];
+    readonly expectNonEmptyPredicates?: readonly string[];
+    readonly messageFn?: RuleSpec<Env, Setup>["messageFn"];
+    constructor(spec: RuleSpec<Env, Setup>);
+    version(versionValue: number): RuleDefinition<Env, Setup>;
+    setup<NextSetup>(setupFn: (ctx: SetupContext<Env>) => NextSetup | Promise<NextSetup>): RuleDefinition<Env, Awaited<NextSetup>>;
+    facts(factsFn: (ctx: RuleContext<Env, Setup>) => Facts): RuleDefinition<Env, Setup>;
+    program(programValue: ProgramInput<Env, Setup>): RuleDefinition<Env, Setup>;
+    report(...predicates: string[]): RuleDefinition<Env, Setup>;
+    expectNonEmpty(...predicates: string[]): RuleDefinition<Env, Setup>;
+    message(messageFn: (row: Row, ctx: MessageContext) => string): RuleDefinition<Env, Setup>;
 }
-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 declare function rule<Env = Record<string, any>, Setup = Record<string, never>>(id: string): RuleDefinition<Env, Setup>;
 export {};
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IAClB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,QAAQ,CAAC;AAExD,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAE/C,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AAElD,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAEvC,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAE3C,MAAM,MAAM,cAAc,GAAG;IAC5B,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,YAAY,CAAC,GAAG,IAAI;IAC/B,GAAG,EAAE,GAAG,CAAC;IACT,aAAa,EAAE,MAAM,CAAC;CACtB,CAAC;AAkFF,iBAAS,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAOjC;AAED,iBAAS,KAAK,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAO5E;AAED,MAAM,MAAM,EAAE,GAAG,OAAO,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,IAAI,CAAA;CAAE,CAAC;AAE/D,eAAO,MAAM,EAAE,EAAE,EAIV,CAAC;AAER,MAAM,MAAM,YAAY,CAAC,GAAG,EAAE,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC;AAE/F,KAAK,QAAQ,CAAC,GAAG,EAAE,KAAK,IAAI;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,KAAK,CAAC;IAClD,YAAY,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,wBAAwB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,cAAc,KAAK,MAAM,CAAC;CACtD,CAAC;AAEF,qBAAa,cAAc,CAAC,GAAG,EAAE,KAAK;IAUzB,OAAO,CAAC,QAAQ,CAAC,IAAI;IATjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;IACnD,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,cAAc,CAAC,CAAC;IAC7D,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;gBAE1B,IAAI,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;IAWvD,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;IAIzD,KAAK,CAAC,SAAS,EACd,OAAO,EAAE,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,GACjE,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAO1C,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,KAAK,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;IAInF,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;IAI3E,MAAM,CAAC,GAAG,UAAU,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;IAI3D,cAAc,CAAC,GAAG,UAAU,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;IAInE,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,cAAc,KAAK,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;CAGzF;AAED,wBAAgB,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC5E,EAAE,EAAE,MAAM,GACR,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAE5B"}

package/dist/index.js

@@ -1,16 +1,114 @@
-class RuleDefinition {
+const namePattern = /^[a-z][a-z0-9_]*(\/[a-z0-9_]+)*$/;
+function isTagged(value, kind) {
+    return (typeof value === "object" &&
+        value !== null &&
+        value.__lintaiKind === kind);
+}
+function describe(value) {
+    if (value === null)
+        return "null";
+    if (Array.isArray(value))
+        return "an array";
+    return typeof value;
+}
+function hex(code, width) {
+    return code.toString(16).padStart(width, "0");
+}
+function escapeString(value) {
+    let result = '"';
+    for (const char of value) {
+        const code = char.codePointAt(0) ?? 0;
+        switch (char) {
+            case "\\":
+                result += "\\\\";
+                break;
+            case '"':
+                result += '\\"';
+                break;
+            case "'":
+                result += "\\'";
+                break;
+            case "\n":
+                result += "\\n";
+                break;
+            case "\t":
+                result += "\\t";
+                break;
+            default:
+                if (code < 0x20 || code === 0x7f) {
+                    result += `\\x${hex(code, 2)}`;
+                }
+                else if (code > 0x7e) {
+                    result += `\\u{${hex(code, 4)}}`;
+                }
+                else {
+                    result += char;
+                }
+        }
+    }
+    return `${result}"`;
+}
+function formatNumber(value) {
+    if (!Number.isFinite(value)) {
+        throw new TypeError(`dl: cannot interpolate non-finite number ${value}`);
+    }
+    if (Number.isInteger(value)) {
+        if (!Number.isSafeInteger(value)) {
+            throw new TypeError(`dl: integer ${value} is outside the safe integer range`);
+        }
+        return String(value);
+    }
+    const text = String(value);
+    if (text.includes("e")) {
+        throw new TypeError(`dl: cannot interpolate ${value}; use a number without an exponent`);
+    }
+    return text;
+}
+function formatValue(value) {
+    if (typeof value === "string")
+        return escapeString(value);
+    if (typeof value === "number")
+        return formatNumber(value);
+    if (isTagged(value, "fragment"))
+        return value.text;
+    if (isTagged(value, "name"))
+        return `/${value.value}`;
+    throw new TypeError(`dl: cannot interpolate ${describe(value)}; use a string, a finite number, dl.name() or a dl fragment`);
+}
+function name(value) {
+    if (typeof value !== "string" || !namePattern.test(value)) {
+        throw new TypeError(`dl.name: ${JSON.stringify(value)} is not a valid name; it must match ${namePattern}`);
+    }
+    return Object.freeze({ __lintaiKind: "name", value });
+}
+function dlTag(strings, ...values) {
+    let text = strings[0] ?? "";
+    for (let index = 0; index < values.length; index++) {
+        text += formatValue(values[index]);
+        text += strings[index + 1] ?? "";
+    }
+    return Object.freeze({ __lintaiKind: "fragment", text });
+}
+export const dl = Object.defineProperty((strings, ...values) => dlTag(strings, ...values), "name", { value: name, enumerable: true });
+export class RuleDefinition {
     spec;
     id;
     versionValue;
     setupFn;
-    assertFn;
+    factsFn;
+    programValue;
+    reportPredicates;
+    expectNonEmptyPredicates;
     messageFn;
     constructor(spec) {
         this.spec = spec;
         this.id = spec.id;
         this.versionValue = spec.versionValue;
         this.setupFn = spec.setupFn;
-        this.assertFn = spec.assertFn;
+        this.factsFn = spec.factsFn;
+        this.programValue = spec.programValue;
+        this.reportPredicates = spec.reportPredicates;
+        this.expectNonEmptyPredicates = spec.expectNonEmptyPredicates;
         this.messageFn = spec.messageFn;
     }
     version(versionValue) {
@@ -19,71 +117,26 @@ class RuleDefinition {
     setup(setupFn) {
         return new RuleDefinition({
             ...this.spec,
-            setupFn,
+            setupFn: setupFn,
         });
     }
-    assert(assertFn) {
-        return new RuleDefinition({
-            ...this.spec,
-            assertFn,
-        });
+    facts(factsFn) {
+        return new RuleDefinition({ ...this.spec, factsFn });
+    }
+    program(programValue) {
+        return new RuleDefinition({ ...this.spec, programValue });
+    }
+    report(...predicates) {
+        return new RuleDefinition({ ...this.spec, reportPredicates: predicates });
+    }
+    expectNonEmpty(...predicates) {
+        return new RuleDefinition({ ...this.spec, expectNonEmptyPredicates: predicates });
     }
     message(messageFn) {
-        return new RuleDefinition({
-            ...this.spec,
-            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

@@ -1 +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"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAkCA,MAAM,WAAW,GAAG,kCAAkC,CAAC;AAEvD,SAAS,QAAQ,CAAC,KAAc,EAAE,IAAyB;IAC1D,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAAoC,CAAC,YAAY,KAAK,IAAI,CAC3D,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5C,OAAO,OAAO,KAAK,CAAC;AACrB,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa;IACvC,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IAClC,IAAI,MAAM,GAAG,GAAG,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,IAAI;gBACR,MAAM,IAAI,MAAM,CAAC;gBACjB,MAAM;YACP,KAAK,GAAG;gBACP,MAAM,IAAI,KAAK,CAAC;gBAChB,MAAM;YACP,KAAK,GAAG;gBACP,MAAM,IAAI,KAAK,CAAC;gBAChB,MAAM;YACP,KAAK,IAAI;gBACR,MAAM,IAAI,KAAK,CAAC;gBAChB,MAAM;YACP,KAAK,IAAI;gBACR,MAAM,IAAI,KAAK,CAAC;gBAChB,MAAM;YACP;gBACC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClC,MAAM,IAAI,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChC,CAAC;qBAAM,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;oBACxB,MAAM,IAAI,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;gBAClC,CAAC;qBAAM,CAAC;oBACP,MAAM,IAAI,IAAI,CAAC;gBAChB,CAAC;QACH,CAAC;IACF,CAAC;IACD,OAAO,GAAG,MAAM,GAAG,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,4CAA4C,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,SAAS,CAAC,eAAe,KAAK,oCAAoC,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,0BAA0B,KAAK,oCAAoC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAAE,OAAQ,KAAkB,CAAC,IAAI,CAAC;IACjE,IAAI,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAE,OAAO,IAAK,KAAc,CAAC,KAAK,EAAE,CAAC;IAChE,MAAM,IAAI,SAAS,CAClB,0BAA0B,QAAQ,CAAC,KAAK,CAAC,6DAA6D,CACtG,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,SAAS,CAClB,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,uCAAuC,WAAW,EAAE,CACrF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,KAAK,CAAC,OAA6B,EAAE,GAAG,MAAiB;IACjE,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1D,CAAC;AAID,MAAM,CAAC,MAAM,EAAE,GAAO,MAAM,CAAC,cAAc,CAC1C,CAAC,OAA6B,EAAE,GAAG,MAAiB,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,EAClF,MAAM,EACN,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAC3B,CAAC;AAeR,MAAM,OAAO,cAAc;IAUG;IATpB,EAAE,CAAS;IACX,YAAY,CAAU;IACtB,OAAO,CAAmC;IAC1C,OAAO,CAAmC;IAC1C,YAAY,CAAwC;IACpD,gBAAgB,CAAqB;IACrC,wBAAwB,CAAqB;IAC7C,SAAS,CAAqC;IAEvD,YAA6B,IAA0B;QAA1B,SAAI,GAAJ,IAAI,CAAsB;QACtD,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,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,wBAAwB,GAAG,IAAI,CAAC,wBAAwB,CAAC;QAC9D,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,OAAmE;QAEnE,OAAO,IAAI,cAAc,CAA0B;YAClD,GAAI,IAAI,CAAC,IAAqD;YAC9D,OAAO,EAAE,OAAuD;SAChE,CAAC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAgD;QACrD,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,CAAC,YAAsC;QAC7C,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,GAAG,UAAoB;QAC7B,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,cAAc,CAAC,GAAG,UAAoB;QACrC,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,wBAAwB,EAAE,UAAU,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,OAAO,CAAC,SAAoD;QAC3D,OAAO,IAAI,cAAc,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACxD,CAAC;CACD;AAED,MAAM,UAAU,IAAI,CACnB,EAAU;IAEV,OAAO,IAAI,cAAc,CAAa,EAAE,EAAE,EAAE,CAAC,CAAC;AAC/C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lintai/sdk",
-  "version": "0.1.2",
+  "version": "0.2.0",
   "type": "module",
   "license": "MIT",
   "repository": {
@@ -13,7 +13,8 @@
     "url": "https://github.com/bigbizze/lintai/issues"
   },
   "files": [
-    "dist"
+    "dist",
+    "!dist/**/*.test.*"
   ],
   "exports": {
     ".": {
@@ -35,6 +36,7 @@
   },
   "scripts": {
     "build": "tsc",
-    "dev": "tsc --watch"
+    "dev": "tsc --watch",
+    "test": "node --test 'dist/**/*.test.js'"
   }
 }