method

org.apache.roller.weblogger.util.StandaloneWebappC lassLoader$1__static_init

method	org.apache.roller.weblogger.util.StandaloneWebappC lassLoader__static_init
presumption	init'ed(java.io.File.separator)
post	FS == java.io.File.separator
post	(soft) init'ed(FS)

method	void org.apache.roller.weblogger.util. StandaloneWebappClassLoader(String, String)
pre	init'ed(FS)
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:list
unanalyzed	call on java.net.URL
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray

method	void org.apache.roller.weblogger.util. StandaloneWebappClassLoader(String, String, ClassLoader)
pre	init'ed(FS)
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:list
unanalyzed	call on java.net.URL
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray

method	URL[] buildURLsArray(String, String)
pre	init'ed(FS)
presumption	java.util.List:size(...)@64 >= 0
post	init'ed(return_value)
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:list
unanalyzed	call on java.net.URL
unanalyzed	call on java.util.List:add

method	void addURLs(String, List)
pre	(soft) init'ed(FS)
pre	(soft) urlList != null
presumption	java.io.File:list(...)@69 != null
presumption	libJarNames.length@69 <= 232-1

method

void org.apache.roller.weblogger.util. StandaloneWebappClassLoader$1()

method	bool accept(File, String)
pre	pathname != null
post	init'ed(return_value)
test_vector	java.lang.String:endsWith(...)@71: {0}, {1}