arkanalyzer 1.0.5

package/lib/core/base/Stmt.d.ts

@@ -0,0 +1,109 @@
+import { Cfg } from '../graph/Cfg';
+import { AbstractExpr, AbstractInvokeExpr, ArkConditionExpr } from './Expr';
+import { AbstractFieldRef, ArkArrayRef } from './Ref';
+import { Value } from './Value';
+import { FullPosition, LineColPosition } from './Position';
+/**
+ * @category core/base/stmt
+ */
+export declare abstract class Stmt {
+    protected text: string;
+    protected position: LineColPosition;
+    protected cfg: Cfg | null;
+    protected operandOriginalPositions: FullPosition[] | null;
+    /** Return a list of values which are uesd in this statement */
+    getUses(): Value[];
+    replaceUse(oldUse: Value, newUse: Value): void;
+    /** Return the def which is uesd in this statement */
+    getDef(): Value | null;
+    getDefAndUses(): Value[];
+    getCfg(): Cfg | null;
+    setCfg(cfg: Cfg): void;
+    /**
+     * Return true if the following statement may not execute after this statement.
+     * The ArkIfStmt and ArkGotoStmt will return true.
+     */
+    isBranch(): boolean;
+    /** Return the number of statements which this statement may go to */
+    getExpectedSuccessorCount(): number;
+    containsInvokeExpr(): boolean;
+    getInvokeExpr(): AbstractInvokeExpr | undefined;
+    getExprs(): AbstractExpr[];
+    containsArrayRef(): boolean;
+    getArrayRef(): ArkArrayRef | undefined;
+    containsFieldRef(): boolean;
+    getFieldRef(): AbstractFieldRef | undefined;
+    setPositionInfo(position: LineColPosition): void;
+    getPositionInfo(): LineColPosition;
+    getOriginPositionInfo(): LineColPosition;
+    abstract toString(): string;
+    setText(text: string): void;
+    setOperandOriginalPositions(operandOriginalPositions: FullPosition[]): void;
+    getOperandOriginalPosition(indexOrOperand: number | Value): FullPosition | null;
+}
+export declare class OriginalStmt extends Stmt {
+    constructor(text: string, position: LineColPosition);
+    toString(): string;
+}
+export declare class ArkAssignStmt extends Stmt {
+    private leftOp;
+    private rightOp;
+    constructor(leftOp: Value, rightOp: Value);
+    getLeftOp(): Value;
+    setLeftOp(newLeftOp: Value): void;
+    getRightOp(): Value;
+    setRightOp(rightOp: Value): void;
+    toString(): string;
+    getDef(): Value | null;
+    getUses(): Value[];
+}
+export declare class ArkInvokeStmt extends Stmt {
+    private invokeExpr;
+    constructor(invokeExpr: AbstractInvokeExpr);
+    replaceInvokeExpr(newExpr: AbstractInvokeExpr): void;
+    getInvokeExpr(): AbstractInvokeExpr;
+    toString(): string;
+    getUses(): Value[];
+}
+export declare class ArkIfStmt extends Stmt {
+    private conditionExpr;
+    constructor(conditionExpr: ArkConditionExpr);
+    getConditionExprExpr(): ArkConditionExpr;
+    isBranch(): boolean;
+    getExpectedSuccessorCount(): number;
+    toString(): string;
+    getUses(): Value[];
+}
+export declare class ArkReturnStmt extends Stmt {
+    private op;
+    constructor(op: Value);
+    getExpectedSuccessorCount(): number;
+    getOp(): Value;
+    setReturnValue(returnValue: Value): void;
+    toString(): string;
+    getUses(): Value[];
+}
+export declare class ArkReturnVoidStmt extends Stmt {
+    constructor();
+    getExpectedSuccessorCount(): number;
+    toString(): string;
+}
+export declare class ArkSwitchStmt extends Stmt {
+    private key;
+    private cases;
+    constructor(key: Value, cases: Value[]);
+    getKey(): Value;
+    getCases(): Value[];
+    isBranch(): boolean;
+    getExpectedSuccessorCount(): number;
+    toString(): string;
+    getUses(): Value[];
+}
+export declare class ArkThrowStmt extends Stmt {
+    private op;
+    constructor(op: Value);
+    getOp(): Value;
+    toString(): string;
+    getUses(): Value[];
+}
+//# sourceMappingURL=Stmt.d.ts.map

