blob: 79283983303bec6dcfae4a1d577c99cb3c2a3d62 (
plain) (
blame)
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
|
// Copyright 2018 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
package com.yahoo.vespa.hosted.node.admin.task.util.file;
import com.yahoo.vespa.hosted.node.admin.component.TaskContext;
import java.io.IOException;
import java.io.UncheckedIOException;
import java.nio.file.Files;
import java.nio.file.NoSuchFileException;
import java.nio.file.Path;
import java.time.Instant;
import java.util.Optional;
import java.util.OptionalInt;
import java.util.function.Supplier;
import java.util.logging.Logger;
/**
* Class wrapping an integer stored on disk
*
* @author freva
*/
public class StoredInteger implements Supplier<OptionalInt> {
private static final Logger logger = Logger.getLogger(StoredInteger.class.getName());
private final Path path;
private OptionalInt value;
private boolean hasBeenRead = false;
private Optional<Instant> lastModifiedTime;
public StoredInteger(Path path) {
this.path = path;
}
@Override
public OptionalInt get() {
if (!hasBeenRead) readValue();
return value;
}
public void write(TaskContext taskContext, int value) {
try {
Files.write(path, Integer.toString(value).getBytes());
this.value = OptionalInt.of(value);
this.hasBeenRead = true;
this.lastModifiedTime = Optional.of(Instant.now());
taskContext.log(logger, "Stored new integer in %s: %d", path, value);
} catch (IOException e) {
throw new UncheckedIOException("Failed to store integer in " + path, e);
}
}
public Optional<Instant> getLastModifiedTime() {
if (!hasBeenRead) readValue();
return lastModifiedTime;
}
private void readValue() {
try {
String value = new String(Files.readAllBytes(path));
this.value = OptionalInt.of(Integer.parseInt(value));
this.lastModifiedTime = Optional.of(Files.getLastModifiedTime(path).toInstant());
} catch (NoSuchFileException e) {
this.value = OptionalInt.empty();
this.lastModifiedTime = Optional.empty();
} catch (IOException e) {
throw new UncheckedIOException("Failed to read integer in " + path, e);
}
hasBeenRead = true;
}
}
|