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










method net.sourceforge.pebble.logging.UserAgentConsolidat or__static_init
postKNOWN_AGENTS == &new String[](UserAgentConsolid ator__static_init#1)
postnew String[](UserAgentConsolidator__static_init#1) num objects == 1
postKNOWN_AGENTS.length == 18
postKNOWN_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
postinit'ed(return_value)
test_vectorjava.lang.String:contains(...)@37: {0}, {1}