arkanalyzer 1.0.20 → 1.0.22

package/lib/core/graph/ViewTree.d.ts

@@ -1,115 +1,115 @@
-import { Constant } from '../base/Constant';
-import { Decorator } from '../base/Decorator';
-import { ArkInstanceFieldRef } from '../base/Ref';
-import { Stmt } from '../base/Stmt';
-import { Type } from '../base/Type';
-import { ArkField } from '../model/ArkField';
-import { ArkMethod } from '../model/ArkMethod';
-import { ClassSignature, MethodSignature } from '../model/ArkSignature';
-/**
- * @category core/graph
- */
-export interface ViewTreeNode {
-    /** Component node name */
-    name: string;
-    /** @deprecated Use {@link attributes} instead. */
-    stmts: Map<string, [Stmt, (Constant | ArkInstanceFieldRef | MethodSignature)[]]>;
-    /** Component attribute stmts, key is attribute name, value is [Stmt, [Uses Values]]. */
-    attributes: Map<string, [Stmt, (Constant | ArkInstanceFieldRef | MethodSignature)[]]>;
-    /** Used state values. */
-    stateValues: Set<ArkField>;
-    /** Node's parent, CustomComponent and root node no parent. */
-    parent: ViewTreeNode | null;
-    /** Node's children. */
-    children: ViewTreeNode[];
-    /** @deprecated Use {@link signature} instead. */
-    classSignature?: ClassSignature | MethodSignature;
-    /** CustomComponent class signature or Builder method signature. */
-    signature?: ClassSignature | MethodSignature;
-    /**
-     * Custom component value transfer
-     * - key: ArkField, child custom component class stateValue field.
-     * - value: ArkField | ArkMethod, parent component transfer value.
-     *     key is BuilderParam, the value is Builder ArkMethod.
-     *     Others, the value is parent class stateValue field.
-     */
-    stateValuesTransfer?: Map<ArkField, ArkField | ArkMethod>;
-    /** BuilderParam placeholders ArkField. */
-    builderParam?: ArkField;
-    /** builderParam bind builder method signature. */
-    builder?: MethodSignature;
-    /**
-     * walk node and node's children
-     * @param selector Node selector function, return true skipping the follow-up nodes.
-     * @returns
-     *  - true: There are nodes that meet the selector.
-     *  - false: does not exist.
-     */
-    walk(selector: (item: ViewTreeNode) => boolean): boolean;
-    /**
-     * Whether the node type is Builder.
-     * @returns true: node is Builder, false others.
-     */
-    isBuilder(): boolean;
-    /**
-     * Whether the node type is custom component.
-     * @returns true: node is custom component, false others.
-     */
-    isCustomComponent(): boolean;
-}
-/**
- * ArkUI Component Tree
- * @example
- * // Component Class get ViewTree
- * let arkClas: ArkClass = ...;
- * let viewtree = arkClas.getViewTree();
- *
- * // get viewtree root node
- * let root: ViewTreeNode = viewtree.getRoot();
- *
- * // get viewtree stateValues Map
- * let stateValues: Map<ArkField, Set<ViewTreeNode>> = viewtree.getStateValues();
- *
- * // walk all nodes
- * root.walk((node) => {
- *   // check node is builder
- *   if (node.isBuilder()) {
- *      xx
- *   }
- *
- *   // check node is sub CustomComponent
- *   if (node.isCustomComponent()) {
- *      xx
- *   }
- *
- *   if (xxx) {
- *      // Skip the remaining nodes and end the traversal
- *      return true;
- *   }
- *
- *   return false;
- * })
- *
- * @category core/graph
- */
-export interface ViewTree {
-    /**
-     * @deprecated Use {@link getStateValues} instead.
-     */
-    isClassField(name: string): boolean;
-    /**
-     * @deprecated Use {@link getStateValues} instead.
-     */
-    getClassFieldType(name: string): Decorator | Type | undefined;
-    /**
-     * Map of the component controlled by the state variable
-     * @returns
-     */
-    getStateValues(): Map<ArkField, Set<ViewTreeNode>>;
-    /**
-     * ViewTree root node.
-     * @returns root node
-     */
-    getRoot(): ViewTreeNode | null;
-}
+import { Constant } from '../base/Constant';
+import { Decorator } from '../base/Decorator';
+import { ArkInstanceFieldRef } from '../base/Ref';
+import { Stmt } from '../base/Stmt';
+import { Type } from '../base/Type';
+import { ArkField } from '../model/ArkField';
+import { ArkMethod } from '../model/ArkMethod';
+import { ClassSignature, MethodSignature } from '../model/ArkSignature';
+/**
+ * @category core/graph
+ */
+export interface ViewTreeNode {
+    /** Component node name */
+    name: string;
+    /** @deprecated Use {@link attributes} instead. */
+    stmts: Map<string, [Stmt, (Constant | ArkInstanceFieldRef | MethodSignature)[]]>;
+    /** Component attribute stmts, key is attribute name, value is [Stmt, [Uses Values]]. */
+    attributes: Map<string, [Stmt, (Constant | ArkInstanceFieldRef | MethodSignature)[]]>;
+    /** Used state values. */
+    stateValues: Set<ArkField>;
+    /** Node's parent, CustomComponent and root node no parent. */
+    parent: ViewTreeNode | null;
+    /** Node's children. */
+    children: ViewTreeNode[];
+    /** @deprecated Use {@link signature} instead. */
+    classSignature?: ClassSignature | MethodSignature;
+    /** CustomComponent class signature or Builder method signature. */
+    signature?: ClassSignature | MethodSignature;
+    /**
+     * Custom component value transfer
+     * - key: ArkField, child custom component class stateValue field.
+     * - value: ArkField | ArkMethod, parent component transfer value.
+     *     key is BuilderParam, the value is Builder ArkMethod.
+     *     Others, the value is parent class stateValue field.
+     */
+    stateValuesTransfer?: Map<ArkField, ArkField | ArkMethod>;
+    /** BuilderParam placeholders ArkField. */
+    builderParam?: ArkField;
+    /** builderParam bind builder method signature. */
+    builder?: MethodSignature;
+    /**
+     * walk node and node's children
+     * @param selector Node selector function, return true skipping the follow-up nodes.
+     * @returns
+     *  - true: There are nodes that meet the selector.
+     *  - false: does not exist.
+     */
+    walk(selector: (item: ViewTreeNode) => boolean): boolean;
+    /**
+     * Whether the node type is Builder.
+     * @returns true: node is Builder, false others.
+     */
+    isBuilder(): boolean;
+    /**
+     * Whether the node type is custom component.
+     * @returns true: node is custom component, false others.
+     */
+    isCustomComponent(): boolean;
+}
+/**
+ * ArkUI Component Tree
+ * @example
+ * // Component Class get ViewTree
+ * let arkClas: ArkClass = ...;
+ * let viewtree = arkClas.getViewTree();
+ *
+ * // get viewtree root node
+ * let root: ViewTreeNode = viewtree.getRoot();
+ *
+ * // get viewtree stateValues Map
+ * let stateValues: Map<ArkField, Set<ViewTreeNode>> = viewtree.getStateValues();
+ *
+ * // walk all nodes
+ * root.walk((node) => {
+ *   // check node is builder
+ *   if (node.isBuilder()) {
+ *      xx
+ *   }
+ *
+ *   // check node is sub CustomComponent
+ *   if (node.isCustomComponent()) {
+ *      xx
+ *   }
+ *
+ *   if (xxx) {
+ *      // Skip the remaining nodes and end the traversal
+ *      return true;
+ *   }
+ *
+ *   return false;
+ * })
+ *
+ * @category core/graph
+ */
+export interface ViewTree {
+    /**
+     * @deprecated Use {@link getStateValues} instead.
+     */
+    isClassField(name: string): boolean;
+    /**
+     * @deprecated Use {@link getStateValues} instead.
+     */
+    getClassFieldType(name: string): Decorator | Type | undefined;
+    /**
+     * Map of the component controlled by the state variable
+     * @returns
+     */
+    getStateValues(): Map<ArkField, Set<ViewTreeNode>>;
+    /**
+     * ViewTree root node.
+     * @returns root node
+     */
+    getRoot(): ViewTreeNode | null;
+}
 //# sourceMappingURL=ViewTree.d.ts.map

