/// /// import { EngineResults } from '../types'; export interface GeneratorInfo { name: string; generatedIn: number | undefined; generating: boolean; } export interface DevComponentProps { datamodelBefore: string; datamodelAfter: string; migrating: boolean; migratedIn: number | undefined; generators: GeneratorInfo[]; lastChanged: Date | undefined; error?: Error; datamodelPath: string; studioPort: number; relativeDatamodelPath: string; warnings?: EngineResults.Warning[]; onSubmitWarningsPrompt?: (ok: boolean) => void; } export interface Props extends DevComponentProps { stdout: NodeJS.WriteStream; stdin: NodeJS.ReadStream; setRawMode: ((mode: boolean) => void) | undefined; } export interface State { showDiff: boolean; diffScroll: number; error?: Error; } export declare const DevInkComponent: (props: DevComponentProps) => JSX.Element;