package/lib/core/base/Stmt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Stmt.d.ts","sourceRoot":"","sources":["../../../src/core/base/Stmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,OAAO,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE3D;;GAEG;AACH,8BAAsB,IAAI;IACtB,SAAS,CAAC,IAAI,EAAE,MAAM,CAAM;IAC5B,SAAS,CAAC,QAAQ,EAAE,eAAe,CAA2B;IAC9D,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAAQ;IACjC,SAAS,CAAC,wBAAwB,EAAE,YAAY,EAAE,GAAG,IAAI,CAAQ;IAEjE,+DAA+D;IACxD,OAAO,IAAI,KAAK,EAAE;IAIlB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,IAAI;IAKrD,qDAAqD;IAC9C,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,aAAa,IAAI,KAAK,EAAE;IAWxB,MAAM,IAAI,GAAG,GAAG,IAAI;IAIpB,MAAM,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAI7B;;;OAGG;IACI,QAAQ,IAAI,OAAO;IAI1B,qEAAqE;IAC9D,yBAAyB,IAAI,MAAM;IAInC,kBAAkB,IAAI,OAAO;IAS7B,aAAa,IAAI,kBAAkB,GAAG,SAAS;IAS/C,QAAQ,IAAI,YAAY,EAAE;IAU1B,gBAAgB,IAAI,OAAO;IAY3B,WAAW,IAAI,WAAW,GAAG,SAAS;IActC,gBAAgB,IAAI,OAAO;IAa3B,WAAW,IAAI,gBAAgB,GAAG,SAAS;IAY3C,eAAe,CAAC,QAAQ,EAAE,eAAe;IAIzC,eAAe,IAAI,eAAe;IAIlC,qBAAqB,IAAI,eAAe;IAS/C,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAEpB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,2BAA2B,CAAC,wBAAwB,EAAE,YAAY,EAAE,GAAG,IAAI;IAI3E,0BAA0B,CAAC,cAAc,EAAE,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,IAAI;CAmBzF;AAED,qBAAa,YAAa,SAAQ,IAAI;gBACtB,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe;IAM5C,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,OAAO,CAAQ;gBAEX,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK;IAMlC,SAAS,IAAI,KAAK;IAIlB,SAAS,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI;IAIjC,UAAU,IAAI,KAAK;IAInB,UAAU,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAIhC,QAAQ,IAAI,MAAM;IAKlB,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,OAAO,IAAI,KAAK,EAAE;CAO5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,UAAU,CAAqB;gBAE3B,UAAU,EAAE,kBAAkB;IAKnC,iBAAiB,CAAC,OAAO,EAAE,kBAAkB;IAI7C,aAAa;IAIb,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,aAAa,CAAmB;gBAE5B,aAAa,EAAE,gBAAgB;IAKpC,oBAAoB;IAIpB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,yBAAyB,IAAI,MAAM;IAInC,KAAK,IAAI,KAAK;IAId,cAAc,CAAC,WAAW,EAAE,KAAK,GAAG,IAAI;IAIxC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,iBAAkB,SAAQ,IAAI;;IAKhC,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,KAAK,CAAU;gBAEX,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;IAM/B,MAAM,IAAI,KAAK;IAIf,QAAQ,IAAI,KAAK,EAAE;IAInB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAelB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B"}

package/lib/core/base/Stmt.js

