diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-09-04 20:44:39 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-06 01:05:23 +0200 |
commit | 29919c02d86da10acf2b902fb9cab9998bb731a6 (patch) | |
tree | e4ac7dc9bc035327c720514363edee938248c14a /subprojects/frontend/src/utils/Timer.ts | |
parent | refactor(frontend): add eslint-plugin-mobx (diff) | |
download | refinery-29919c02d86da10acf2b902fb9cab9998bb731a6.tar.gz refinery-29919c02d86da10acf2b902fb9cab9998bb731a6.tar.zst refinery-29919c02d86da10acf2b902fb9cab9998bb731a6.zip |
feat(frontend): XState statecharts
Expressing logic in statecharts for complex stateful behaviours should
improve maintainability
We use @xstate/cli to statically analyze statcharts before typechecking
Diffstat (limited to 'subprojects/frontend/src/utils/Timer.ts')
-rw-r--r-- | subprojects/frontend/src/utils/Timer.ts | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/subprojects/frontend/src/utils/Timer.ts b/subprojects/frontend/src/utils/Timer.ts deleted file mode 100644 index 4bb1bb9c..00000000 --- a/subprojects/frontend/src/utils/Timer.ts +++ /dev/null | |||
@@ -1,33 +0,0 @@ | |||
1 | export default class Timer { | ||
2 | private readonly callback: () => void; | ||
3 | |||
4 | private readonly defaultTimeout: number; | ||
5 | |||
6 | private timeout: number | undefined; | ||
7 | |||
8 | constructor(callback: () => void, defaultTimeout = 0) { | ||
9 | this.callback = () => { | ||
10 | this.timeout = undefined; | ||
11 | callback(); | ||
12 | }; | ||
13 | this.defaultTimeout = defaultTimeout; | ||
14 | } | ||
15 | |||
16 | schedule(timeout?: number | undefined): void { | ||
17 | if (this.timeout === undefined) { | ||
18 | this.timeout = setTimeout(this.callback, timeout ?? this.defaultTimeout); | ||
19 | } | ||
20 | } | ||
21 | |||
22 | reschedule(timeout?: number | undefined): void { | ||
23 | this.cancel(); | ||
24 | this.schedule(timeout); | ||
25 | } | ||
26 | |||
27 | cancel(): void { | ||
28 | if (this.timeout !== undefined) { | ||
29 | clearTimeout(this.timeout); | ||
30 | this.timeout = undefined; | ||
31 | } | ||
32 | } | ||
33 | } | ||