import { Checkpoint } from "../analysis/checkpoints";
import { StaticAnalysisExtra } from "../analysis/extras";
import { ExerciseSpecification } from "../exercises";
import { MessageResponses, Observable } from "../util/observe";
import { Note } from "./compilation/errors";
import { SourceFile, Program } from "./compilation/Program";
export interface FileData {
    readonly name: string;
    readonly code: string;
    readonly isTranslationUnit: boolean;
}
declare type ProjectMessages = "nameSet" | "compilationOutOfDate" | "compilationFinished" | "fileAdded" | "fileRemoved" | "fileContentsSet" | "translationUnitAdded" | "translationUnitRemoved" | "translationUnitStatusSet" | "noteAdded" | "saveRequested";
export declare class Project {
    observable: Observable<ProjectMessages>;
    readonly name: string;
    readonly id?: number;
    readonly sourceFiles: readonly SourceFile[];
    private translationUnitNames;
    readonly program: Program;
    readonly exercise: Exercise;
    readonly extras: readonly StaticAnalysisExtra[];
    readonly isCompilationOutOfDate: boolean;
    private pendingAutoCompileTimeout?;
    private autoCompileDelay?;
    constructor(name: string, id: number | undefined, files: readonly FileData[], exercise: Exercise, extras?: readonly StaticAnalysisExtra[]);
    setName(name: string): void;
    getFileData(): readonly FileData[];
    addFile(file: SourceFile, isTranslationUnit: boolean): void;
    removeFile(filename: string): void;
    setFileContents(file: SourceFile): void;
    setTranslationUnit(name: string, isTranslationUnit: boolean): void;
    recompile(): void;
    isTranslationUnit(name: string): boolean;
    /**
     * Toggles whether a source file in this project is being used as a translation unit
     * and should be compiled as part of the program. The name given for the translation
     * unit to be toggled must match the name of one of this project's source files.
     * @param tuName
     */
    toggleTranslationUnit(tuName: string): void;
    private compilationOutOfDate;
    private dispatchAutoCompile;
    /**
     * Turns on auto-compilation. Any changes to the project source will
     * trigger a recompile, which begins after no subsequent changes have
     * been made within the specified delay.
     * @param autoCompileDelay
     */
    turnOnAutoCompile(autoCompileDelay?: number): this;
    turnOffAutoCompile(): this;
    addNote(note: Note): void;
    requestSave(): void;
}
export declare type ExerciseMessages = "allCheckpointEvaluationStarted" | "allCheckpointEvaluationFinished" | "checkpointEvaluationFinished" | "exerciseChanged";
export declare type ExerciseCompletionPredicate = (ex: Exercise) => boolean;
export declare const COMPLETION_LAST_CHECKPOINT: (ex: Exercise) => boolean;
export declare const COMPLETION_ALL_CHECKPOINTS: (ex: Exercise) => boolean;
export declare class Exercise {
    readonly project?: Project;
    readonly checkpoints: readonly Checkpoint[];
    /** Whether or not each checkpoint has finished evaluating */
    readonly checkpointEvaluationsFinished: readonly boolean[];
    /** Whether or not each checkpoint has passed */
    readonly checkpointCompletions: readonly boolean[];
    readonly completionMessage: string;
    private completionCriteria;
    _act: MessageResponses;
    observable: Observable<ExerciseMessages>;
    constructor(spec: ExerciseSpecification);
    setProject(project: Project): this;
    changeSpecification(spec: ExerciseSpecification): void;
    update(): Promise<void>;
    private evaluateCheckpoints;
    get isComplete(): boolean;
}
export {};