import { Frame } from "@dodona/trace-component/dist/trace_types";
import { State } from "@dodona/lit-state";
import { Papyros } from "./Papyros";
import { FileEntry } from "./InputOutput";
export type FrameState = {
    line: number;
    outputs: number;
    inputs: number;
    files: number;
};
export declare class Debugger extends State {
    private papyros;
    private frameStates;
    private _activeFrame;
    set activeFrame(value: number | undefined);
    get activeFrame(): number | undefined;
    trace: Frame[];
    private _active;
    private fileHistory;
    set active(active: boolean);
    get active(): boolean;
    constructor(papyros: Papyros);
    reset(): void;
    private validateActiveTab;
    get activeFrameState(): FrameState | undefined;
    get debugLine(): number | undefined;
    get debugOutputs(): number | undefined;
    get debugUsedInputs(): number | undefined;
    get debugFiles(): FileEntry[];
}