/**
 * A file generated by a plugin. See `PluginBase`.
 */
export interface GeneratedFile {
    getFilename(): string;
    getContent(): string;
}