ThemeManager.java

ThemeManager.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.ui.themes.ThemeManager$1()

Kind	Annotation Text

com.dmdirc.ui.themes.ThemeManager$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.themes.ThemeManager()

Kind	Annotation Text

com.dmdirc.ui.themes.ThemeManager__static_init

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@50 != null
post	"themes."._tainted == 0
post	THEMES == &new HashMap(ThemeManager__static_ init#2)
post	THEME_DIR == &java.lang.StringBuilder:toString( ...)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(ThemeManager__static_init#2) num objects == 1

void configChanged(String, String)

Kind	Annotation Text

Map getAvailableThemes()

Kind	Annotation Text
post	new HashMap(getAvailableThemes#1) num objects == 1
post	return_value == &new HashMap(getAvailableThemes #1)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionLi st
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:contains
unanalyzed	call on loadTheme

String getThemeDirectory()

Kind	Annotation Text
post	return_value == &java.lang.StringBuilder:toStri ng(...)

void loadTheme(File, bool)

Kind	Annotation Text
pre	file != null
presumption	java.util.Map:get(...)@109 != null
presumption	theme.file@109 != null
presumption	theme.rm.zipFile@109 != null
presumption	theme.rm.zipFile@114 != null
post	init'ed(new ConfigFile(isValidTheme#2).charset)
post	init'ed(new ConfigFile(isValidTheme#2).domains)
post	init'ed(new ConfigFile(isValidTheme#2).file)
post	init'ed(new ConfigFile(isValidTheme#2). flatdomains)
post	init'ed(new ConfigFile(isValidTheme#2).is)
post	init'ed(new ConfigFile(isValidTheme#2).keydomains)
post	init'ed(new ConfigFile(isValidTheme#2).lines)
post	init'ed(new MapList(ConfigFile#2).map)
post	init'ed(new Theme(loadTheme#1).enabled)
post	init'ed(new Theme(loadTheme#1).file)
post	init'ed(new Theme(loadTheme#1).identity)
post	init'ed(new ThemeIdentity(applyTheme#1).myTarget)
post	init'ed(new ThemeIdentity(applyTheme#1).theme)
post	init'ed(new ZipResourceManager(getInstance#1). entries)
post	init'ed(new ZipResourceManager(getInstance#1). zipFile)
post	new ArrayList(ConfigFile#1) num objects <= 1
post	new ArrayList(ZipResourceManager#2) num objects <= 1
post	new ArrayList(readLines#4) num objects == 0
post	new ConfigFile(isValidTheme#2) num objects <= 1
post	new HashMap(ConfigFile#3) num objects <= 1
post	new HashMap(MapList#1) num objects <= 1
post	new MapList(ConfigFile#2) num objects <= 1
post	new Theme(loadTheme#1) num objects <= 1
post	new ThemeIdentity(applyTheme#1) num objects <= 1
post	new ZipFile(ZipResourceManager#1) num objects <= 1
post	new ZipResourceManager(getInstance#1) num objects <= 1
post	possibly_updated(new Theme(loadTheme#1).metadata)
post	possibly_updated(new Theme(loadTheme#1).rm)
unanalyzed	call on com.dmdirc.config.ConfigTarget:setTheme
unanalyzed	call on com.dmdirc.config.Identity
unanalyzed	call on com.dmdirc.config.IdentityManager:addIdenti ty
unanalyzed	call on com.dmdirc.config.IdentityManager:removeIde ntity
unanalyzed	call on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on isValidTheme
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:getCanonicalPath
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.zip.ZipEntry:getName
unanalyzed	call on java.util.zip.ZipEntry:isDirectory
unanalyzed	call on java.util.zip.ZipFile
unanalyzed	call on java.util.zip.ZipFile:entries
unanalyzed	call on java.util.zip.ZipFile:getEntry
unanalyzed	call on java.util.zip.ZipFile:getInputStream
test_vector	enabled: {0}, {1}
test_vector	java.util.Map:containsKey(...)@108: {0}, {1}

void loadThemes()

Kind	Annotation Text
presumption	arr$.length@86 <= 2³²-1
presumption	arr$[i$]@86 != null
presumption	com.dmdirc.config.ConfigManager:getOptionList(... )@77 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@77 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.io.File:listFiles(...)@86 != null
test_vector	java.io.File:exists(...)@73: {1}, {0}
test_vector	java.io.File:listFiles(...)@80: Inverse{null}, Addr_Set{null}
test_vector	java.io.File:mkdirs(...)@73: {1}, {0}