| method | Cache constructCache(Map) |
| pre | log != null |
| pre | properties != null |
| presumption | java.lang.Integer:parseInt(...)@47 in -1_610_612_737..3_221_225_471 |
| post | return_value == &new LRUCacheImpl(constructCach e#1) |
| post | new Date(LRUCacheImpl#1) num objects == 1 |
| post | new LRUCacheImpl(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) |
| 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(...)@52: Addr_Set{null}, Inverse{null} |