Messages

method

com.dmdirc.util.resourcemanager.FileResourceManage r__static_init

method	void com.dmdirc.util.resourcemanager. FileResourceManager(String)
post	this.basePath == basePath
post	init'ed(this.basePath)

method	byte[] getResourceBytes(String)
pre	resource != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.io.File:length(...)@92 >= 0
post	return_value in Addr_Set{&new byte[](getResourc eBytes#5),&new byte[](getResourceBytes#8), &new byte[](getResourceBytes#7),&new byte[](getResourceBytes#4),&new byte[](getResourceBytes#3)}
post	new byte[](getResourceBytes#3) num objects <= 1
post	new byte[](getResourceBytes#3).length == 0
post	new byte[](getResourceBytes#4) num objects <= 1
post	new byte[](getResourceBytes#4).length == 0
post	new byte[](getResourceBytes#5) num objects <= 1
post	new byte[](getResourceBytes#5).length <= 2⁶⁴-1
post	new byte[](getResourceBytes#7) num objects <= 1
post	new byte[](getResourceBytes#7).length == 0
post	new byte[](getResourceBytes#8) num objects <= 1
post	new byte[](getResourceBytes#8).length == 0
test_vector	java.io.File:exists(...)@84: {1}, {0}
test_vector	java.io.File:isDirectory(...)@88: {0}, {1}
test_vector	java.lang.String:startsWith(...)@78: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	InputStream getResourceInputStream(String)
pre	resource != null
post	return_value in Addr_Set{null,&new FileInputStream(getResourceInputStream#3)}
post	new FileInputStream(getResourceInputStream#3) num objects <= 1
test_vector	java.io.File:exists(...)@126: {1}, {0}
test_vector	java.io.File:isDirectory(...)@130: {0}, {1}
test_vector	java.lang.String:startsWith(...)@120: {0}, {1}

method	Map getResourcesEndingWithAsBytes(String)
pre	(soft) this.basePath != null
presumption	java.io.File:getPath(...)@149 != null
presumption	java.util.Iterator:next(...)@148 != null
post	return_value == &new HashMap(getResourcesEnding WithAsBytes#2)
post	new HashMap(getResourcesEndingWithAsBytes#2) num objects == 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.util.List:add
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
test_vector	java.lang.String:endsWith(...)@151: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@148: {0}, {1}

method	Map getResourcesStartingWithAsBytes(String)
pre	(soft) this.basePath != null
presumption	java.io.File:getPath(...)@167 != null
presumption	java.util.Iterator:next(...)@166 != null
post	return_value == &new HashMap(getResourcesStarti ngWithAsBytes#2)
post	new HashMap(getResourcesStartingWithAsBytes#2) num objects == 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.util.List:add
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
test_vector	java.lang.String:startsWith(...)@169: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@166: {0}, {1}

method	Map getResourcesStartingWithAsInputStreams(String)
pre	(soft) this.basePath != null
presumption	java.io.File:getPath(...)@185 != null
presumption	java.util.Iterator:next(...)@184 != null
post	return_value == &new HashMap(getResourcesStarti ngWithAsInputStreams#2)
post	new HashMap(getResourcesStartingWithAsInputStreams# 2) num objects == 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.util.List:add
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
test_vector	java.lang.String:startsWith(...)@187: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@184: {0}, {1}

method	List getResourcesStartingWith(String)
pre	(soft) this.basePath != null
presumption	java.io.File:getPath(...)@202 != null
presumption	java.util.Iterator:next(...)@201 != null
post	return_value == &new ArrayList(getResourcesStar tingWith#2)
post	new ArrayList(getResourcesStartingWith#2) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.util.List:add
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
test_vector	java.lang.String:startsWith(...)@204: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@201: {0}, {1}

method	List getFileListing(File)
pre	startingDirectory != null
presumption	java.util.Arrays:asList(...)@226 != null
presumption	java.util.Iterator:next(...)@227 != null
post	return_value == &new ArrayList(getFileListing#1 )
post	new ArrayList(getFileListing#1) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.util.List:add
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
test_vector	java.io.File:isFile(...)@228: {0}, {1}
test_vector	java.io.File:listFiles(...)@222: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@227: {0}, {1}