| method | org.apache. |
| post | init'ed(log) |
|   | info | method not available | -- call on Log org. |
| method | void org. |
| presumption | init'ed(java. |
| post | this.actionName == &"cacheInfo" |
| post | this.cache == null |
| post | this.desiredMenu == &"admin" |
| post | this.pageTitle == &"cacheInfo. |
| post | this.stats == java. |
| post | (soft) init'ed( |
|   | info | method not available | -- call on void org. |
| method | String requiredUserRole() |
| post | return_value == &"admin" |
| method | bool isWeblogRequired() |
| post | return_value == 0 |
| method | void myPrepare() |
| post | init'ed(this.stats) |
|   | info | method not available | -- call on Map org. |
| method | String execute() |
| post | return_value == &"success" |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
| method | Map getStats() |
| pre | init'ed(this.stats) |
| post | return_value == this.stats |
| post | init'ed(return_value) |
| method | void setStats(Map) |
| post | this.stats == stats |
| post | init'ed(this.stats) |
| method | String getCache() |
| pre | init'ed(this.cache) |
| post | return_value == this.cache |
| post | init'ed(return_value) |
| method | void setCache(String) |
| post | this.cache == cache |
| post | init'ed(this.cache) |