@@ -0,0 +1,374 @@
+"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 });
+exports.ArkThrowStmt = exports.ArkSwitchStmt = exports.ArkReturnVoidStmt = exports.ArkReturnStmt = exports.ArkIfStmt = exports.ArkInvokeStmt = exports.ArkAssignStmt = exports.OriginalStmt = exports.Stmt = void 0;
+const StmtUseReplacer_1 = require("../common/StmtUseReplacer");
+const Expr_1 = require("./Expr");
+const Ref_1 = require("./Ref");
+const Position_1 = require("./Position");
+/**
+ * @category core/base/stmt
+ */
+class Stmt {
+    constructor() {
+        this.text = '';
+        this.position = Position_1.LineColPosition.DEFAULT;
+        this.cfg = null;
+        this.operandOriginalPositions = null; // operandOriginalPositions correspond with
+    }
+    // def and uses one by one
+    /** Return a list of values which are uesd in this statement */
+    getUses() {
+        return [];
+    }
+    replaceUse(oldUse, newUse) {
+        let stmtUseReplacer = new StmtUseReplacer_1.StmtUseReplacer(oldUse, newUse);
+        stmtUseReplacer.caseStmt(this);
+    }
+    /** Return the def which is uesd in this statement */
+    getDef() {
+        return null;
+    }
+    getDefAndUses() {
+        const defAndUses = [];
+        const def = this.getDef();
+        if (def) {
+            defAndUses.push(def);
+        }
+        defAndUses.push(...this.getUses());
+        return defAndUses;
+    }
+    getCfg() {
+        return this.cfg;
+    }
+    setCfg(cfg) {
+        this.cfg = cfg;
+    }
+    /**
+     * Return true if the following statement may not execute after this statement.
+     * The ArkIfStmt and ArkGotoStmt will return true.
+     */
+    isBranch() {
+        return false;
+    }
+    /** Return the number of statements which this statement may go to */
+    getExpectedSuccessorCount() {
+        return 1;
+    }
+    containsInvokeExpr() {
+        for (const use of this.getUses()) {
+            if (use instanceof Expr_1.AbstractInvokeExpr) {
+                return true;
+            }
+        }
+        return false;
+    }
+    getInvokeExpr() {
+        for (const use of this.getUses()) {
+            if (use instanceof Expr_1.AbstractInvokeExpr) {
+                return use;
+            }
+        }
+        return undefined;
+    }
+    getExprs() {
+        let exprs = [];
+        for (const use of this.getUses()) {
+            if (use instanceof Expr_1.AbstractExpr) {
+                exprs.push(use);
+            }
+        }
+        return exprs;
+    }
+    containsArrayRef() {
+        for (const use of this.getUses()) {
+            if (use instanceof Ref_1.ArkArrayRef) {
+                return true;
+            }
+        }
+        if (this.getDef() instanceof Ref_1.ArkArrayRef) {
+            return true;
+        }
+        return false;
+    }
+    getArrayRef() {
+        for (const use of this.getUses()) {
+            if (use instanceof Ref_1.ArkArrayRef) {
+                return use;
+            }
+        }
+        if (this.getDef() instanceof Ref_1.ArkArrayRef) {
+            return undefined;
+        }
+        return undefined;
+    }
+    containsFieldRef() {
+        for (const use of this.getUses()) {
+            if (use instanceof Ref_1.AbstractFieldRef) {
+                return true;
+            }
+        }
+        if (this.getDef() instanceof Ref_1.AbstractFieldRef) {
+            return true;
+        }
+        return false;
+    }
+    getFieldRef() {
+        for (const use of this.getUses()) {
+            if (use instanceof Ref_1.AbstractFieldRef) {
+                return use;
+            }
+        }
+        if (this.getDef() instanceof Ref_1.AbstractFieldRef) {
+            return undefined;
+        }
+        return undefined;
+    }
+    setPositionInfo(position) {
+        this.position = position;
+    }
+    getPositionInfo() {
+        return this.position;
+    }
+    getOriginPositionInfo() {
+        var _a, _b, _c, _d, _e;
+        const originPositionInfo = (_e = (_d = (_c = (_b = (_a = this.cfg) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod()) === null || _b === void 0 ? void 0 : _b.getBody()) === null || _c === void 0 ? void 0 : _c.getStmtToOriginalStmt()) === null || _d === void 0 ? void 0 : _d.get(this)) === null || _e === void 0 ? void 0 : _e.position;
+        if (!originPositionInfo) {
+            return Position_1.LineColPosition.DEFAULT;
+        }
+        return originPositionInfo;
+    }
+    setText(text) {
+        this.text = text;
+    }
+    setOperandOriginalPositions(operandOriginalPositions) {
+        this.operandOriginalPositions = operandOriginalPositions;
+    }
+    ;
+    getOperandOriginalPosition(indexOrOperand) {
+        let index = -1;
+        if (typeof indexOrOperand !== 'number') {
+            let operands = this.getDefAndUses();
+            for (let i = 0; i < operands.length; i++) {
+                if (operands[i] === indexOrOperand) {
+                    index = i;
+                    break;
+                }
+            }
+        }
+        else {
+            index = indexOrOperand;
+        }
+        if (!this.operandOriginalPositions || index < 0 || index > this.operandOriginalPositions.length) {
+            return null;
+        }
+        return this.operandOriginalPositions[index];
+    }
+    ;
+}
+exports.Stmt = Stmt;
+class OriginalStmt extends Stmt {
+    constructor(text, position) {
+        super();
+        this.text = text;
+        this.position = position;
+    }
+    toString() {
+        return this.text;
+    }
+}
+exports.OriginalStmt = OriginalStmt;
+class ArkAssignStmt extends Stmt {
+    constructor(leftOp, rightOp) {
+        super();
+        this.leftOp = leftOp;
+        this.rightOp = rightOp;
+    }
+    getLeftOp() {
+        return this.leftOp;
+    }
+    setLeftOp(newLeftOp) {
+        this.leftOp = newLeftOp;
+    }
+    getRightOp() {
+        return this.rightOp;
+    }
+    setRightOp(rightOp) {
+        this.rightOp = rightOp;
+    }
+    toString() {
+        const str = this.getLeftOp() + ' = ' + this.getRightOp();
+        return str;
+    }
+    getDef() {
+        return this.leftOp;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(...this.leftOp.getUses());
+        uses.push(this.rightOp);
+        uses.push(...this.rightOp.getUses());
+        return uses;
+    }
+}
+exports.ArkAssignStmt = ArkAssignStmt;
+class ArkInvokeStmt extends Stmt {
+    constructor(invokeExpr) {
+        super();
+        this.invokeExpr = invokeExpr;
+    }
+    replaceInvokeExpr(newExpr) {
+        this.invokeExpr = newExpr;
+    }
+    getInvokeExpr() {
+        return this.invokeExpr;
+    }
+    toString() {
+        const str = this.invokeExpr.toString();
+        return str;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(this.invokeExpr);
+        uses.push(...this.invokeExpr.getUses());
+        return uses;
+    }
+}
+exports.ArkInvokeStmt = ArkInvokeStmt;
+class ArkIfStmt extends Stmt {
+    constructor(conditionExpr) {
+        super();
+        this.conditionExpr = conditionExpr;
+    }
+    getConditionExprExpr() {
+        return this.conditionExpr;
+    }
+    isBranch() {
+        return true;
+    }
+    getExpectedSuccessorCount() {
+        return 2;
+    }
+    toString() {
+        const str = 'if ' + this.conditionExpr;
+        return str;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(this.conditionExpr);
+        uses.push(...this.conditionExpr.getUses());
+        return uses;
+    }
+}
+exports.ArkIfStmt = ArkIfStmt;
+class ArkReturnStmt extends Stmt {
+    constructor(op) {
+        super();
+        this.op = op;
+    }
+    getExpectedSuccessorCount() {
+        return 0;
+    }
+    getOp() {
+        return this.op;
+    }
+    setReturnValue(returnValue) {
+        this.op = returnValue;
+    }
+    toString() {
+        const str = 'return ' + this.op;
+        return str;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(this.op);
+        uses.push(...this.op.getUses());
+        return uses;
+    }
+}
+exports.ArkReturnStmt = ArkReturnStmt;
+class ArkReturnVoidStmt extends Stmt {
+    constructor() {
+        super();
+    }
+    getExpectedSuccessorCount() {
+        return 0;
+    }
+    toString() {
+        const str = 'return';
+        return str;
+    }
+}
+exports.ArkReturnVoidStmt = ArkReturnVoidStmt;
+class ArkSwitchStmt extends Stmt {
+    constructor(key, cases) {
+        super();
+        this.key = key;
+        this.cases = cases;
+    }
+    getKey() {
+        return this.key;
+    }
+    getCases() {
+        return this.cases;
+    }
+    isBranch() {
+        return true;
+    }
+    getExpectedSuccessorCount() {
+        return this.cases.length + 1;
+    }
+    toString() {
+        let strs = [];
+        strs.push('switch(' + this.key + ') {');
+        for (const c of this.cases) {
+            strs.push('case ');
+            strs.push(c.toString());
+            strs.push(': ');
+            strs.push(', ');
+        }
+        strs.push('default : }');
+        const str = strs.join('');
+        return str;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(this.key);
+        uses.push(...this.key.getUses());
+        return uses;
+    }
+}
+exports.ArkSwitchStmt = ArkSwitchStmt;
+class ArkThrowStmt extends Stmt {
+    constructor(op) {
+        super();
+        this.op = op;
+    }
+    getOp() {
+        return this.op;
+    }
+    toString() {
+        const str = 'throw ' + this.op;
+        return str;
+    }
+    getUses() {
+        let uses = [];
+        uses.push(this.op);
+        uses.push(...this.op.getUses());
+        return uses;
+    }
+}
+exports.ArkThrowStmt = ArkThrowStmt;

package/lib/core/base/Type.d.ts

@@ -0,0 +1,220 @@
+import { ClassSignature, LocalSignature, MethodSignature, NamespaceSignature } from '../model/ArkSignature';
+import { ArkExport, ExportType } from '../model/ArkExport';
+import { Decorator } from './Decorator';
+import { LineColPosition } from './Position';
+/**
+ * @category core/base/type
+ */
+export declare abstract class Type {
+    abstract toString(): string;
+}
+/**
+ * any type
+ * @category core/base/type
+ */
+export declare class AnyType extends Type {
+    private static readonly INSTANCE;
+    static getInstance(): AnyType;
+    constructor();
+    toString(): string;
+}
+/**
+ * unknown type
+ * @category core/base/type
+ */
+export declare class UnknownType extends Type {
+    private static readonly INSTANCE;
+    static getInstance(): UnknownType;
+    constructor();
+    toString(): string;
+}
+/**
+ * unclear type
+ * @category core/base/type
+ */
+export declare class UnclearReferenceType extends Type {
+    private name;
+    private genericTypes;
+    constructor(name: string, genericTypes?: Type[]);
+    getName(): string;
+    getGenericTypes(): Type[];
+    toString(): string;
+}
+/**
+ * primitive type
+ * @category core/base/type
+ */
+export declare abstract class PrimitiveType extends Type {
+    private name;
+    constructor(name: string);
+    getName(): string;
+    toString(): string;
+}
+export declare class BooleanType extends PrimitiveType {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): BooleanType;
+}
+export declare class NumberType extends PrimitiveType {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): NumberType;
+}
+export declare class StringType extends PrimitiveType {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): StringType;
+}
+/**
+ * null type
+ * @category core/base/type
+ */
+export declare class NullType extends PrimitiveType {
+    private static readonly INSTANCE;
+    static getInstance(): NullType;
+    constructor();
+}
+/**
+ * undefined type
+ * @category core/base/type
+ */
+export declare class UndefinedType extends PrimitiveType {
+    private static readonly INSTANCE;
+    static getInstance(): UndefinedType;
+    constructor();
+}
+/**
+ * literal type
+ * @category core/base/type
+ */
+export declare class LiteralType extends PrimitiveType {
+    static readonly TRUE: LiteralType;
+    static readonly FALSE: LiteralType;
+    private literalName;
+    constructor(literalName: string | number | boolean);
+    getLiteralName(): string | number | boolean;
+    toString(): string;
+}
+/**
+ * union type
+ * @category core/base/type
+ */
+export declare class UnionType extends Type {
+    private types;
+    private currType;
+    constructor(types: Type[], currType?: Type);
+    getTypes(): Type[];
+    getCurrType(): Type;
+    setCurrType(newType: Type): void;
+    toString(): string;
+}
+/**
+ * types for function void return type
+ * @category core/base/type
+ */
+export declare class VoidType extends Type {
+    private static readonly INSTANCE;
+    static getInstance(): VoidType;
+    constructor();
+    toString(): string;
+}
+export declare class NeverType extends Type {
+    private static readonly INSTANCE;
+    static getInstance(): NeverType;
+    constructor();
+    toString(): string;
+}
+/**
+ * function type
+ * @category core/base/type
+ */
+export declare class FunctionType extends Type {
+    private methodSignature;
+    private realGenericTypes?;
+    constructor(methodSignature: MethodSignature, realGenericTypes?: Type[]);
+    getMethodSignature(): MethodSignature;
+    getRealGenericTypes(): Type[] | undefined;
+    toString(): string;
+}
+/**
+ * type of an object
+ * @category core/base/type
+ */
+export declare class ClassType extends Type {
+    private classSignature;
+    private realGenericTypes?;
+    constructor(classSignature: ClassSignature, realGenericTypes?: Type[]);
+    getClassSignature(): ClassSignature;
+    setClassSignature(newClassSignature: ClassSignature): void;
+    getRealGenericTypes(): Type[] | undefined;
+    setRealGenericTypes(types: Type[] | undefined): void;
+    toString(): string;
+}
+export declare class ArrayType extends Type {
+    private baseType;
+    private dimension;
+    constructor(baseType: Type, dimension: number);
+    getBaseType(): Type;
+    setBaseType(newType: Type): void;
+    getDimension(): number;
+    toString(): string;
+}
+export declare class TupleType extends Type {
+    private types;
+    constructor(types: Type[]);
+    getTypes(): Type[];
+    toString(): string;
+}
+export declare class AliasType extends Type implements ArkExport {
+    private originalType;
+    private name;
+    private signature;
+    constructor(name: string, originalType: Type, signature: LocalSignature);
+    getName(): string;
+    setOriginalType(type: Type): void;
+    getOriginalType(): Type;
+    toString(): string;
+    getExportType(): ExportType;
+    getModifiers(): Set<string | Decorator>;
+    getSignature(): LocalSignature;
+}
+export declare class GenericType extends Type {
+    private name;
+    private defaultType?;
+    private constraint?;
+    private index?;
+    constructor(name: string, defaultType?: Type, constraint?: Type);
+    getName(): string;
+    getDefaultType(): Type | undefined;
+    setDefaultType(type: Type): void;
+    getConstraint(): Type | undefined;
+    setConstraint(type: Type): void;
+    setIndex(index: number): void;
+    getIndex(): number;
+    toString(): string;
+}
+export declare class AliasTypeDeclaration {
+    private sourceCode;
+    private position;
+    constructor(sourceCode: string, position: LineColPosition);
+    getSourceCode(): string;
+    getPosition(): LineColPosition;
+}
+export declare abstract class AnnotationType extends Type {
+    private originType;
+    protected constructor(originType: string);
+    getOriginType(): string;
+    toString(): string;
+}
+export declare class AnnotationNamespaceType extends AnnotationType {
+    private namespaceSignature;
+    static getInstance(signature: NamespaceSignature): AnnotationNamespaceType;
+    getNamespaceSignature(): NamespaceSignature;
+    setNamespaceSignature(signature: NamespaceSignature): void;
+    constructor(originType: string);
+    getOriginType(): string;
+}
+export declare class AnnotationTypeQueryType extends AnnotationType {
+    constructor(originType: string);
+}
+//# sourceMappingURL=Type.d.ts.map