voyagehandbook/lib/util/storage.dart

74 lines
2.5 KiB
Dart
Raw Normal View History

2023-03-27 19:45:57 +02:00
import 'dart:convert';
2023-03-18 16:55:08 +01:00
import 'dart:io';
import 'package:path_provider/path_provider.dart';
2023-03-28 18:08:26 +02:00
/*
Voyage Handbook - The open-source WikiVoyage reader
Copyright (C) 2023 Matyáš Caras
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
2023-03-18 16:55:08 +01:00
/// Used to ease up accessing local files
class StorageAccess {
/// Get files in `recent` folder, which contains recently opened pages
2023-03-27 19:45:57 +02:00
static Future<List<Map<String, dynamic>>> get recent async {
2023-03-18 16:55:08 +01:00
var files =
Directory("${(await getApplicationDocumentsDirectory()).path}/recent");
if (!files.existsSync()) files.createSync();
2023-03-27 19:45:57 +02:00
return files
.listSync()
.whereType<File>()
.toList()
.map<Map<String, dynamic>>((e) => jsonDecode(e.readAsStringSync()))
.toList();
}
static void addToRecents(String pageName, String pageKey) async {
var files =
Directory("${(await getApplicationDocumentsDirectory()).path}/recent");
if (!files.existsSync()) files.createSync();
var content = files.listSync();
if (content.length > 4) {
// delete last recent
// TODO: configurable
File? f;
for (var file in content) {
if (file is Directory) continue;
var modi = (await file.stat()).modified;
if (f == null || (await f.stat()).modified.isAfter(modi)) {
f = file as File;
}
}
f!.deleteSync();
}
var recent = File("${files.path}/${pageName.replaceAll(' ', '_')}");
if (recent.existsSync()) {
// if recent already exists, simply change date
var recentContent = jsonDecode(recent.readAsStringSync());
recentContent["date"] = DateTime.now().millisecondsSinceEpoch;
recent.writeAsStringSync(jsonEncode(recentContent));
} else {
// else create files
var recentContent = {
"date": DateTime.now().millisecondsSinceEpoch,
"name": pageName,
"key": pageKey
};
recent.writeAsStringSync(jsonEncode(recentContent));
}
2023-03-18 16:55:08 +01:00
}
}