-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37
-
38
-
39
-
40
-
41
-
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
-
50
-
51
-
52
-
53
-
54
-
55
-
56
-
57
-
58
-
59
-
60
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
-
89
-
90
-
91
-
92
-
93
-
94
-
95
-
96
-
97
-
98
-
99
-
100
-
101
-
102
-
103
-
104
-
105
-
106
-
107
-
108
-
109
-
110
-
111
-
112
-
113
-
114
-
115
-
116
-
117
-
118
-
119
-
120
-
121
-
122
-
123
-
124
-
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
-
134
-
135
-
136
-
137
-
138
-
139
-
140
-
141
-
142
-
143
-
144
-
145
-
146
-
147
-
148
-
149
-
150
-
151
-
152
-
153
-
154
-
155
-
156
-
157
-
158
-
159
-
160
-
161
-
162
// Copyright 2025 Shota FUJI
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.
//
// SPDX-License-Identifier: MPL-2.0
using GLib;
namespace TimeTracker.Storage {
public sealed class Local : Object, Storage {
private LocalEnvelope? tail { get; set; default = null; }
private LocalManifest manifest { get; set; }
private File dir { get; set; }
private File manifest_file { get; set; }
private File events_dir {
owned get {
return dir.get_child(manifest.events_dir);
}
}
// This is currently sync because Gio.Application's entry point (`activate`)
// have to be sync. Implementing loading window or splash-like file-select
// dialog is not worth the effort for this prototype.
public static Local from_dir(File dir) throws Error {
try {
dir.make_directory();
} catch (Error error) {
if (!(error is IOError.EXISTS)) {
throw error;
}
info(@"Initialized data directory at $(dir.get_parse_name())");
}
LocalManifest manifest;
var manifest_file = dir.get_child("timetracker.manifest.json");
try {
manifest = read_manifest(manifest_file);
} catch (Error error) {
if (!(error is IOError.NOT_FOUND)) {
throw error;
}
manifest = new LocalManifest();
write_manifest(manifest_file, manifest);
info(@"Created manifest file at $(manifest_file.get_parse_name())");
}
var events_dir = dir.get_child(manifest.events_dir);
try {
events_dir.make_directory();
} catch (Error error) {
if (!(error is IOError.EXISTS)) {
throw error;
}
info(@"Initialized events directory at $(events_dir.get_parse_name())");
}
var storage = new Local() {
dir = dir,
manifest_file = manifest_file,
manifest = manifest,
};
return storage;
}
private static LocalManifest read_manifest(File file) throws Error {
var stream = file.read();
var parser = new Json.Parser();
parser.load_from_stream(stream);
var node = parser.get_root();
var manifest = Json.gobject_deserialize(typeof(LocalManifest), node) as LocalManifest;
assert(manifest != null);
return manifest;
}
private static void write_manifest(File file, LocalManifest manifest) throws Error {
FileIOStream io;
try {
io = file.open_readwrite();
} catch (Error error) {
if (!(error is IOError.NOT_FOUND)) {
throw error;
}
io = file.create_readwrite(NONE);
}
var stream = io.output_stream;
var node = Json.gobject_serialize(manifest);
var generator = new Json.Generator();
generator.set_root(node);
generator.to_stream(stream);
}
public Event.Event[] load() throws Error {
if (manifest.tail == null) {
return {};
}
return load_events(manifest.tail);
}
private Event.Event[] load_events(string tail_id) throws Error {
var list = new List<Event.Event>();
string? next_id = tail_id;
while (next_id != null) {
var envelope = load_envelope(next_id);
if (manifest.tail == envelope.id) {
tail = envelope;
}
list.prepend(envelope.parse_event());
next_id = envelope.parent;
}
Event.Event[] result = {};
result.resize((int) list.length());
foreach (var event in list) {
result[list.index(event)] = event;
}
return result;
}
private LocalEnvelope load_envelope(string id) throws Error {
var file = events_dir.get_child(@"$(id).json");
var stream = file.read();
return LocalEnvelope.new_from_stream(stream);
}
public async void save(Event.Event event) throws Error {
var envelope = new LocalEnvelope(event) {
parent = tail != null ? tail.id : null,
};
var file = events_dir.get_child(@"$(event.event_id).json");
var io = file.create_readwrite(NONE);
var stream = io.output_stream;
envelope.write_stream(stream);
stream.close();
tail = envelope;
manifest.tail = event.event_id;
write_manifest(manifest_file, manifest);
return;
}
}
}