2024-09-17 18:44:21 +08:00
|
|
|
// just for develop
|
|
|
|
|
|
|
|
export default {
|
|
|
|
read,
|
|
|
|
write,
|
|
|
|
dir,
|
2024-09-29 21:20:28 +08:00
|
|
|
stat,
|
|
|
|
find,
|
|
|
|
remove,
|
|
|
|
copy
|
2024-09-17 18:44:21 +08:00
|
|
|
}
|
|
|
|
|
2024-09-18 18:29:21 +08:00
|
|
|
function read(filename: string): string {return ''}
|
|
|
|
function write(filename: string, data: any): void {}
|
|
|
|
function dir(filename: string): Array<FileInfo> {return null}
|
|
|
|
function stat(filename: string): FileInfo {return null}
|
2024-09-23 18:15:02 +08:00
|
|
|
function find(filename: string): string {return ''}
|
2024-09-29 21:20:28 +08:00
|
|
|
function remove(filename: string): void {}
|
|
|
|
function copy(from: string, to: string): void {}
|
2024-09-17 18:44:21 +08:00
|
|
|
|
|
|
|
interface FileInfo {
|
2024-09-29 21:20:28 +08:00
|
|
|
name: string
|
|
|
|
fullName: string
|
|
|
|
isDir: boolean
|
|
|
|
size: number
|
|
|
|
modTime: number
|
2024-09-17 18:44:21 +08:00
|
|
|
}
|