import { BoundaryInvokableFunction, BoundaryResult, ILogPrinter, IResultPrinter } from '../entities/types.js';
import { ContractCaseConnectorConfig, VerificationId } from './types.js';
import { BoundaryContractVerificationTestHandle } from '../connectors/case-boundary/internals/types.js';
export declare const beginVerification: (config: ContractCaseConnectorConfig, callbackPrinter: ILogPrinter, resultPrinter: IResultPrinter, callerVersions: string[]) => VerificationId;
export declare const availableContractDescriptions: (verifierId: string) => Promise<BoundaryResult>;
/**
 * Registers a function that the core can invoke later.
 *
 * Note that this doesn't actually call the core, the function handles for
 * verification are cached until runVerification is called. This is so that
 * multiple verification invocations on the same verifier have the same
 *
 * @param defineId - The ID for the contract definer
 * @param handle - The handle / name to refer to this function later
 * @param invokeableFunction - The function to invoke
 * @returns A {@link BoundaryResult} promise indicating whether the function was registered successfully
 */
export declare const registerFunction: (verifierId: string, handle: string, invokeableFunction: BoundaryInvokableFunction) => Promise<BoundaryResult>;
export declare const prepareVerificationTests: (verifierId: string, config: ContractCaseConnectorConfig) => Promise<BoundaryResult>;
export declare const runPreparedTest: (verifierId: string, preparedTestHandle: BoundaryContractVerificationTestHandle) => Promise<BoundaryResult>;
/**
 * Will close a single contract verification that was previously prepared.
 *
 * Closing means that it will do any publish steps that are currently configured,
 * and will return the result of the verification run
 *
 * Might be called multiple times during a verification, but should
 * only be called once per contractIndex.
 *
 * @param verifierId - The id of the verifier to close
 * @param contractIndex - The index of the contract (from a contract handle)
 * @returns A {@link BoundaryResult} promise containing a VerificationResult.
 */
export declare const closePreparedVerification: (verifierId: string, contractIndex: number) => Promise<BoundaryResult>;
/**
 * Will disconnect the connected verifier and allow it to be garbage collected
 *
 * Currently not called.
 */
export declare const closeConnectedVerifier: (verifierId: string) => Promise<BoundaryResult>;
//# sourceMappingURL=verify.d.ts.map