import { Verifier, VerifierResults } from '../base';
import JavaScriptVerifier from '../javascript/JavaScriptVerifier';
import TypeScriptVerifier from '../typescript/TypeScriptVerifier';
export default class SvelteVerifier extends Verifier {
    protected readonly ampliInstanceNames: string[];
    constructor(ampliInstanceNames?: string[]);
    doVerify(eventNames: string[], workingDirs: string[]): Promise<VerifierResults>;
    protected createInnerVerifiers(): {
        jsVerifier: JavaScriptVerifier;
        tsVerifier: TypeScriptVerifier;
    };
}