/** * 保存文件接口的输入参数 */ interface SaveFileInput extends BaseInput { /** * 保存后的文件路径 */ savedFilePath: string; } /** * 删除已保存文件接口的输入参数 */ interface RemoveSavedFileInput extends BaseInput { /** * 需要删除的文件路径 */ filePath: string; } /** * 选择文件接口的输入参数 */ interface SelectFileInput extends BaseInput { /** * 允许选择的文件扩展名列表 */ extensions: string[]; } /** * 压缩文件接口的输入参数 */ interface ZipFilesInput extends BaseInput { /** * 需要压缩的文件路径列表 */ files: string[]; } /** * 解压文件接口的输入参数 */ interface UnzipFileInput extends BaseInput { /** * 需要解压的文件路径 */ filePath: string; }