import type { CaseExample, MatchContext, AnyMockDescriptorType } from '../entities/types';
import { BaseCaseContract } from './BaseCaseContract';
import type { MultiTestInvoker, RunTestCallback } from './executeExample/types';
import type { CaseConfig } from './config/types';
import { DownloadedContract, ReaderDependencies } from './types';
export declare class ReadingCaseContract extends BaseCaseContract {
    private mutex;
    private makeBrokerService;
    private links;
    private status;
    constructor(contractFile: DownloadedContract, { resultPrinter, makeLogger, defaultConfig, makeBrokerService, }: ReaderDependencies, config: CaseConfig);
    verifyContract<T extends AnyMockDescriptorType>({ stateHandlers, triggers }: MultiTestInvoker<T>, runTestCb: RunTestCallback): void;
    recordExample(example: CaseExample, currentContext: MatchContext): CaseExample;
    endRecord(): Promise<void>;
}
