@rsconcept/domain 1.0.0 → 1.2.0

package/dist/rslang/semantic/type-auditor.d.ts

@@ -1,73 +1,69 @@
-import { AstNode } from '../../parsing/ast.js';
-import { ErrorReporter } from '../error.js';
-import { TypeContext, ExpressionType } from './typification.js';
-import '@lezer/common';
-import '../../shared/branded.js';
-
-/**
- * Module: Type auditor for AST type checking.
- */
+import { t as AstNode } from "../../ast-C8sIpKdL.js";
+import { _ as TypeContext, f as ExpressionType } from "../../typification-Dk-fisgO.js";
+import { t as ErrorReporter } from "../../error-E1LVq_3w.js";
 
+//#region src/rslang/semantic/type-auditor.d.ts
 /** Type auditor for AST type checking. */
 declare class TypeAuditor {
-    private static readonly TYPE_DEDUCTION_DEPTH;
-    private context;
-    private reporter?;
-    private locals;
-    private annotateTypes;
-    private annotateErrors;
-    constructor(context: TypeContext);
-    run(ast: AstNode, annotateTypes: boolean, reporter?: ErrorReporter, annotateErrors?: boolean): ExpressionType | null;
-    private clear;
-    private dispatchDeclare;
-    private processDeclare;
-    private declareLocal;
-    private declareTuple;
-    private declareEnumeration;
-    private dispatchVisit;
-    private processVisit;
-    private onError;
-    private visitChild;
-    private visitChildDeclaration;
-    private visitAllAndReturn;
-    private childTypification;
-    private childLogic;
-    private childTypeDebool;
-    private visitLocal;
-    private visitGlobal;
-    private visitFunctionDefinition;
-    private visitFunctionCall;
-    private visitRadical;
-    private visitEmptySet;
-    private visitArgument;
-    private visitCard;
-    private visitArithmetic;
-    private visitIntegerPredicate;
-    private visitQuantifier;
-    private visitNegation;
-    private visitLogicBinary;
-    private visitEquals;
-    private visitSetexprPredicate;
-    private visitDecart;
-    private visitBoolean;
-    private visitTuple;
-    private visitEnumeration;
-    private visitBool;
-    private visitDebool;
-    private visitSetexprBinary;
-    private visitProjectSet;
-    private visitProjectTuple;
-    private visitFilter;
-    private visitReduce;
-    private visitArgumentsEnum;
-    private visitDeclarative;
-    private visitImperative;
-    private visitIterate;
-    private visitAssign;
-    private visitRecursion;
-    private isSubset;
-    private isInsideFuncArgument;
-    private checkFuncArguments;
+  private static readonly TYPE_DEDUCTION_DEPTH;
+  private context;
+  private reporter?;
+  private locals;
+  private annotateTypes;
+  private annotateErrors;
+  constructor(context: TypeContext);
+  run(ast: AstNode, annotateTypes: boolean, reporter?: ErrorReporter, annotateErrors?: boolean): ExpressionType | null;
+  private clear;
+  private dispatchDeclare;
+  private processDeclare;
+  private declareLocal;
+  private declareTuple;
+  private declareEnumeration;
+  private dispatchVisit;
+  private processVisit;
+  private onError;
+  private visitChild;
+  private visitChildDeclaration;
+  private visitAllAndReturn;
+  private childTypification;
+  private childLogic;
+  private childTypeDebool;
+  private visitLocal;
+  private visitGlobal;
+  private visitFunctionDefinition;
+  private visitFunctionCall;
+  private visitRadical;
+  private visitEmptySet;
+  private visitArgument;
+  private visitCard;
+  private visitArithmetic;
+  private visitIntegerPredicate;
+  private visitQuantifier;
+  private visitNegation;
+  private visitLogicBinary;
+  private visitEquals;
+  private visitSetexprPredicate;
+  private visitDecart;
+  private visitBoolean;
+  private visitTuple;
+  private visitEnumeration;
+  private visitBool;
+  private visitDebool;
+  private visitSetexprBinary;
+  private visitProjectSet;
+  private visitProjectTuple;
+  private visitFilter;
+  private visitReduce;
+  private visitArgumentsEnum;
+  private visitDeclarative;
+  private visitImperative;
+  private visitIterate;
+  private visitAssign;
+  private visitRecursion;
+  private isSubset;
+  private isInsideFuncArgument;
+  private checkFuncArguments;
 }
-
+//#endregion
 export { TypeAuditor };
+//# sourceMappingURL=type-auditor.d.ts.map