Messages

method | void net.sourceforge.pebble.logging. UserAgentConsolidator()

method | net.sourceforge.pebble.logging.UserAgentConsolidat or__static_init
post | KNOWN_AGENTS == &new String[](UserAgentConsolid ator__static_init#1)
post | new String[](UserAgentConsolidator__static_init#1) num objects == 1
post | KNOWN_AGENTS.length == 18
post | KNOWN_AGENTS[...] in Addr_Set{&"MSIE 5.0",&"MSIE 6.0",&"MSIE 7.0",&"MSIE 8.0",&"MSIE 9.0",&"Firefox.1.", &"Firefox.2.",&"Firefox.3.0",&"Firefox. 3.5",&"Firefox.3.6",&"Safari",&"Opera", &"Chrome",&...

method | String consolidate(String)
pre | (soft) init'ed(KNOWN_AGENTS[...])
pre | (soft) userAgent != null
post | init'ed(return_value)
test_vector | java.lang.String:contains(...)@37: {0}, {1}