import type * as Common from "../common";
import type * as Storage from "../storage/types";
import type * as Ast from "../ast";
import type { StorageAllocations, StateAllocations } from "../storage/allocate/types";
import type { MemoryAllocations } from "../memory/allocate/types";
import type { AbiAllocations, CalldataAllocations, ReturndataAllocations, EventAllocations } from "../abi-data/allocate/types";
import type * as Contexts from "../contexts/types";
import type * as Format from "../format";
export interface EvmState {
    storage: WordMapping;
    stack?: Uint8Array[];
    memory?: Uint8Array;
    calldata?: Uint8Array;
    code?: Uint8Array;
    specials?: {
        [builtin: string]: Uint8Array;
    };
    eventdata?: Uint8Array;
    eventtopics?: Uint8Array[];
    returndata?: Uint8Array;
}
export interface WordMapping {
    [slotAddress: string]: Uint8Array;
}
export interface EvmInfo {
    state: EvmState;
    mappingKeys?: Storage.Slot[];
    userDefinedTypes?: Format.Types.TypesById;
    allocations: AllocationInfo;
    contexts?: Contexts.Contexts;
    currentContext?: Contexts.Context;
    internalFunctionsTable?: InternalFunctions;
    internalFunctionsTableKind?: InternalFunctionsTableKind;
}
export type InternalFunctionsTableKind = "pcpair" | "index";
export interface AllocationInfo {
    storage?: StorageAllocations;
    memory?: MemoryAllocations;
    abi?: AbiAllocations;
    calldata?: CalldataAllocations;
    returndata?: ReturndataAllocations;
    event?: EventAllocations;
    state?: StateAllocations;
}
export interface InternalFunctions {
    [pcOrIndex: number]: InternalFunction;
}
export interface InternalFunction {
    sourceIndex?: number;
    compilationId?: string;
    pointer?: string;
    node?: Ast.AstNode;
    name?: string;
    id?: number;
    mutability?: Common.Mutability;
    contractPointer?: string;
    contractNode?: Ast.AstNode;
    contractName?: string;
    contractId?: number;
    contractKind?: Common.ContractKind;
    contractPayable?: boolean;
    isDesignatedInvalid: boolean;
}