import { Program } from "../core/compilation/Program";
import { Project } from "../core/Project";
import { Simulation } from "../core/runtime/Simulation";
export declare abstract class Checkpoint {
    readonly name: string;
    constructor(name: string);
    abstract evaluate(project: Project): Promise<boolean>;
}
export declare class IsCompiledCheckpoint extends Checkpoint {
    evaluate(project: Project): Promise<boolean>;
}
export declare function removeWhitespace(str: string): string;
export declare class OutputCheckpoint extends Checkpoint {
    readonly input: string;
    readonly stepLimit: number;
    private expected;
    private runner?;
    constructor(name: string, expected: (output: string, project: Project) => boolean, input?: string, stepLimit?: number);
    evaluate(project: Project): Promise<boolean>;
}
export declare function outputComparator(desiredOutput: string, ignoreWhitespace?: boolean): (output: string) => boolean;
export declare class EndOfMainStateCheckpoint extends Checkpoint {
    readonly input: string;
    readonly stepLimit: number;
    private criteria;
    private runner?;
    constructor(name: string, criteria: (sim: Simulation) => boolean, input?: string, stepLimit?: number);
    evaluate(project: Project): Promise<boolean>;
}
export declare class StaticAnalysisCheckpoint extends Checkpoint {
    private criterion;
    private runner?;
    constructor(name: string, criterion: (program: Program, project: Project) => boolean);
    evaluate(project: Project): Promise<boolean>;
}