| method | Cache constructCache(Map) |
| pre | log != null |
| pre | properties != null |
| presumption | java.lang.Integer:parseInt(...)@48 in -1_610_612_737..3_221_225_471 |
| presumption | java.lang.Long:parseLong(...)@54 <= 18_446_744_073_709_551 |
| post | return_value == &new ExpiringLRUCacheImpl(const ructCache#1) |
| post | new Date(LRUCacheImpl#1) num objects == 1 |
| post | new ExpiringLRUCacheImpl(constructCache#1) num objects == 1 |
| post | init'ed(return_value.cache) |
| post | return_value.hits == +0 |
| post | return_value.misses == +0 |
| post | return_value.puts == +0 |
| post | return_value.removes == +0 |
| post | return_value.id != null |
| post | return_value.startTime == &new Date(LRUCacheImp l#1) |
| post | return_value.timeout in {0, 1_000..18_446_744_073_7 09_551_000} |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. LRUCacheImpl |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.util.LinkedHashMap |
| unanalyzed | call on java.util.Collections:synchronizedMap |
| test_vector | java.util.Map:get(...)@59: Addr_Set{null}, Inverse{null} |