1 | // possible problem: case of keys (Windows only) |
2 | static class DiskTextMap { |
3 | File dir; |
4 | |
5 | *(S dirName) { |
6 | dir = getProgramFile(dirName); |
7 | dir.mkdirs(); |
8 | } |
9 | |
10 | void clear() { |
11 | deleteAllFilesWithSuffix(dir, ".text"); |
12 | } |
13 | |
14 | S get(S key) { |
15 | ret loadTextFile(getFile(key)); |
16 | } |
17 | |
18 | File getFile(S key) { |
19 | ret new File(dir, urlencode(key) + ".text"); |
20 | } |
21 | |
22 | void remove(S key) { |
23 | getFile(key).delete(); |
24 | } |
25 | |
26 | void put(S key, S value) { |
27 | saveTextFile(getFile(key), value); |
28 | } |
29 | |
30 | int size() { |
31 | ret l(listFilesWithSuffix(dir, ".text")); |
32 | } |
33 | |
34 | Set<S> keySet() { |
35 | new TreeSet<S> set; |
36 | for (File f : listFilesWithSuffix(dir, ".text")) |
37 | set.add(dropSuffix(".text", f.getName())); |
38 | ret set; |
39 | } |
40 | } |
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1002087 |
Snippet name: | DiskTextMap |
Eternal ID of this version: | #1002087/1 |
Text MD5: | a88c50ee2d93fe01dcc4b338437a3eea |
Author: | stefan |
Category: | |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2015-12-17 20:41:54 |
Source code size: | 779 bytes / 40 lines |
Pitched / IR pitched: | No / Yes |
Views / Downloads: | 656 / 1591 |
Referenced in: | [show references] |