package/lib/core/graph/ViewTree.js

@@ -1,16 +1,16 @@
-"use strict";
-/*
- * Copyright (c) 2024 Huawei Device Co., Ltd.
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
+"use strict";
+/*
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/core/graph/builder/CfgBuilder.d.ts

@@ -1,177 +1,177 @@
-import * as ts from 'ohos-typescript';
-import { Local } from '../../base/Local';
-import { ArkAliasTypeDefineStmt } from '../../base/Stmt';
-import { Cfg } from '../Cfg';
-import { ArkClass } from '../../model/ArkClass';
-import { ArkMethod } from '../../model/ArkMethod';
-import { AliasType } from '../../base/Type';
-import { Trap } from '../../base/Trap';
-import { GlobalRef } from '../../base/Ref';
-declare class StatementBuilder {
-    type: string;
-    code: string;
-    next: StatementBuilder | null;
-    lasts: Set<StatementBuilder>;
-    walked: boolean;
-    index: number;
-    line: number;
-    column: number;
-    astNode: ts.Node | null;
-    scopeID: number;
-    addressCode3: string[];
-    block: BlockBuilder | null;
-    ifExitPass: boolean;
-    passTmies: number;
-    numOfIdentifier: number;
-    isDoWhile: boolean;
-    constructor(type: string, code: string, astNode: ts.Node | null, scopeID: number);
-}
-declare class ConditionStatementBuilder extends StatementBuilder {
-    nextT: StatementBuilder | null;
-    nextF: StatementBuilder | null;
-    loopBlock: BlockBuilder | null;
-    condition: string;
-    doStatement: StatementBuilder | null;
-    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
-}
-export declare class SwitchStatementBuilder extends StatementBuilder {
-    nexts: StatementBuilder[];
-    cases: Case[];
-    default: StatementBuilder | null;
-    afterSwitch: StatementBuilder | null;
-    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
-}
-export declare class TryStatementBuilder extends StatementBuilder {
-    tryFirst: StatementBuilder | null;
-    tryExit: StatementBuilder | null;
-    catchStatement: StatementBuilder | null;
-    catchError: string;
-    finallyStatement: StatementBuilder | null;
-    afterFinal: StatementBuilder | null;
-    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
-}
-declare class Case {
-    value: string;
-    stmt: StatementBuilder;
-    valueNode: ts.Node;
-    constructor(value: string, stmt: StatementBuilder);
-}
-declare class DefUseChain {
-    def: StatementBuilder;
-    use: StatementBuilder;
-    constructor(def: StatementBuilder, use: StatementBuilder);
-}
-declare class Variable {
-    name: string;
-    lastDef: StatementBuilder;
-    defUse: DefUseChain[];
-    properties: Variable[];
-    propOf: Variable | null;
-    constructor(name: string, lastDef: StatementBuilder);
-}
-declare class Scope {
-    id: number;
-    constructor(id: number);
-}
-export declare class BlockBuilder {
-    id: number;
-    stmts: StatementBuilder[];
-    nexts: BlockBuilder[];
-    lasts: BlockBuilder[];
-    walked: boolean;
-    constructor(id: number, stmts: StatementBuilder[]);
-}
-declare class Catch {
-    errorName: string;
-    from: number;
-    to: number;
-    withLabel: number;
-    constructor(errorName: string, from: number, to: number, withLabel: number);
-}
-export declare class CfgBuilder {
-    name: string;
-    astRoot: ts.Node;
-    entry: StatementBuilder;
-    exit: StatementBuilder;
-    loopStack: ConditionStatementBuilder[];
-    switchExitStack: StatementBuilder[];
-    functions: CfgBuilder[];
-    breakin: string;
-    statementArray: StatementBuilder[];
-    dotEdges: number[][];
-    scopes: Scope[];
-    tempVariableNum: number;
-    current3ACstm: StatementBuilder;
-    blocks: BlockBuilder[];
-    currentDeclarationKeyword: string;
-    variables: Variable[];
-    declaringClass: ArkClass;
-    importFromPath: string[];
-    catches: Catch[];
-    exits: StatementBuilder[];
-    emptyBody: boolean;
-    arrowFunctionWithoutBlock: boolean;
-    private sourceFile;
-    private declaringMethod;
-    constructor(ast: ts.Node, name: string, declaringMethod: ArkMethod, sourceFile: ts.SourceFile);
-    getDeclaringMethod(): ArkMethod;
-    judgeLastType(s: StatementBuilder, lastStatement: StatementBuilder): void;
-    ASTNodeBreakStatement(c: ts.Node, lastStatement: StatementBuilder): void;
-    ASTNodeIfStatement(c: ts.IfStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    ASTNodeWhileStatement(c: ts.WhileStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    ASTNodeForStatement(c: ts.ForInOrOfStatement | ts.ForStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    ASTNodeDoStatement(c: ts.DoStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    ASTNodeSwitchStatement(c: ts.SwitchStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    ASTNodeTryStatement(c: ts.TryStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
-    walkAST(lastStatement: StatementBuilder, nextStatement: StatementBuilder, nodes: ts.Node[]): void;
-    addReturnInEmptyMethod(): void;
-    deleteExitAfterCondition(last: ConditionStatementBuilder, exit: StatementBuilder): void;
-    deleteExitAfterSwitch(last: SwitchStatementBuilder, exit: StatementBuilder): void;
-    deleteExit(): void;
-    addStmt2BlockStmtQueueInSpecialCase(stmt: StatementBuilder, stmtQueue: StatementBuilder[]): StatementBuilder | null;
-    addStmt2BlockStmtQueue(stmt: StatementBuilder, stmtQueue: StatementBuilder[]): StatementBuilder | null;
-    buildBlocks(): void;
-    buildConditionNextBlocks(originStatement: ConditionStatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
-    buildSwitchNextBlocks(originStatement: SwitchStatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
-    buildNormalNextBlocks(originStatement: StatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
-    buildBlocksNextLast(): void;
-    addReturnBlock(returnStatement: StatementBuilder, notReturnStmts: StatementBuilder[]): void;
-    addReturnStmt(): void;
-    resetWalked(): void;
-    addStmtBuilderPosition(): void;
-    CfgBuilder2Array(stmt: StatementBuilder): void;
-    getDotEdges(stmt: StatementBuilder): void;
-    errorTest(stmt: StatementBuilder): void;
-    buildStatementBuilder4ArrowFunction(stmt: ts.Node): void;
-    buildCfgBuilder(): void;
-    private handleBuilder;
-    isBodyEmpty(): boolean;
-    buildCfg(): {
-        cfg: Cfg;
-        locals: Set<Local>;
-        globals: Map<string, GlobalRef> | null;
-        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
-        traps: Trap[];
-    };
-    buildCfgForSimpleArrowFunction(): {
-        cfg: Cfg;
-        locals: Set<Local>;
-        globals: Map<string, GlobalRef> | null;
-        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
-        traps: Trap[];
-    };
-    buildNormalCfg(): {
-        cfg: Cfg;
-        locals: Set<Local>;
-        globals: Map<string, GlobalRef> | null;
-        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
-        traps: Trap[];
-    };
-    private initializeBuild;
-    private processBlocks;
-    private adjustBlocks;
-    private createCfg;
-    private linkBasicBlocks;
-}
-export {};
+import * as ts from 'ohos-typescript';
+import { Local } from '../../base/Local';
+import { ArkAliasTypeDefineStmt } from '../../base/Stmt';
+import { Cfg } from '../Cfg';
+import { ArkClass } from '../../model/ArkClass';
+import { ArkMethod } from '../../model/ArkMethod';
+import { AliasType } from '../../base/Type';
+import { Trap } from '../../base/Trap';
+import { GlobalRef } from '../../base/Ref';
+declare class StatementBuilder {
+    type: string;
+    code: string;
+    next: StatementBuilder | null;
+    lasts: Set<StatementBuilder>;
+    walked: boolean;
+    index: number;
+    line: number;
+    column: number;
+    astNode: ts.Node | null;
+    scopeID: number;
+    addressCode3: string[];
+    block: BlockBuilder | null;
+    ifExitPass: boolean;
+    passTmies: number;
+    numOfIdentifier: number;
+    isDoWhile: boolean;
+    constructor(type: string, code: string, astNode: ts.Node | null, scopeID: number);
+}
+declare class ConditionStatementBuilder extends StatementBuilder {
+    nextT: StatementBuilder | null;
+    nextF: StatementBuilder | null;
+    loopBlock: BlockBuilder | null;
+    condition: string;
+    doStatement: StatementBuilder | null;
+    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
+}
+export declare class SwitchStatementBuilder extends StatementBuilder {
+    nexts: StatementBuilder[];
+    cases: Case[];
+    default: StatementBuilder | null;
+    afterSwitch: StatementBuilder | null;
+    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
+}
+export declare class TryStatementBuilder extends StatementBuilder {
+    tryFirst: StatementBuilder | null;
+    tryExit: StatementBuilder | null;
+    catchStatement: StatementBuilder | null;
+    catchError: string;
+    finallyStatement: StatementBuilder | null;
+    afterFinal: StatementBuilder | null;
+    constructor(type: string, code: string, astNode: ts.Node, scopeID: number);
+}
+declare class Case {
+    value: string;
+    stmt: StatementBuilder;
+    valueNode: ts.Node;
+    constructor(value: string, stmt: StatementBuilder);
+}
+declare class DefUseChain {
+    def: StatementBuilder;
+    use: StatementBuilder;
+    constructor(def: StatementBuilder, use: StatementBuilder);
+}
+declare class Variable {
+    name: string;
+    lastDef: StatementBuilder;
+    defUse: DefUseChain[];
+    properties: Variable[];
+    propOf: Variable | null;
+    constructor(name: string, lastDef: StatementBuilder);
+}
+declare class Scope {
+    id: number;
+    constructor(id: number);
+}
+export declare class BlockBuilder {
+    id: number;
+    stmts: StatementBuilder[];
+    nexts: BlockBuilder[];
+    lasts: BlockBuilder[];
+    walked: boolean;
+    constructor(id: number, stmts: StatementBuilder[]);
+}
+declare class Catch {
+    errorName: string;
+    from: number;
+    to: number;
+    withLabel: number;
+    constructor(errorName: string, from: number, to: number, withLabel: number);
+}
+export declare class CfgBuilder {
+    name: string;
+    astRoot: ts.Node;
+    entry: StatementBuilder;
+    exit: StatementBuilder;
+    loopStack: ConditionStatementBuilder[];
+    switchExitStack: StatementBuilder[];
+    functions: CfgBuilder[];
+    breakin: string;
+    statementArray: StatementBuilder[];
+    dotEdges: number[][];
+    scopes: Scope[];
+    tempVariableNum: number;
+    current3ACstm: StatementBuilder;
+    blocks: BlockBuilder[];
+    currentDeclarationKeyword: string;
+    variables: Variable[];
+    declaringClass: ArkClass;
+    importFromPath: string[];
+    catches: Catch[];
+    exits: StatementBuilder[];
+    emptyBody: boolean;
+    arrowFunctionWithoutBlock: boolean;
+    private sourceFile;
+    private declaringMethod;
+    constructor(ast: ts.Node, name: string, declaringMethod: ArkMethod, sourceFile: ts.SourceFile);
+    getDeclaringMethod(): ArkMethod;
+    judgeLastType(s: StatementBuilder, lastStatement: StatementBuilder): void;
+    ASTNodeBreakStatement(c: ts.Node, lastStatement: StatementBuilder): void;
+    ASTNodeIfStatement(c: ts.IfStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    ASTNodeWhileStatement(c: ts.WhileStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    ASTNodeForStatement(c: ts.ForInOrOfStatement | ts.ForStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    ASTNodeDoStatement(c: ts.DoStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    ASTNodeSwitchStatement(c: ts.SwitchStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    ASTNodeTryStatement(c: ts.TryStatement, lastStatement: StatementBuilder, scopeID: number): StatementBuilder;
+    walkAST(lastStatement: StatementBuilder, nextStatement: StatementBuilder, nodes: ts.Node[]): void;
+    addReturnInEmptyMethod(): void;
+    deleteExitAfterCondition(last: ConditionStatementBuilder, exit: StatementBuilder): void;
+    deleteExitAfterSwitch(last: SwitchStatementBuilder, exit: StatementBuilder): void;
+    deleteExit(): void;
+    addStmt2BlockStmtQueueInSpecialCase(stmt: StatementBuilder, stmtQueue: StatementBuilder[]): StatementBuilder | null;
+    addStmt2BlockStmtQueue(stmt: StatementBuilder, stmtQueue: StatementBuilder[]): StatementBuilder | null;
+    buildBlocks(): void;
+    buildConditionNextBlocks(originStatement: ConditionStatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
+    buildSwitchNextBlocks(originStatement: SwitchStatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
+    buildNormalNextBlocks(originStatement: StatementBuilder, block: BlockBuilder, isLastStatement: boolean): void;
+    buildBlocksNextLast(): void;
+    addReturnBlock(returnStatement: StatementBuilder, notReturnStmts: StatementBuilder[]): void;
+    addReturnStmt(): void;
+    resetWalked(): void;
+    addStmtBuilderPosition(): void;
+    CfgBuilder2Array(stmt: StatementBuilder): void;
+    getDotEdges(stmt: StatementBuilder): void;
+    errorTest(stmt: StatementBuilder): void;
+    buildStatementBuilder4ArrowFunction(stmt: ts.Node): void;
+    buildCfgBuilder(): void;
+    private handleBuilder;
+    isBodyEmpty(): boolean;
+    buildCfg(): {
+        cfg: Cfg;
+        locals: Set<Local>;
+        globals: Map<string, GlobalRef> | null;
+        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
+        traps: Trap[];
+    };
+    buildCfgForSimpleArrowFunction(): {
+        cfg: Cfg;
+        locals: Set<Local>;
+        globals: Map<string, GlobalRef> | null;
+        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
+        traps: Trap[];
+    };
+    buildNormalCfg(): {
+        cfg: Cfg;
+        locals: Set<Local>;
+        globals: Map<string, GlobalRef> | null;
+        aliasTypeMap: Map<string, [AliasType, ArkAliasTypeDefineStmt]>;
+        traps: Trap[];
+    };
+    private initializeBuild;
+    private processBlocks;
+    private adjustBlocks;
+    private createCfg;
+    private linkBasicBlocks;
+}
+export {};
 //# sourceMappingURL=CfgBuilder.d.ts.map