import { type Expr, type Inst, type Stmt } from './ast';
import type { IEvents } from './ast/log';
import { type IStore } from './ast/storage';
import type { IReverts, Revert } from './ast/system';
import { arrayify } from './.bytes';
import { EVM } from './evm';
import { type Metadata } from './metadata';
import { State } from './state';
import { type Members, type Opcode } from './step';
/**
 *
 */
export declare const ERCIds: ("ERC1155" | "ERC1155MetadataURI" | "ERC165" | "ERC173" | "ERC20" | "ERC20Metadata" | "ERC721" | "ERC721Enumerable" | "ERC721Metadata")[];
/**
 *
 */
export declare class Contract {
    /**
     * The `bytecode` used to create this `Contract`.
     */
    readonly bytecode: Uint8Array;
    /**
     * The `metadataHash` part from the `bytecode`.
     * That is, if present, the `bytecode` without its `code`.
     */
    readonly metadata: Metadata | undefined;
    /**
     *
     */
    readonly main: Stmt[];
    readonly events: IEvents;
    readonly variables: IStore['variables'];
    readonly mappings: IStore['mappings'];
    readonly functionBranches: Members['functionBranches'];
    readonly reverts: IReverts;
    /**
     * Symbolic execution `errors` found during interpretation of `this.bytecode`.
     */
    readonly errors: EVM<string>['errors'];
    readonly blocks: EVM<string>['blocks'];
    readonly chunks: EVM<string>['chunks'];
    /**
     * Returns the `opcode`s present in the **reacheable blocks** of `this` Contract's `bytecode`.
     */
    readonly opcodes: () => Opcode<string>[];
    /**
     *
     */
    readonly functions: {
        [selector: string]: PublicFunction;
    };
    readonly payable: boolean;
    /**
     *
     * @param bytecode the bytecode to analyze in hexadecimal format.
     */
    constructor(bytecode: Parameters<typeof arrayify>[0], step?: import("./step").Undef<"ADDMOD" | "MULMOD" | "SIGNEXTEND" | "EQ" | "ISZERO" | "NOT" | "BYTE" | "COINBASE" | "TIMESTAMP" | "NUMBER" | "DIFFICULTY" | "GASLIMIT" | "CALLER" | "CALLDATASIZE" | "ORIGIN" | "GASPRICE" | "ADDRESS" | "CODESIZE" | "RETURNDATASIZE" | "GAS" | "CALLVALUE" | "CALLDATALOAD" | "CALLDATACOPY" | "CODECOPY" | "EXTCODECOPY" | "RETURNDATACOPY" | "SLOAD" | "SSTORE" | "POP" | "PUSH2" | "PUSH1" | "PUSH16" | "PUSH3" | "PUSH8" | "PUSH9" | "PUSH11" | "PUSH20" | "PUSH21" | "PUSH25" | "PUSH26" | "PUSH5" | "PUSH32" | "PUSH4" | "PUSH6" | "PUSH7" | "PUSH10" | "PUSH12" | "PUSH13" | "PUSH14" | "PUSH15" | "PUSH24" | "PUSH17" | "PUSH18" | "PUSH19" | "PUSH22" | "PUSH23" | "PUSH27" | "PUSH28" | "PUSH29" | "PUSH30" | "PUSH31" | "DUP2" | "DUP1" | "DUP16" | "DUP3" | "DUP8" | "DUP9" | "DUP11" | "DUP5" | "DUP4" | "DUP6" | "DUP7" | "DUP10" | "DUP12" | "DUP13" | "DUP14" | "DUP15" | "SWAP2" | "SWAP1" | "SWAP16" | "SWAP3" | "SWAP8" | "SWAP9" | "SWAP11" | "SWAP5" | "SWAP4" | "SWAP6" | "SWAP7" | "SWAP10" | "SWAP12" | "SWAP13" | "SWAP14" | "SWAP15" | "ADD" | "MUL" | "SUB" | "DIV" | "SDIV" | "MOD" | "SMOD" | "EXP" | "LT" | "GT" | "SLT" | "SGT" | "AND" | "OR" | "XOR" | "PC" | "BALANCE" | "EXTCODESIZE" | "EXTCODEHASH" | "BLOCKHASH" | "MLOAD" | "MSTORE" | "MSTORE8" | "MSIZE" | "SHA3" | "STOP" | "CREATE" | "CALL" | "CALLCODE" | "RETURN" | "DELEGATECALL" | "STATICCALL" | "REVERT" | "SELFDESTRUCT" | "INVALID" | "LOG0" | "LOG2" | "LOG1" | "LOG3" | "LOG4" | "JUMPDEST" | "JUMP" | "JUMPI" | "SHL" | "SHR" | "SAR" | "CREATE2" | "CHAINID" | "SELFBALANCE" | "PREVRANDAO" | "BASEFEE" | "PUSH0"> & {
        readonly SUB: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly ISZERO: ({ stack, memory }: import("./state").Ram<Expr>) => void;
        readonly XOR: ({ stack, memory }: import("./state").Ram<Expr>) => void;
        readonly PUSH0: (state: State<Inst, Expr>) => void;
        readonly PREVRANDAO: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly BASEFEE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CHAINID: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SELFBALANCE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CREATE2: ({ stack }: State<Inst, Expr>) => void;
        readonly SHL: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SHR: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SAR: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly EQ: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly JUMPDEST: (_state: State<Inst, Expr>) => void;
        readonly JUMP: (state: State<Inst, Expr>, opcode: Opcode<string>, { bytecode }: {
            bytecode: Uint8Array;
        }) => void;
        readonly JUMPI: (this: Members, state: State<Inst, Expr>, opcode: Opcode<string>, { bytecode }: {
            bytecode: Uint8Array;
        }) => void;
        readonly SLOAD: (this: IStore, { stack }: State<Inst, Expr>) => void;
        readonly SSTORE: (this: IStore, { stack, stmts }: State<Inst, Expr>) => void;
        readonly LOG0: (this: Members, { stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly LOG2: (this: Members, { stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly LOG1: (this: Members, { stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly LOG3: (this: Members, { stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly LOG4: (this: Members, { stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly MSIZE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SHA3: (state: import("./state").Ram<Expr>) => void;
        readonly STOP: (state: State<Inst, Expr>) => void;
        readonly CREATE: ({ stack, memory }: State<Inst, Expr>) => void;
        readonly CALL: ({ stack, memory }: State<Inst, Expr>) => void;
        readonly CALLCODE: ({ stack, memory }: State<Inst, Expr>) => void;
        readonly RETURN: (state: State<Inst, Expr>) => void;
        readonly DELEGATECALL: ({ stack, memory }: State<Inst, Expr>) => void;
        readonly STATICCALL: ({ stack, memory }: State<Inst, Expr>) => void;
        readonly REVERT: (this: Members, state: State<Inst, Expr>) => void;
        readonly SELFDESTRUCT: (state: State<Inst, Expr>) => void;
        readonly INVALID: (state: State<Inst, Expr>, op: Opcode<string>) => void;
        readonly MSTORE: ({ stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly MSTORE8: ({ stack, memory, stmts }: State<Inst, Expr>) => void;
        readonly MLOAD: ({ stack, memory }: import("./state").Ram<Expr>) => void;
        readonly CALLDATACOPY: (state: State<Inst, Expr>) => void;
        readonly CODECOPY: ({ stack, memory }: State<Inst, Expr>, _opcode: Opcode<string>, { bytecode }: {
            bytecode: Uint8Array;
        }) => void;
        readonly EXTCODECOPY: (state: State<Inst, Expr>) => void;
        readonly RETURNDATACOPY: (state: State<Inst, Expr>) => void;
        readonly BALANCE: ({ stack }: State<Inst, Expr>) => void;
        readonly EXTCODESIZE: ({ stack }: State<Inst, Expr>) => void;
        readonly EXTCODEHASH: ({ stack }: State<Inst, Expr>) => void;
        readonly BLOCKHASH: ({ stack }: State<Inst, Expr>) => void;
        readonly PC: ({ stack }: State<Inst, Expr>, op: Opcode<string>) => void;
        readonly COINBASE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly TIMESTAMP: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly NUMBER: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly DIFFICULTY: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly GASLIMIT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CALLER: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CALLDATASIZE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly ORIGIN: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly GASPRICE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly ADDRESS: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CODESIZE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly RETURNDATASIZE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly GAS: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CALLVALUE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly CALLDATALOAD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly ADDMOD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly MULMOD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SIGNEXTEND: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly NOT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly BYTE: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly ADD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly MUL: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly DIV: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SDIV: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly MOD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SMOD: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly EXP: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly LT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly GT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SLT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SGT: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly AND: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly OR: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP2: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP1: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP16: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP3: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP8: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP9: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP11: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP5: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP4: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP6: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP7: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP10: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP12: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP13: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP14: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly SWAP15: ({ stack }: import("./state").Operand<Expr>) => void;
        readonly DUP2: (state: State<Inst, Expr>) => void;
        readonly DUP1: (state: State<Inst, Expr>) => void;
        readonly DUP16: (state: State<Inst, Expr>) => void;
        readonly DUP3: (state: State<Inst, Expr>) => void;
        readonly DUP8: (state: State<Inst, Expr>) => void;
        readonly DUP9: (state: State<Inst, Expr>) => void;
        readonly DUP11: (state: State<Inst, Expr>) => void;
        readonly DUP5: (state: State<Inst, Expr>) => void;
        readonly DUP4: (state: State<Inst, Expr>) => void;
        readonly DUP6: (state: State<Inst, Expr>) => void;
        readonly DUP7: (state: State<Inst, Expr>) => void;
        readonly DUP10: (state: State<Inst, Expr>) => void;
        readonly DUP12: (state: State<Inst, Expr>) => void;
        readonly DUP13: (state: State<Inst, Expr>) => void;
        readonly DUP14: (state: State<Inst, Expr>) => void;
        readonly DUP15: (state: State<Inst, Expr>) => void;
        readonly PUSH2: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH1: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH16: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH3: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH8: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH9: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH11: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH20: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH21: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH25: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH26: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH5: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH32: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH4: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH6: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH7: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH10: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH12: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH13: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH14: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH15: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH24: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH17: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH18: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH19: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH22: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH23: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH27: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH28: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH29: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH30: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly PUSH31: (state: State<Inst, Expr>, opcode: Opcode<string>) => void;
        readonly POP: ({ stack }: import("./state").Operand<Expr>) => Expr;
    }, main?: State<Inst, Expr>);
    reduce(): Contract;
    /**
     *
     * @returns
     */
    getFunctions(): string[];
    /**
     *
     * @returns
     */
    getEvents(): string[];
    /**
     * https://eips.ethereum.org/EIPS/eip-165
     * https://eips.ethereum.org/EIPS/eip-20
     * https://eips.ethereum.org/EIPS/eip-20
     * https://eips.ethereum.org/EIPS/eip-721
     *
     * @param ercid
     * @returns
     */
    isERC(ercid: (typeof ERCIds)[number], checkEvents?: boolean): boolean;
}
export declare function isRevertBlock(falseBlock: Stmt[]): falseBlock is [...Inst[], Revert];
export declare class PublicFunction {
    readonly contract: Contract;
    readonly stmts: Stmt[];
    readonly selector: string;
    /**
     *
     */
    private _label;
    readonly payable: boolean;
    readonly visibility: string;
    readonly constant: boolean;
    readonly returns: string[];
    constructor(contract: Contract, stmts: Stmt[], selector: string, payable?: boolean);
    get label(): string | undefined;
    set label(value: string | undefined);
    private isGetter;
    private isMappingGetter;
    private static findReturns;
    private static patchCallDataLoad;
}
export declare function build(state: State<Inst, Expr>): Stmt[];
export declare function reduce0(stmts: Inst[]): Stmt[];
export * from './abi';
export * from './evm';
export * from './metadata';
export * from './sol';
export * from './state';
export * from './step';
export * from './yul';