@artel/artc 0.6.25222 → 0.6.25224

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25222",
+  "version": "0.6.25224",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",

package/build/types/analysis/ControlFlowGraphBuilder.d.ts

@@ -1,121 +0,0 @@
-import { Diagnostic } from '../diagnostic/Diagnostic.js';
-import { SourceFile } from '../project/SourceFile.js';
-import * as tree from '../tree/index.js';
-export declare class ControlFlowGraphBuilder {
-    private readonly _sourceFile;
-    private readonly _controlFlowNodeByReference;
-    private readonly _unreachableCodeDiagnostics;
-    private _isInRebuildingFinallyClauseGraphMode;
-    private _currentPredecessor;
-    private _currentContinueLoopTarget;
-    private _currentBreakLoopTarget;
-    private _currentErrorTarget;
-    private _currentReturnTarget;
-    constructor(sourceFile: SourceFile);
-    build(): ControlFlowGraphBuildResult;
-    private visitNode;
-    private visitAssignmentStatement;
-    private visitIfStatement;
-    private visitWhileStatement;
-    private visitLoopStatement;
-    private visitForStatement;
-    private visitContinueLoopStatement;
-    private visitBreakLoopStatement;
-    private visitSwitchStatement;
-    private visitTryStatement;
-    private visitReturnStatement;
-    private visitErrorStatement;
-    private visitLocalVariableDeclaration;
-    private visitWhenTernaryExpression;
-    private visitCondition;
-    private visitBinaryExpression;
-    private visitPrefixUnaryExpressionInCondition;
-    private visitIsExpressionInCondition;
-    private setAssignmentAsCurrentPredecessor;
-    private visitChildren;
-    private addUnreachableCodeDiagnostic;
-}
-export declare class ControlFlowGraphBuildResult {
-    readonly controlFlowNodeByReference: ReadonlyMap<NarrowableReferenceExpression, ControlFlowNode>;
-    readonly unreachableCodeDiagnostics: readonly Diagnostic[];
-    constructor(controlFlowNodeByReference: ReadonlyMap<NarrowableReferenceExpression, ControlFlowNode>, unreachableCodeDiagnostics: readonly Diagnostic[]);
-}
-export type NarrowableExpression = tree.IdentifierExpression | tree.PropertyAccessExpression | tree.ObjectExpression;
-export declare function isNarrowableExpression(node: tree.Node): node is tree.Expression;
-export type NarrowableReferenceExpression = tree.IdentifierExpression | tree.PropertyAccessExpression | tree.ObjectExpression;
-export declare function isNarrowableReferenceExpression(node: tree.Node): node is NarrowableReferenceExpression;
-export type ControlFlowNode = ControlFlowNode.Start | ControlFlowNode.Condition | ControlFlowNode.Assignment | ControlFlowNode.Split | ControlFlowNode.Loop | ControlFlowNode.Unreachable;
-export declare namespace ControlFlowNode {
-    abstract class ControlFlowNodeBase {
-        protected abstract thisAsNode: ControlFlowNode;
-        /**
-         * Для отладочных целей.
-         */
-        generateVisualizationCode(): string;
-    }
-    /**
-     * Начальный узел, не имеющий предшественников.
-     */
-    export class Start extends ControlFlowNodeBase {
-        readonly kind = "start";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-    }
-    /**
-     * Хранит информацию об истинности некоторого условия. Например, если условие `а != пусто` истинно, то из типа
-     * переменной `а` необходимо исключить тип `Пусто`.
-     */
-    export class Condition extends ControlFlowNodeBase {
-        readonly predecessor: ControlFlowNode;
-        readonly syntaxNode: ConditionControlFlowNodeExpression;
-        readonly isTrue: boolean;
-        readonly kind = "condition";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-        constructor(predecessor: ControlFlowNode, syntaxNode: ConditionControlFlowNodeExpression, isTrue: boolean);
-    }
-    /**
-     * Создаётся в местах присваивания значений в переменную, а также объявления переменных с начальным значением.
-     * После присваивания тип переменной меняется на тип выражения справа от равно.
-     */
-    export class Assignment extends ControlFlowNodeBase {
-        readonly predecessor: ControlFlowNode;
-        readonly syntaxNode: tree.AssignmentStatement | tree.LocalVariableDeclaration;
-        readonly kind = "assignment";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-        constructor(predecessor: ControlFlowNode, syntaxNode: tree.AssignmentStatement | tree.LocalVariableDeclaration);
-    }
-    /**
-     * Вспомогательный узел, использующийся в местах, где происходит разветвление графа потока управления. Тип переменной
-     * для этого узла определяется как союзный тип из типов переменных в предшествующих узлах.
-     */
-    export class Split extends ControlFlowNodeBase {
-        readonly predecessors: readonly ControlFlowNode[];
-        readonly kind = "split";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-        constructor(predecessors: readonly ControlFlowNode[]);
-    }
-    /**
-     * Используется для циклов (пока, цикл - повтор пока, для-из). Отличается от узла `Split` тем, что предшествующие
-     * узлы, указанные в массиве `loopingPredecessors` образуют циклы в графе потока управления.
-     */
-    export abstract class Loop extends ControlFlowNodeBase {
-        readonly kind = "loop";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-        abstract predecessor: ControlFlowNode;
-        abstract loopingPredecessors: readonly ControlFlowNode[];
-    }
-    /**
-     * Обозначает недостижимый код.
-     */
-    export class Unreachable extends ControlFlowNodeBase {
-        readonly kind = "unreachable";
-        get debuggerDisplay(): string;
-        protected get thisAsNode(): ControlFlowNode;
-    }
-    export {};
-}
-export type ConditionControlFlowNodeExpression = tree.BinaryExpression | tree.IsExpression;