ExpiringLRUCacheImpl.java |
| current inspection = 2009-09-04 18:33:31 (id #2) | base = 2009-09-04 18:33:31 (id #1) |
|
|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | this.cache != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.misses) | 2009-09-04 18:33:31 |
| + | post | this.hits == One-of{old this. | 2009-09-04 18:33:31 |
| + | post | this.misses == One-of{old this. | 2009-09-04 18:33:31 |
| + | post | this.removes == One-of{old this. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.cache) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | new Date( | 2009-09-04 18:33:31 |
| + | post | this.hits == +0 | 2009-09-04 18:33:31 |
| + | post | this.id == id | 2009-09-04 18:33:31 |
| + | post | this.misses == +0 | 2009-09-04 18:33:31 |
| + | post | this.puts == +0 | 2009-09-04 18:33:31 |
| + | post | this.removes == +0 | 2009-09-04 18:33:31 |
| + | post | this.startTime == &new Date( | 2009-09-04 18:33:31 |
| + | post | this.timeout == 3_600_000 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | maxsize in -1_ | 2009-09-04 18:33:31 |
| + | pre | timeout <= 18_ | 2009-09-04 18:33:31 |
| + | post | init'ed(this.cache) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | new Date( | 2009-09-04 18:33:31 |
| + | post | this.hits == +0 | 2009-09-04 18:33:31 |
| + | post | this.id == id | 2009-09-04 18:33:31 |
| + | post | this.misses == +0 | 2009-09-04 18:33:31 |
| + | post | this.puts == +0 | 2009-09-04 18:33:31 |
| + | post | this.removes == +0 | 2009-09-04 18:33:31 |
| + | post | this.startTime == &new Date( | 2009-09-04 18:33:31 |
| + | post | this.timeout == One-of{0, | 2009-09-04 18:33:31 |
| + | post | this.timeout in {0, | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | test_vector | timeout: {-263. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(log) | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.puts) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | pre | this.cache != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.puts) | 2009-09-04 18:33:31 |
| + | post | this.puts == old this. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |