Mercurial > jhg
annotate src/org/tmatesoft/hg/internal/RevlogChangeMonitor.java @ 713:661e77dc88ba tip
Mac support: respect Mac alternatives of command-line arguments for common unix tools
| author | Artem Tikhomirov <tikhomirov.artem@gmail.com> | 
|---|---|
| date | Sun, 03 Aug 2014 18:09:00 +0200 | 
| parents | 99ad1e3a4e4d | 
| children | 
| rev | line source | 
|---|---|
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
1 /* | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
2 * Copyright (c) 2013 TMate Software Ltd | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
3 * | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
4 * This program is free software; you can redistribute it and/or modify | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
5 * it under the terms of the GNU General Public License as published by | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
6 * the Free Software Foundation; version 2 of the License. | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
7 * | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
8 * This program is distributed in the hope that it will be useful, | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
11 * GNU General Public License for more details. | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
12 * | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
13 * For information on how to redistribute this software under | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
14 * the terms of a license other than GNU General Public License | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
15 * contact TMate Software at support@hg4j.com | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
16 */ | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
17 package org.tmatesoft.hg.internal; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
18 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
19 import java.io.File; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
20 import java.util.WeakHashMap; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
21 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
22 /** | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
23 * Detect changes to revlog files. Not a general file change monitoring as we utilize the fact revlogs are append-only (and even in case | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
24 * of stripped-off tail revisions, with e.g. mq, detection approach is still valid). | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
25 * | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
26 * @author Artem Tikhomirov | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
27 * @author TMate Software Ltd. | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
28 */ | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
29 public class RevlogChangeMonitor { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
30 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
31 private final WeakHashMap<File, Long> lastKnownSize; | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
32 private final WeakHashMap<File, Long> lastKnownTime; | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
33 private final File soleFile; | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
34 private long soleFileSize = -1; | 
| 
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
35 private long soleFileTime = -1; | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
36 | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
37 // use single for multiple files. TODO [1.2] repository/session context shall provide | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
38 // alternative (configurable) implementations, so that Java7 users may supply better one | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
39 public RevlogChangeMonitor() { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
40 lastKnownSize = new WeakHashMap<File, Long>(); | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
41 lastKnownTime= new WeakHashMap<File, Long>(); | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
42 soleFile = null; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
43 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
44 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
45 public RevlogChangeMonitor(File f) { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
46 assert f != null; | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
47 lastKnownSize = lastKnownTime = null; | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
48 soleFile = f; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
49 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
50 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
51 public void touch(File f) { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
52 assert f != null; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
53 if (lastKnownSize == null) { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
54 assert f == soleFile; | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
55 soleFileSize = f.length(); | 
| 
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
56 soleFileTime = f.lastModified(); | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
57 } else { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
58 lastKnownSize.put(f, f.length()); | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
59 lastKnownTime.put(f, f.lastModified()); | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
60 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
61 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
62 | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
63 public boolean hasChanged(File f) { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
64 assert f != null; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
65 if (lastKnownSize == null) { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
66 assert f == soleFile; | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
67 return soleFileSize != f.length() || soleFileTime != f.lastModified(); | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
68 } else { | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
69 Long lastSize = lastKnownSize.get(f); | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
70 Long lastTime = lastKnownTime.get(f); | 
| 
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
71 if (lastSize == null || lastTime == null) { | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
72 return true; | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
73 } | 
| 
621
 
99ad1e3a4e4d
RevlogStream: be aware of existence (not HgDataFile), facilitate use of an added HgDataFile over a commit; Rollback: be more sensitive about file changes (file size is not enough: write/rollback leaves it intact); tests
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents: 
607 
diff
changeset
 | 
74 return f.length() != lastSize || f.lastModified() != lastTime; | 
| 
607
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
75 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
76 } | 
| 
 
66f1cc23b906
Refresh revlogs if a change to a file has been detected; do not force reload of the whole repository
 
Artem Tikhomirov <tikhomirov.artem@gmail.com> 
parents:  
diff
changeset
 | 
77 } | 
