-
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
// 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.Event {
public errordomain EventTypeError {
UNKNOWN_EVENT,
}
public enum EventType {
TIMER_DELETED,
TIMER_STARTED,
TIMER_STOPPED,
TIMER_TITLE_CHANGED,
UNKNOWN;
public Type to_type() throws EventTypeError {
switch (this) {
case TIMER_DELETED:
return typeof(TimerDeleted);
case TIMER_STARTED:
return typeof(TimerStarted);
case TIMER_STOPPED:
return typeof(TimerStopped);
case TIMER_TITLE_CHANGED:
return typeof(TimerTitleChanged);
default:
throw new EventTypeError.UNKNOWN_EVENT(@"Unknown event type $this.");
}
}
public static EventType from_event(Event event) throws EventTypeError {
if (event is TimerDeleted) {
return TIMER_DELETED;
}
if (event is TimerStarted) {
return TIMER_STARTED;
}
if (event is TimerStopped) {
return TIMER_STOPPED;
}
if (event is TimerTitleChanged) {
return TIMER_TITLE_CHANGED;
}
throw new EventTypeError.UNKNOWN_EVENT(@"$(event.get_type().name()) is not a valid event type.");
}
}
}