| method | I18nMessages getMessages(String) |
| pre | messagesMap != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@37 != null |
| post | return_value != null |
| post | new I18nMessages(getMessages#2) num objects <= 1 |
| post | init'ed(new I18nMessages(getMessages#2).bundle) |
| post | init'ed(new I18nMessages(getMessages#2).locale) |
| post | new Locale(toLocale#1) num objects <= 1 |
| post | new Locale(toLocale#2) num objects <= 1 |
| post | new Locale(toLocale#3) num objects <= 1 |
| unanalyzed | call on org.apache.commons.lang.StringUtils:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.Locale:getDefault |
| unanalyzed | call on java.util.ResourceBundle:getBundle |
| test_vector | java.util.Map:get(...)@68: Inverse{null}, Addr_Set{null} |
| method | I18nMessages getMessages(Locale) |
| pre | locale != null |
| pre | messagesMap != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@37 != null |
| post | return_value != null |
| post | new I18nMessages(getMessages#2) num objects <= 1 |
| post | init'ed(new I18nMessages(getMessages#2).bundle) |
| post | new I18nMessages(getMessages#2).locale == locale |
| post | new I18nMessages(getMessages#2).locale != null |
| unanalyzed | call on java.util.ResourceBundle:getBundle |
| test_vector | java.util.Map:get(...)@90: Inverse{null}, Addr_Set{null} |