LRUCacheImpl.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 | this.cache != null | 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.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 |
| -/+ | 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 | 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 | 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 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.id | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) this. | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.hits) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.misses) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.puts) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | new HashMap( | 2009-09-04 18:33:31 |
| + | post | return_value == &new HashMap( | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | maxsize in -1_ | 2009-09-04 18:33:31 |
| + | post | this.maxsize == maxsize | 2009-09-04 18:33:31 |
| + | post | this.maxsize in -1_ | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|
| -/+ | 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 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | maxsize in -1_ | 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 |
| + | unanalyzed | call on java. | 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 | 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 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | pre | this.cache != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.removes == old this. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |