arkanalyzer 1.0.85 → 1.0.87

package/lib/frontend/cppFrontend/base/Type.d.ts

@@ -0,0 +1,264 @@
+import { Type, NumberType, GenericType } from '../../../core/base/Type';
+import { Value } from '../../../core/base/Value';
+/** Enum representing the bitWidth of Cxx types. */
+export declare enum CxxTypeBitWidth {
+    EIGHT_BITS = 8,
+    SIXTEEN_BITS = 16,
+    THIRTY_TWO_BITS = 32,
+    SIXTY_FOUR_BITS = 64,
+    UNKNOWN = -1
+}
+/** Enum representing the signedness attribute of Cxx types. */
+export declare enum CxxTypeSigned {
+    UNSIGNED = 0,
+    SIGNED = 1,
+    UNKNOWN = -1
+}
+/** Enumerate the standard library types of Cxx */
+export declare enum CxxStdTypeName {
+    CHAR = 1,
+    SIGNED_CHAR = 2,
+    UNSIGNED_CHAR = 3,
+    WCHAR_T = 4,
+    CHAR16_T = 5,
+    CHAR32_T = 6,
+    SHORT = 7,
+    UNSIGNED_SHORT = 8,
+    INT = 9,
+    UNSIGNED_INT = 10,
+    LONG = 11,
+    UNSIGNED_LONG = 12,
+    LONG_LONG = 13,
+    UNSIGNED_LONG_LONG = 14,
+    UINT8_T = 15,
+    UINT16_T = 16,
+    UINT32_T = 17,
+    UINT64_T = 18,
+    INT8_T = 19,
+    INT16_T = 20,
+    INT32_T = 21,
+    INT64_T = 22,
+    SIZE_T = 23,
+    INTPTR_T = 24,
+    UINTPTR_T = 25
+}
+/**
+ * integral type in cxx, for example int, short, long and so on.
+ * @category core/base/type
+ */
+export declare class CxxIntegralType extends NumberType {
+    protected readonly signType: CxxTypeSigned;
+    protected readonly bitWidth: CxxTypeBitWidth;
+    protected readonly oriTypeName?: CxxStdTypeName;
+    protected constructor(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName);
+    static getInstance(signType?: CxxTypeSigned, size?: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxIntegralType;
+    getSignType(): CxxTypeSigned;
+    getBitWidth(): CxxTypeBitWidth;
+    getOriTypeName(): CxxStdTypeName | undefined;
+}
+/**
+ * int type in cxx
+ * @category core/base/type
+ */
+export declare class CxxIntType extends CxxIntegralType {
+    static getInstance(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxIntType;
+    getTypeString(): string;
+}
+/**
+ * short type in cxx
+ * @category core/base/type
+ */
+export declare class CxxShortType extends CxxIntegralType {
+    static getInstance(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxShortType;
+    getTypeString(): string;
+}
+/**
+ * long type in cxx
+ * @category core/base/type
+ */
+export declare class CxxLongType extends CxxIntegralType {
+    static getInstance(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxLongType;
+    getTypeString(): string;
+}
+/**
+ * long long type in cxx
+ * @category core/base/type
+ */
+export declare class CxxLongLongType extends CxxIntegralType {
+    static getInstance(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxLongLongType;
+    getTypeString(): string;
+}
+/**
+ * size_t type in cxx
+ * @category core/base/type
+ */
+export declare class CxxSizeTType extends CxxIntegralType {
+    static getInstance(signType: CxxTypeSigned, bitWidth: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxSizeTType;
+    getTypeString(): string;
+}
+/**
+ * floating-point types in cxx, for example float, double and so on.
+ * @category core/base/type
+ */
+export declare class CxxFloatingPointType extends NumberType {
+    static getInstance(): CxxFloatingPointType;
+    getBitWith(): CxxTypeBitWidth;
+}
+/**
+ * float type in cxx
+ * @category core/base/type
+ */
+export declare class CxxFloatType extends CxxFloatingPointType {
+    static getInstance(): CxxFloatType;
+    getTypeString(): string;
+    getBitWidth(): CxxTypeBitWidth;
+}
+/**
+ * double type in cxx
+ * @category core/base/type
+ */
+export declare class CxxDoubleType extends CxxFloatingPointType {
+    static getInstance(): CxxDoubleType;
+    getTypeString(): string;
+    getBitWidth(): CxxTypeBitWidth;
+}
+/**
+ * long double type in cxx
+ * @category core/base/type
+ */
+export declare class CxxLongDoubleType extends CxxFloatingPointType {
+    static getInstance(): CxxLongDoubleType;
+    getTypeString(): string;
+    getBitWidth(): CxxTypeBitWidth;
+}
+/**
+ * char type in cxx
+ * @category core/base/type
+ */
+export declare class CxxCharType extends Type {
+    private readonly signType;
+    private readonly bitWidth;
+    private readonly oriTypeName?;
+    private constructor();
+    static getInstance(signType?: CxxTypeSigned, size?: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxCharType;
+    getSignType(): CxxTypeSigned;
+    getBitWidth(): CxxTypeBitWidth;
+    getOriTypeName(): CxxStdTypeName | undefined;
+    getTypeString(): string;
+}
+/**
+ * wchar_t type in cxx
+ * @category core/base/type
+ */
+export declare class CxxWcharType extends CxxIntegralType {
+    static getInstance(signType?: CxxTypeSigned, size?: CxxTypeBitWidth, oriTypeName?: CxxStdTypeName): CxxWcharType;
+    getTypeString(): string;
+}
+/**
+ *PointerType class represents pointer type, inherited from Type base class
+ *Pointer types used to represent C language style, such as int *, char * *, etc
+ */
+export declare class PointerType extends Type {
+    private baseType;
+    private level;
+    private isConstPointer;
+    private isPointerToConst;
+    private isVolatilePointer;
+    private isPointerToVolatileType;
+    constructor(baseType: Type, level: number);
+    getBaseType(): Type;
+    setBaseType(newBaseType: Type): void;
+    getLevel(): number;
+    getTypeString(): string;
+    getIsConstPointer(): boolean;
+    setIsConstPointer(isConstPointer: boolean): void;
+    getIsPointerToConst(): boolean;
+    setIsPointerToConst(isPointerToConst: boolean): void;
+    getIsVolatilePointer(): boolean;
+    setIsVolatilePointer(isVolatilePointer: boolean): void;
+    getIsPointerToVolatileType(): boolean;
+    setIsPointerToVolatileType(isPointerToVolatileType: boolean): void;
+}
+export declare enum SmartPointerCategory {
+    UNKNOWN = -1,
+    UNIQUE_PTR = 0,
+    SHARED_PTR = 1,
+    WEAK_PTR = 2
+}
+export declare class SmartPointerType extends PointerType {
+    private category;
+    constructor(baseType: Type, level: number, source: string);
+    getCategory(): SmartPointerCategory;
+    setCategory(category: SmartPointerCategory): void;
+    getTypeString(): string;
+}
+/**
+ *Reference category enumeration, used to distinguish different types of references
+ *LVALUE_REF: Left value reference, the reference type of address can be obtained
+ *RVALUE_REF: Right value reference, used to bind the reference type of temporary object
+ *UNIVERSAL_REF: universal reference, which can bind reference types of left or right values
+ */
+export declare enum ReferCategory {
+    LVALUE_REF = 0,
+    RVALUE_REF = 1,
+    UNIVERSAL_REF = 2
+}
+/**
+ *The ReferenceType class represents the reference type, inherited from the Type base class
+ *Used to represent the type of left value reference (&) and right value reference (&&) in C++
+ */
+export declare class ReferenceType extends Type {
+    private baseType;
+    private category;
+    private sourceValue?;
+    constructor(bassType: Type, category: ReferCategory, sourceValue?: Value);
+    getBaseType(): Type;
+    setBaseType(newBaseType: Type): void;
+    getCategory(): ReferCategory;
+    setSourceValue(sourceValue: Value): void;
+    getSourceValue(): Value | undefined;
+    getTypeString(): string;
+}
+/**
+ *The Thread class inherits from the Type class and represents a thread type
+ *This class provides the basic implementation of thread types
+ */
+export declare class Thread extends Type {
+    constructor();
+    getTypeString(): string;
+}
+export declare class TypeInfo extends Type {
+    private name;
+    private type;
+    constructor(name: string, type: Type);
+    getName(): string;
+    getType(): Type;
+    getTypeString(): string;
+}
+export declare class CxxNonType extends GenericType {
+    constructor(name: string, defaultType?: Type, isAutoType?: boolean);
+}
+export declare class CxxArrayType extends Type {
+    private baseType;
+    private dimension;
+    private dimensionSizes;
+    constructor(baseType: Type, dimension: number, dimensionSizes?: number[]);
+    /**
+     * Returns the base type of this array, such as `Any`, `Unknown`, `TypeParameter`, etc.
+     * @returns The base type of array.
+     */
+    getBaseType(): Type;
+    setBaseType(newType: Type): void;
+    getDimension(): number;
+    getDimensionSizes(): number[];
+    setDimensionSizes(sizes: number[]): void;
+    getDimensionSize(index: number): number;
+    getTypeString(): string;
+}
+export declare class AutoType extends Type {
+    private static readonly INSTANCE;
+    static getInstance(): AutoType;
+    private constructor();
+    getTypeString(): string;
+}
+//# sourceMappingURL=Type.d.ts.map

package/lib/frontend/cppFrontend/base/Type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/base/Type.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAa,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEjD,mDAAmD;AACnD,oBAAY,eAAe;IACvB,UAAU,IAAI;IACd,YAAY,KAAK;IACjB,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,OAAO,KAAK;CACf;AAED,+DAA+D;AAC/D,oBAAY,aAAa;IACrB,QAAQ,IAAI;IACZ,MAAM,IAAI;IACV,OAAO,KAAK;CACf;AAED,kDAAkD;AAClD,oBAAY,cAAc;IACtB,IAAI,IAAI;IACR,WAAW,IAAA;IACX,aAAa,IAAA;IACb,OAAO,IAAA;IACP,QAAQ,IAAA;IACR,QAAQ,IAAA;IACR,KAAK,IAAA;IACL,cAAc,IAAA;IACd,GAAG,IAAA;IACH,YAAY,KAAA;IACZ,IAAI,KAAA;IACJ,aAAa,KAAA;IACb,SAAS,KAAA;IACT,kBAAkB,KAAA;IAClB,OAAO,KAAA;IACP,QAAQ,KAAA;IACR,QAAQ,KAAA;IACR,QAAQ,KAAA;IACR,MAAM,KAAA;IACN,OAAO,KAAA;IACP,OAAO,KAAA;IACP,OAAO,KAAA;IACP,MAAM,KAAA;IACN,QAAQ,KAAA;IACR,SAAS,KAAA;CACZ;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IAC3C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC7C,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC;IAEhD,SAAS,aAAa,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc;WAOxF,WAAW,CAAC,QAAQ,GAAE,aAAqC,EAC/C,IAAI,GAAE,eAAyC,EAC/C,WAAW,CAAC,EAAE,cAAc,GAAG,eAAe;IAIjE,WAAW,IAAI,aAAa;IAI5B,WAAW,IAAI,eAAe;IAI9B,cAAc,IAAI,cAAc,GAAG,SAAS;CAGtD;AAED;;;GAGG;AACH,qBAAa,UAAW,SAAQ,eAAe;WAC7B,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc,GAAG,UAAU;IAIhH,aAAa,IAAI,MAAM;CAQjC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,eAAe;WAC/B,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc,GAAG,YAAY;IAIlH,aAAa,IAAI,MAAM;CAOjC;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,eAAe;WAC9B,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc,GAAG,WAAW;IAIjH,aAAa,IAAI,MAAM;CAOjC;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,eAAe;WAClC,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc,GAAG,eAAe;IAIrH,aAAa,IAAI,MAAM;CAOjC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,eAAe;WAC/B,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,cAAc,GAAG,YAAY;IAIlH,aAAa,IAAI,MAAM;CAGjC;AAED;;;GAGG;AACH,qBAAa,oBAAqB,SAAQ,UAAU;WAClC,WAAW,IAAI,oBAAoB;IAG1C,UAAU,IAAI,eAAe;CAGvC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,oBAAoB;WACpC,WAAW,IAAI,YAAY;IAIlC,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,eAAe;CAGxC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,oBAAoB;WACrC,WAAW,IAAI,aAAa;IAInC,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,eAAe;CAGxC;AAED;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,oBAAoB;WACzC,WAAW,IAAI,iBAAiB;IAIvC,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,eAAe;CAGxC;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgB;IACzC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkB;IAC3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAiB;IAE9C,OAAO;WAOO,WAAW,CAAC,QAAQ,GAAE,aAAqC,EAC/C,IAAI,GAAE,eAAyC,EAC/C,WAAW,CAAC,EAAE,cAAc,GAAG,WAAW;IAI7D,WAAW,IAAI,aAAa;IAI5B,WAAW,IAAI,eAAe;IAI9B,cAAc,IAAI,cAAc,GAAG,SAAS;IAI5C,aAAa,IAAI,MAAM;CAQjC;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,eAAe;WAC/B,WAAW,CAAC,QAAQ,GAAE,aAAqC,EAC/C,IAAI,GAAE,eAAyC,EAC/C,WAAW,CAAC,EAAE,cAAc,GAAG,YAAY;IAI9D,aAAa,IAAI,MAAM;CAGjC;AA2DD;;;GAGG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,cAAc,CAAkB;IACxC,OAAO,CAAC,gBAAgB,CAAkB;IAC1C,OAAO,CAAC,iBAAiB,CAAkB;IAC3C,OAAO,CAAC,uBAAuB,CAAkB;gBACrC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM;IAMlC,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI;IAIpC,QAAQ,IAAI,MAAM;IAIlB,aAAa,IAAI,MAAM;IAavB,iBAAiB,IAAI,OAAO;IAI5B,iBAAiB,CAAC,cAAc,EAAE,OAAO,GAAG,IAAI;IAIhD,mBAAmB,IAAI,OAAO;IAI9B,mBAAmB,CAAC,gBAAgB,EAAE,OAAO,GAAG,IAAI;IAIpD,oBAAoB,IAAI,OAAO;IAI/B,oBAAoB,CAAC,iBAAiB,EAAE,OAAO,GAAG,IAAI;IAItD,0BAA0B,IAAI,OAAO;IAIrC,0BAA0B,CAAC,uBAAuB,EAAE,OAAO,GAAG,IAAI;CAG5E;AAED,oBAAY,oBAAoB;IAC5B,OAAO,KAAK;IACZ,UAAU,IAAI;IACd,UAAU,IAAI;IACd,QAAQ,IAAI;CACf;AAED,qBAAa,gBAAiB,SAAQ,WAAW;IAC7C,OAAO,CAAC,QAAQ,CAAuB;gBAC3B,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IAalD,WAAW,IAAI,oBAAoB;IAInC,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAIjD,aAAa,IAAI,MAAM;CAajC;AAED;;;;;GAKG;AACH,oBAAY,aAAa;IACrB,UAAU,IAAI;IACd,UAAU,IAAI;IACd,aAAa,IAAI;CACpB;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,QAAQ,CAAgB;IAChC,OAAO,CAAC,WAAW,CAAC,CAAQ;gBAEhB,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,KAAK;IAOjE,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI;IAIpC,WAAW,IAAI,aAAa;IAI5B,cAAc,CAAC,WAAW,EAAE,KAAK,GAAG,IAAI;IAIxC,cAAc,IAAI,KAAK,GAAG,SAAS;IAInC,aAAa,IAAI,MAAM;CAejC;AAED;;;GAGG;AACH,qBAAa,MAAO,SAAQ,IAAI;;IAK5B,aAAa,IAAI,MAAM;CAG1B;AAED,qBAAa,QAAS,SAAQ,IAAI;IAC9B,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,IAAI,CAAO;gBAEP,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI;IAM7B,OAAO,IAAI,MAAM;IAIjB,OAAO,IAAI,IAAI;IAIf,aAAa,IAAI,MAAM;CAGjC;AAED,qBAAa,UAAW,SAAQ,WAAW;gBAC3B,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,GAAE,OAAe;CAG5E;AAED,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,cAAc,CAAW;gBACrB,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE;IAQxE;;;OAGG;IACI,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,YAAY,IAAI,MAAM;IAItB,iBAAiB,IAAI,MAAM,EAAE;IAI7B,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAOxC,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAOvC,aAAa,IAAI,MAAM;CAiBjC;AAED,qBAAa,QAAS,SAAQ,IAAI;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAkB;WAEpC,WAAW,IAAI,QAAQ;IAIrC,OAAO;IAIA,aAAa,IAAI,MAAM;CAGjC"}