arkanalyzer 1.0.5

package/lib/core/model/builder/builderUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builderUtils.d.ts","sourceRoot":"","sources":["../../../../src/core/model/builder/builderUtils.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,oBAAoB,EAAE,QAAQ,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAC/G,OAAO,EAIH,WAAW,EAEX,IAAI,EAIP,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAGH,eAAe,EAElB,MAAM,oBAAoB,CAAC;AAM5B,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,GAAG,MAAM,CAUlE;AAED,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,GAAG,MAAM,CAYxF;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC,CA6ChG;AAED,wBAAgB,oBAAoB,CAAC,eAAe,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAQvG;AAED,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,EAAE,CAAC,SAAS,CAAC,wBAAwB,CAAC,EACtD,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,EAAE,CAmB/G;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,SAAS,GAAG,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,qBA4GvI;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,GAAG,QAAQ,GAAG,IAAI,CAyBpF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,QAM3F;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,wBAAwB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAC9E,WAAW,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAkF9E;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,QA8CjD"}

package/lib/core/model/builder/builderUtils.js

@@ -0,0 +1,449 @@
+"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.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildTypeFromPreStr = exports.tsNode2Type = exports.buildReturnType = exports.buildGenericType = exports.buildParameters = exports.buildTypeParameters = exports.buildHeritageClauses = exports.buildModifiers = exports.handlePropertyAccessExpression = exports.handleQualifiedName = void 0;
+const ohos_typescript_1 = __importDefault(require("ohos-typescript"));
+const Type_1 = require("../../base/Type");
+const TypeInference_1 = require("../../common/TypeInference");
+const ArkField_1 = require("../ArkField");
+const logger_1 = __importStar(require("../../../utils/logger"));
+const ArkClass_1 = require("../ArkClass");
+const ArkMethod_1 = require("../ArkMethod");
+const Decorator_1 = require("../../base/Decorator");
+const ArkMethodBuilder_1 = require("./ArkMethodBuilder");
+const ArkClassBuilder_1 = require("./ArkClassBuilder");
+const Builtin_1 = require("../../common/Builtin");
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'builderUtils');
+function handleQualifiedName(node) {
+    let right = node.right.text;
+    let left = '';
+    if (node.left.kind === ohos_typescript_1.default.SyntaxKind.Identifier) {
+        left = node.left.text;
+    }
+    else if (node.left.kind === ohos_typescript_1.default.SyntaxKind.QualifiedName) {
+        left = handleQualifiedName(node.left);
+    }
+    let qualifiedName = left + '.' + right;
+    return qualifiedName;
+}
+exports.handleQualifiedName = handleQualifiedName;
+function handlePropertyAccessExpression(node) {
+    let right = node.name.text;
+    let left = '';
+    if (ohos_typescript_1.default.SyntaxKind[node.expression.kind] == 'Identifier') {
+        left = node.expression.text;
+    }
+    else if (ohos_typescript_1.default.isStringLiteral(node.expression)) {
+        left = node.expression.text;
+    }
+    else if (ohos_typescript_1.default.isPropertyAccessExpression(node.expression)) {
+        left = handlePropertyAccessExpression(node.expression);
+    }
+    let propertyAccessExpressionName = left + '.' + right;
+    return propertyAccessExpressionName;
+}
+exports.handlePropertyAccessExpression = handlePropertyAccessExpression;
+function buildModifiers(node, sourceFile) {
+    var _a;
+    let modifiers = new Set();
+    function parseModifier(modifier) {
+        if (ohos_typescript_1.default.SyntaxKind[modifier.kind] == 'FirstContextualKeyword') {
+            modifiers.add('AbstractKeyword');
+        }
+        else if (ohos_typescript_1.default.isDecorator(modifier)) {
+            if (modifier.expression) {
+                let kind = '';
+                let param = '';
+                if (ohos_typescript_1.default.isIdentifier(modifier.expression)) {
+                    kind = modifier.expression.text;
+                }
+                else if (ohos_typescript_1.default.isCallExpression(modifier.expression)) {
+                    if (ohos_typescript_1.default.isIdentifier(modifier.expression.expression)) {
+                        kind = modifier.expression.expression.text;
+                    }
+                    if (modifier.expression.arguments.length > 0) {
+                        const arg = modifier.expression.arguments[0];
+                        if (ohos_typescript_1.default.isArrowFunction(arg)) {
+                            const body = arg.body;
+                            if (ohos_typescript_1.default.isIdentifier(body)) {
+                                param = body.text;
+                            }
+                        }
+                    }
+                }
+                const decorator = new Decorator_1.Decorator(kind);
+                decorator.setContent(modifier.expression.getText(sourceFile));
+                if (param != '') {
+                    decorator.setParam(param);
+                }
+                modifiers.add(decorator);
+            }
+        }
+        else {
+            modifiers.add(ohos_typescript_1.default.SyntaxKind[modifier.kind]);
+        }
+    }
+    if (ohos_typescript_1.default.canHaveModifiers(node)) {
+        (_a = ohos_typescript_1.default.getModifiers(node)) === null || _a === void 0 ? void 0 : _a.forEach(parseModifier);
+    }
+    ohos_typescript_1.default.getAllDecorators(node).forEach(parseModifier);
+    return modifiers;
+}
+exports.buildModifiers = buildModifiers;
+function buildHeritageClauses(heritageClauses) {
+    let heritageClausesMap = new Map();
+    heritageClauses === null || heritageClauses === void 0 ? void 0 : heritageClauses.forEach((heritageClause) => {
+        heritageClause.types.forEach((type) => {
+            heritageClausesMap.set(type.getText(), ohos_typescript_1.default.SyntaxKind[heritageClause.token]);
+        });
+    });
+    return heritageClausesMap;
+}
+exports.buildHeritageClauses = buildHeritageClauses;
+function buildTypeParameters(typeParameters, sourceFile, arkInstance) {
+    const genericTypes = [];
+    let index = -1;
+    typeParameters.forEach((typeParameter) => {
+        const genericType = tsNode2Type(typeParameter, sourceFile, arkInstance);
+        if (genericType instanceof Type_1.GenericType) {
+            genericType.setIndex(++index);
+            genericTypes.push(genericType);
+        }
+        if (typeParameter.modifiers) {
+            logger.warn('This typeparameter has modifiers.');
+        }
+        if (typeParameter.expression) {
+            logger.warn('This typeparameter has expression.');
+        }
+    });
+    return genericTypes;
+}
+exports.buildTypeParameters = buildTypeParameters;
+function buildParameters(params, arkInstance, sourceFile) {
+    let parameters = [];
+    params.forEach((parameter) => {
+        let methodParameter = new ArkMethodBuilder_1.MethodParameter();
+        // name
+        if (ohos_typescript_1.default.isIdentifier(parameter.name)) {
+            methodParameter.setName(parameter.name.text);
+        }
+        else if (ohos_typescript_1.default.isObjectBindingPattern(parameter.name)) {
+            methodParameter.setName('ObjectBindingPattern');
+            let elements = [];
+            parameter.name.elements.forEach((element) => {
+                let paraElement = new ArkMethodBuilder_1.ObjectBindingPatternParameter();
+                if (element.propertyName) {
+                    if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
+                        paraElement.setPropertyName(element.propertyName.text);
+                    }
+                    else {
+                        logger.warn('New propertyName of ObjectBindingPattern found, please contact developers to support this!');
+                    }
+                }
+                if (element.name) {
+                    if (ohos_typescript_1.default.isIdentifier(element.name)) {
+                        paraElement.setName(element.name.text);
+                    }
+                    else {
+                        logger.warn('New name of ObjectBindingPattern found, please contact developers to support this!');
+                    }
+                }
+                if (element.initializer) {
+                    logger.warn('TODO: support ObjectBindingPattern initializer.');
+                }
+                if (element.dotDotDotToken) {
+                    paraElement.setOptional(true);
+                }
+                elements.push(paraElement);
+            });
+            methodParameter.setObjElements(elements);
+        }
+        else if (ohos_typescript_1.default.isArrayBindingPattern(parameter.name)) {
+            methodParameter.setName('ArrayBindingPattern');
+            let elements = [];
+            parameter.name.elements.forEach((element) => {
+                let paraElement = new ArkMethodBuilder_1.ArrayBindingPatternParameter();
+                if (ohos_typescript_1.default.isBindingElement(element)) {
+                    if (element.propertyName) {
+                        if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
+                            paraElement.setPropertyName(element.propertyName.text);
+                        }
+                        else {
+                            logger.warn('New propertyName of ArrayBindingPattern found, please contact developers to support this!');
+                        }
+                    }
+                    if (element.name) {
+                        if (ohos_typescript_1.default.isIdentifier(element.name)) {
+                            paraElement.setName(element.name.text);
+                        }
+                        else {
+                            logger.warn('New name of ArrayBindingPattern found, please contact developers to support this!');
+                        }
+                    }
+                    if (element.initializer) {
+                        logger.warn('TODO: support ArrayBindingPattern initializer.');
+                    }
+                    if (element.dotDotDotToken) {
+                        paraElement.setOptional(true);
+                    }
+                }
+                else if (ohos_typescript_1.default.isOmittedExpression(element)) {
+                    logger.warn('TODO: support OmittedExpression for ArrayBindingPattern parameter name.');
+                }
+                elements.push(paraElement);
+            });
+            methodParameter.setArrayElements(elements);
+        }
+        else {
+            logger.warn('Parameter name is not identifier, ObjectBindingPattern nor ArrayBindingPattern, please contact developers to support this!');
+        }
+        // questionToken
+        if (parameter.questionToken) {
+            methodParameter.setOptional(true);
+        }
+        // type
+        if (parameter.type) {
+            methodParameter.setType(buildGenericType(tsNode2Type(parameter.type, sourceFile, arkInstance), arkInstance));
+        }
+        else {
+            methodParameter.setType(Type_1.UnknownType.getInstance());
+        }
+        // initializer
+        if (parameter.initializer) {
+            //TODO?
+        }
+        // dotDotDotToken
+        if (parameter.dotDotDotToken) {
+            methodParameter.setDotDotDotToken(true);
+        }
+        // modifiers
+        if (parameter.modifiers) {
+            //
+        }
+        parameters.push(methodParameter);
+    });
+    return parameters;
+}
+exports.buildParameters = buildParameters;
+function buildGenericType(type, arkInstance) {
+    function replace(urType) {
+        var _a, _b;
+        const typeName = urType.getName();
+        let gType;
+        if (arkInstance instanceof ArkMethod_1.ArkMethod) {
+            gType = (_a = arkInstance.getGenericTypes()) === null || _a === void 0 ? void 0 : _a.find(f => f.getName() === typeName);
+        }
+        if (!gType) {
+            gType = (_b = arkInstance.getDeclaringArkClass().getGenericsTypes()) === null || _b === void 0 ? void 0 : _b.find(f => f.getName() === typeName);
+        }
+        return gType !== null && gType !== void 0 ? gType : urType;
+    }
+    if (type instanceof Type_1.UnclearReferenceType) {
+        return replace(type);
+    }
+    else if (type instanceof Type_1.UnionType) {
+        const types = type.getTypes();
+        for (let i = 0; i < types.length; i++) {
+            const mayType = types[i];
+            if (mayType instanceof Type_1.UnclearReferenceType) {
+                types[i] = replace(mayType);
+            }
+        }
+    }
+    return type;
+}
+exports.buildGenericType = buildGenericType;
+function buildReturnType(node, sourceFile, method) {
+    if (node) {
+        return tsNode2Type(node, sourceFile, method);
+    }
+    else {
+        return new Type_1.UnknownType();
+    }
+}
+exports.buildReturnType = buildReturnType;
+function tsNode2Type(typeNode, sourceFile, arkInstance) {
+    if (ohos_typescript_1.default.isTypeReferenceNode(typeNode)) {
+        const genericTypes = [];
+        if (typeNode.typeArguments) {
+            for (const typeArgument of typeNode.typeArguments) {
+                genericTypes.push(tsNode2Type(typeArgument, sourceFile, arkInstance));
+            }
+        }
+        let referenceNodeName = typeNode.typeName;
+        if (ohos_typescript_1.default.isQualifiedName(referenceNodeName)) {
+            let parameterTypeStr = handleQualifiedName(referenceNodeName);
+            return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
+        }
+        else {
+            let parameterTypeStr = referenceNodeName.text;
+            return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
+        }
+    }
+    else if (ohos_typescript_1.default.isUnionTypeNode(typeNode)) {
+        let unionTypePara = [];
+        typeNode.types.forEach((tmpType) => {
+            unionTypePara.push(tsNode2Type(tmpType, sourceFile, arkInstance));
+        });
+        return new Type_1.UnionType(unionTypePara);
+    }
+    else if (ohos_typescript_1.default.isLiteralTypeNode(typeNode)) {
+        return buildTypeFromPreStr(ohos_typescript_1.default.SyntaxKind[typeNode.literal.kind]);
+    }
+    else if (ohos_typescript_1.default.isTypeLiteralNode(typeNode)) {
+        let cls = new ArkClass_1.ArkClass();
+        let declaringClass;
+        if (arkInstance instanceof ArkMethod_1.ArkMethod) {
+            declaringClass = arkInstance.getDeclaringArkClass();
+        }
+        else if (arkInstance instanceof ArkField_1.ArkField) {
+            declaringClass = arkInstance.getDeclaringArkClass();
+        }
+        else {
+            declaringClass = arkInstance;
+        }
+        if (declaringClass.getDeclaringArkNamespace()) {
+            cls.setDeclaringArkNamespace(declaringClass.getDeclaringArkNamespace());
+            cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
+        }
+        else {
+            cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
+        }
+        (0, ArkClassBuilder_1.buildNormalArkClassFromArkMethod)(typeNode, cls, sourceFile);
+        return new Type_1.ClassType(cls.getSignature());
+    }
+    else if (ohos_typescript_1.default.isFunctionTypeNode(typeNode)) {
+        let mtd = new ArkMethod_1.ArkMethod();
+        let cls;
+        if (arkInstance instanceof ArkMethod_1.ArkMethod) {
+            cls = arkInstance.getDeclaringArkClass();
+        }
+        else if (arkInstance instanceof ArkClass_1.ArkClass) {
+            cls = arkInstance;
+        }
+        else {
+            cls = arkInstance.getDeclaringArkClass();
+        }
+        (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(typeNode, cls, mtd, sourceFile);
+        return new Type_1.FunctionType(mtd.getSignature());
+    }
+    else if (ohos_typescript_1.default.isTypeParameterDeclaration(typeNode)) {
+        const name = typeNode.name.text;
+        let defaultType;
+        if (typeNode.default) {
+            defaultType = tsNode2Type(typeNode.default, sourceFile, arkInstance);
+        }
+        let constraint;
+        if (typeNode.constraint) {
+            constraint = tsNode2Type(typeNode.constraint, sourceFile, arkInstance);
+        }
+        return new Type_1.GenericType(name, defaultType, constraint);
+    }
+    else if (ohos_typescript_1.default.isTupleTypeNode(typeNode)) {
+        const types = [];
+        typeNode.elements.forEach(element => {
+            types.push(tsNode2Type(element, sourceFile, arkInstance));
+        });
+        return new Type_1.TupleType(types);
+    }
+    else if (ohos_typescript_1.default.isArrayTypeNode(typeNode)) {
+        return new Type_1.ArrayType(tsNode2Type(typeNode.elementType, sourceFile, arkInstance), 1);
+    }
+    else if (ohos_typescript_1.default.isParenthesizedTypeNode(typeNode)) {
+        return tsNode2Type(typeNode.type, sourceFile, arkInstance);
+    }
+    else if (typeNode.kind === ohos_typescript_1.default.SyntaxKind.ObjectKeyword) {
+        return new Type_1.ClassType(Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE);
+    }
+    else {
+        return buildTypeFromPreStr(ohos_typescript_1.default.SyntaxKind[typeNode.kind]);
+    }
+}
+exports.tsNode2Type = tsNode2Type;
+function buildTypeFromPreStr(preStr) {
+    let postStr = '';
+    switch (preStr) {
+        case 'BooleanKeyword':
+            postStr = 'boolean';
+            break;
+        case 'FalseKeyword':
+            postStr = 'boolean';
+            break;
+        case 'TrueKeyword':
+            postStr = 'boolean';
+            break;
+        case 'NumberKeyword':
+            postStr = 'number';
+            break;
+        case 'NumericLiteral':
+            postStr = 'number';
+            break;
+        case 'FirstLiteralToken':
+            postStr = 'number';
+            break;
+        case 'StringKeyword':
+            postStr = 'string';
+            break;
+        case 'StringLiteral':
+            postStr = 'string';
+            break;
+        case 'UndefinedKeyword':
+            postStr = 'undefined';
+            break;
+        case 'NullKeyword':
+            postStr = 'null';
+            break;
+        case 'AnyKeyword':
+            postStr = 'any';
+            break;
+        case 'VoidKeyword':
+            postStr = 'void';
+            break;
+        case 'NeverKeyword':
+            postStr = 'never';
+            break;
+        default:
+            postStr = preStr;
+    }
+    return TypeInference_1.TypeInference.buildTypeFromStr(postStr);
+}
+exports.buildTypeFromPreStr = buildTypeFromPreStr;

package/lib/index.d.ts

@@ -0,0 +1,77 @@
+export { AbstractAnalysis } from './callgraph/algorithm/AbstractAnalysis';
+export { ClassHierarchyAnalysis } from './callgraph/algorithm/ClassHierarchyAnalysis';
+export { RapidTypeAnalysis } from './callgraph/algorithm/RapidTypeAnalysis';
+export { PTAStat, PAGStat, CGStat } from './callgraph/common/Statistics';
+export { NodeID, Kind, GraphTraits, BaseEdge, BaseNode, BaseGraph } from './callgraph/model/BaseGraph';
+export * from './callgraph/model/CallGraph';
+export { CallGraphBuilder } from './callgraph/model/builder/CallGraphBuilder';
+export { KLimitedContextSensitive } from './callgraph/pointerAnalysis/Context';
+export { DummyCallCreator } from './callgraph/pointerAnalysis/DummyCallCreator';
+export * from './callgraph/pointerAnalysis/Pag';
+export { CSFuncID, PagBuilder } from './callgraph/pointerAnalysis/PagBuilder';
+export { PointerAnalysis } from './callgraph/pointerAnalysis/PointerAnalysis';
+export { PointerAnalysisConfig } from './callgraph/pointerAnalysis/PointerAnalysisConfig';
+export { PtsSet, DiffPTData } from './callgraph/pointerAnalysis/PtsDS';
+export { Constant } from './core/base/Constant';
+export { Decorator } from './core/base/Decorator';
+export { DefUseChain } from './core/base/DefUseChain';
+export * from './core/base/Expr';
+export { Local } from './core/base/Local';
+export { LineColPosition, FullPosition } from './core/base/Position';
+export * from './core/base/Ref';
+export * from './core/base/Stmt';
+export * from './core/base/Type';
+export { Value } from './core/base/Value';
+export { ModelUtils } from './core/common/ModelUtils';
+export * from './core/common/Const';
+export { DummyMainCreater } from './core/common/DummyMainCreater';
+export * from './core/common/EtsConst';
+export { ExprUseReplacer } from './core/common/ExprUseReplacer';
+export { IRUtils } from './core/common/IRUtils';
+export { RefUseReplacer } from './core/common/RefUseReplacer';
+export { StmtUseReplacer } from './core/common/StmtUseReplacer';
+export * from './core/common/TSConst';
+export { TypeInference } from './core/common/TypeInference';
+export { ValueUtil } from './core/common/ValueUtil';
+export { VisibleValue, Scope } from './core/common/VisibleValue';
+export { DataflowProblem, FlowFunction } from './core/dataflow/DataflowProblem';
+export { DataflowResult } from './core/dataflow/DataflowResult';
+export { DataflowSolver, factEqual } from './core/dataflow/DataflowSolver';
+export { Edge, PathEdgePoint, PathEdge } from './core/dataflow/Edge';
+export { Fact } from './core/dataflow/Fact';
+export { TiantAnalysisChecker, TiantAnalysisSolver } from './core/dataflow/TiantAnalysis';
+export { UndefinedVariableChecker, UndefinedVariableSolver } from './core/dataflow/UndefinedVariable';
+export { BasicBlock } from './core/graph/BasicBlock';
+export { Cfg } from './core/graph/Cfg';
+export { ViewTree, ViewTreeNode } from './core/graph/ViewTree';
+export { DominanceFinder } from './core/graph/DominanceFinder';
+export { DominanceTree } from './core/graph/DominanceTree';
+export { ArkFile } from './core/model/ArkFile';
+export { ArkNamespace } from './core/model/ArkNamespace';
+export { ArkClass } from './core/model/ArkClass';
+export { ArkMethod } from './core/model/ArkMethod';
+export { ArkField } from './core/model/ArkField';
+export { ExportInfo } from './core/model/ArkExport';
+export { ImportInfo } from './core/model/ArkImport';
+export { ArkBody } from './core/model/ArkBody';
+export * from './core/model/ArkSignature';
+export * from './core/model/builder/ArkSignatureBuilder';
+export { SceneConfig } from './Config';
+export { Scene } from './Scene';
+export { Printer } from './save/Printer';
+export { PrinterBuilder } from './save/PrinterBuilder';
+export { DotMethodPrinter, DotClassPrinter, DotNamespacePrinter, DotFilePrinter } from './save/DotPrinter';
+export { SourceMethod as SourceMethodPrinter } from './save/source/SourceMethod';
+export { SourceClass as SourceClassPrinter } from './save/source/SourceClass';
+export { SourceNamespace as SourceNamespacePrinter } from './save/source/SourceNamespace';
+export { SourceFilePrinter } from './save/source/SourceFilePrinter';
+export { JsonPrinter } from './save/JsonPrinter';
+export { GraphPrinter } from './save/GraphPrinter';
+export * from './transformer/StaticSingleAssignmentFormer';
+export * from './utils/callGraphUtils';
+export * from './utils/entryMethodUtils';
+export * from './utils/FileUtils';
+export * from './utils/getAllFiles';
+export * from './utils/json5parser';
+export * from './utils/pathTransfer';
+//# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AAG5E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAC;AAGzE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACvG,cAAc,6BAA6B,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAG9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,8CAA8C,CAAC;AAChF,cAAc,iCAAiC,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,mDAAmD,CAAC;AAC1F,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAGvE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACrE,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,cAAc,qBAAqB,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,cAAc,wBAAwB,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGjE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAGtG,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,0CAA0C,CAAC;AAEzD,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAGhC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC3G,OAAO,EAAE,YAAY,IAAI,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,WAAW,IAAI,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,EAAE,eAAe,IAAI,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,cAAc,4CAA4C,CAAC;AAG3D,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC"}