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}