yukigo 0.1.0 → 0.2.0

package/dist/analyzer/inspections/{generic.d.ts → generic/generic.d.ts}

@@ -1,35 +1,43 @@
-import { ArithmeticBinaryOperation, ArithmeticUnaryOperation, Assignment, ASTNode, Attribute, Call, Catch, EntryPoint, Fact, Function, If, LogicalBinaryOperation, LogicalUnaryOperation, Method, Print, Procedure, Raise, Record as RecordNode, Rule, SimpleType, SymbolPrimitive, TraverseVisitor, Try, TypeAlias, TypeSignature, TypeVar, Variable } from "@yukigo/ast";
-import { InspectionMap } from "../utils.js";
-export declare class Assigns extends TraverseVisitor {
+import { ArithmeticBinaryOperation, ArithmeticUnaryOperation, Assignment, ASTNode, Attribute, Call, Catch, Class, EntryPoint, Equation, Fact, Function, If, LogicalBinaryOperation, LogicalUnaryOperation, Method, Object, Print, Procedure, Raise, Record as RecordNode, Rule, SimpleType, SymbolPrimitive, TraverseVisitor, Try, TypeAlias, TypeSignature, TypeVar, Variable } from "yukigo-ast";
+import { VisitorConstructor, ScopedVisitor } from "../../utils.js";
+export declare class Assigns extends ScopedVisitor {
     private readonly targetIdentifier;
-    constructor(targetIdentifier: string);
+    constructor(targetIdentifier: string, scope?: string);
     visitVariable(node: Variable): void;
     visitAttribute(node: Attribute): void;
     visitAssignment(node: Assignment): void;
 }
-export declare class Calls extends TraverseVisitor {
+export declare class Calls extends ScopedVisitor {
     private readonly targetCallee;
-    constructor(targetCallee: string);
+    constructor(targetCallee: string, scope?: string);
     visitCall(node: Call): void;
 }
-export declare class Declares extends TraverseVisitor {
+export declare class Declares extends ScopedVisitor {
     private readonly targetIdentifier;
-    constructor(targetIdentifier: string);
-    visit(node: ASTNode): void;
+    constructor(targetIdentifier: string, scopeName?: string);
+    private check;
+    visitFunction(node: Function): void;
+    visitMethod(node: Method): void;
+    visitProcedure(node: Procedure): void;
+    visitRule(node: Rule): void;
+    visitFact(node: Fact): void;
+    visitVariable(node: Variable): void;
+    visitAttribute(node: Attribute): void;
+    visitTypeAlias(node: TypeAlias): void;
+    visitTypeSignature(node: TypeSignature): void;
 }
-export declare class DeclaresComputation extends TraverseVisitor {
+export declare class DeclaresComputation extends ScopedVisitor {
     private readonly callName;
-    constructor(callName: string);
+    constructor(callName: string, scope?: string);
     visitFunction(node: Function): void;
     visitMethod(node: Method): void;
     visitProcedure(node: Procedure): void;
     visitFact(node: Fact): void;
     visitRule(node: Rule): void;
 }
-export declare class DeclaresComputationWithArity extends TraverseVisitor {
-    private readonly targetBinding;
+export declare class DeclaresComputationWithArity extends ScopedVisitor {
     private readonly targetArity;
-    constructor(targetBinding: string, targetArity: number);
+    constructor(targetArity: string, scope?: string);
     visitFunction(node: Function): void;
     visitMethod(node: Method): void;
     visitProcedure(node: Procedure): void;
@@ -39,14 +47,14 @@ export declare class DeclaresComputationWithArity extends TraverseVisitor {
 export declare class DeclaresEntryPoint extends TraverseVisitor {
     visitEntryPoint(node: EntryPoint): void;
 }
-export declare class DeclaresFunction extends TraverseVisitor {
+export declare class DeclaresFunction extends ScopedVisitor {
     private readonly targetBinding;
-    constructor(targetBinding: string);
+    constructor(targetBinding: string, scope?: string);
     visitFunction(node: Function): void;
 }
-export declare class DeclaresRecursively extends DeclaresComputation {
+export declare class DeclaresRecursively extends ScopedVisitor {
     private readonly targetBinding;
-    constructor(targetBinding: string);
+    constructor(targetBinding: string, scope?: string);
     visitFunction(node: Function): void;
     visitMethod(node: Method): void;
     visitProcedure(node: Procedure): void;
@@ -54,6 +62,17 @@ export declare class DeclaresRecursively extends DeclaresComputation {
     visitRule(node: Rule): void;
     visitNested(node: ASTNode): void;
 }
+export declare class HasDirectRecursion extends TraverseVisitor {
+    private readonly binding;
+    private isInsideBody;
+    constructor(binding: string);
+    visitFunction(node: Function): void;
+    visitRule(node: Rule): void;
+    visitProcedure(node: Procedure): void;
+    visitMethod(node: Method): void;
+    visitEquation(node: Equation): void;
+    visitSymbolPrimitive(node: SymbolPrimitive): void;
+}
 export declare class DeclaresTypeAlias extends TraverseVisitor {
     private readonly typeAliasName;
     constructor(typeAliasName: string);
@@ -64,44 +83,50 @@ export declare class DeclaresTypeSignature extends TraverseVisitor {
     constructor(targetBinding: string);
     visitTypeSignature(node: TypeSignature): void;
 }
-export declare class DeclaresVariable extends TraverseVisitor {
+export declare class DeclaresVariable extends ScopedVisitor {
     private readonly targetBinding;
-    constructor(targetBinding: string);
+    constructor(targetBinding: string, scope?: string);
     visitVariable(node: Variable): void;
 }
-export declare class Raises extends TraverseVisitor {
+export declare class Raises extends ScopedVisitor {
+    constructor(scope: string);
     visitRaise(node: Raise): void;
 }
-export declare class Uses extends TraverseVisitor {
+export declare class Uses extends ScopedVisitor {
     private readonly targetBinding;
-    constructor(targetBinding: string);
+    constructor(targetBinding: string, scope?: string);
     visitSymbolPrimitive(node: SymbolPrimitive): void;
 }
-export declare class UsesArithmetic extends TraverseVisitor {
+export declare class UsesArithmetic extends ScopedVisitor {
+    constructor(scope?: string);
     visitArithmeticBinaryOperation(node: ArithmeticBinaryOperation): void;
     visitArithmeticUnaryOperation(node: ArithmeticUnaryOperation): void;
 }
-export declare class UsesConditional extends TraverseVisitor {
+export declare class UsesConditional extends ScopedVisitor {
     visitIf(node: If): void;
 }
-export declare class UsesLogic extends TraverseVisitor {
+export declare class UsesLogic extends ScopedVisitor {
+    constructor(scope?: string);
     visitLogicalBinaryOperation(node: LogicalBinaryOperation): void;
     visitLogicalUnaryOperation(node: LogicalUnaryOperation): void;
 }
-export declare class UsesPrint extends TraverseVisitor {
+export declare class UsesPrint extends ScopedVisitor {
+    constructor(scope?: string);
     visitPrint(node: Print): void;
 }
-export declare class UsesType extends TraverseVisitor {
+export declare class UsesType extends ScopedVisitor {
     private readonly targetBinding;
-    constructor(targetBinding: string);
+    constructor(targetBinding: string, scope?: string);
     visitTypeSignature(node: TypeSignature): void;
     visitSimpleType(node: SimpleType): void;
     visitTypeVar(node: TypeVar): void;
 }
-export declare class HasBinding extends TraverseVisitor {
-    private readonly targetBinding;
-    constructor(targetBinding: string);
+export declare class HasBinding extends ScopedVisitor {
     visitFunction(node: Function): void;
+    visitObject(node: Object): void;
+    visitClass(node: Class): void;
+    visitRule(node: Rule): void;
+    visitFact(node: Fact): void;
     visitTypeAlias(node: TypeAlias): void;
     visitTypeSignature(node: TypeSignature): void;
     visitRecord(node: RecordNode): void;
@@ -118,34 +143,36 @@ export declare class SubordinatesDeclarationsToEntryPoint extends TraverseVisito
     visitEntryPoint(node: EntryPoint): void;
 }
 export declare class TypesAs extends TraverseVisitor {
-    private bindingName;
     private typeName;
-    constructor(bindingName: string, typeName: string);
+    private bindingName;
+    constructor(typeName: string, bindingName: string);
     visitTypeSignature(node: TypeSignature): void;
 }
 export declare class TypesParameterAs extends TraverseVisitor {
-    private bindingName;
     private paramIndex;
     private typeName;
-    constructor(bindingName: string, paramIndex: number, typeName: string);
+    private bindingName;
+    constructor(paramIndex: number, typeName: string, bindingName: string);
     visitTypeSignature(node: TypeSignature): void;
 }
 export declare class TypesReturnAs extends TraverseVisitor {
-    private bindingName;
     private typeName;
-    constructor(bindingName: string, typeName: string);
+    private bindingName;
+    constructor(typeName: string, bindingName: string);
     visitTypeSignature(node: TypeSignature): void;
 }
-export declare class Rescues extends TraverseVisitor {
+export declare class Rescues extends ScopedVisitor {
     private exceptionName;
-    constructor(exceptionName: string);
+    constructor(exceptionName: string, scope?: string);
     visitCatch(node: Catch): void;
 }
-export declare class UsesExceptionHandling extends TraverseVisitor {
+export declare class UsesExceptionHandling extends ScopedVisitor {
+    constructor(scope?: string);
     visitTry(node: Try): void;
 }
-export declare class UsesExceptions extends TraverseVisitor {
+export declare class UsesExceptions extends ScopedVisitor {
+    constructor(scope?: string);
     visitTry(node: Try): void;
     visitRaise(node: Raise): void;
 }
-export declare const genericInspections: InspectionMap;
+export declare const genericInspections: Record<string, VisitorConstructor>;