Messages

method	ErrorLevel[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new ErrorLevel[](values#1)
post	new ErrorLevel[](values#1) num objects == 1
post	return_value.length == 5
post	return_value[...] == One-of{$VALUES[...], undefined}

method	ErrorLevel valueOf(String)
post	init'ed(return_value)

method	com.dmdirc.logger.ErrorLevel__static_init
post	"error"._tainted == 0
post	"info"._tainted == 0
post	"warning"._tainted == 0
post	$VALUES == &new ErrorLevel[](ErrorLevel__ static_init#6)
post	FATAL == &new ErrorLevel(ErrorLevel__static_ init#1)
post	$VALUES[0] == &new ErrorLevel(ErrorLevel__ static_init#1)
post	HIGH == &new ErrorLevel(ErrorLevel__static_ init#2)
post	$VALUES[1] == &new ErrorLevel(ErrorLevel__ static_init#2)
post	LOW == &new ErrorLevel(ErrorLevel__static_ init#4)
post	$VALUES[3] == &new ErrorLevel(ErrorLevel__ static_init#4)
post	MEDIUM == &new ErrorLevel(ErrorLevel__static_ init#3)
post	$VALUES[2] == &new ErrorLevel(ErrorLevel__ static_init#3)
post	UNKNOWN == &new ErrorLevel(ErrorLevel__static_ init#5)
post	$VALUES[4] == &new ErrorLevel(ErrorLevel__ static_init#5)
post	new ErrorLevel(ErrorLevel__static_init#1) num objects == 1
post	new ErrorLevel(ErrorLevel__static_init#2) num objects == 1
post	new ErrorLevel(ErrorLevel__static_init#3) num objects == 1
post	new ErrorLevel(ErrorLevel__static_init#4) num objects == 1
post	new ErrorLevel(ErrorLevel__static_init#5) num objects == 1
post	new ErrorLevel[](ErrorLevel__static_init#6) num objects == 1
post	init'ed(FATAL.icon)
post	FATAL.value == &"Fatal"
post	init'ed(HIGH.icon)
post	HIGH.value == &"High"
post	init'ed(MEDIUM.icon)
post	MEDIUM.value == &"Medium"
post	init'ed(LOW.icon)
post	LOW.value == &"Low"
post	init'ed(UNKNOWN.icon)
post	UNKNOWN.value == &"Unknown"
post	$VALUES.length == 5
unanalyzed	call on java.lang.Enum
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.URLBuilder:buildURL
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.awt.Image:getScaledInstance
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.awt.Toolkit:getImage
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get

method	void com.dmdirc.logger.ErrorLevel(String, int, String, Icon)
post	this.icon == icon
post	init'ed(this.icon)
post	this.value == value
post	init'ed(this.value)

method	String toString()
pre	init'ed(this.value)
post	return_value == this.value
post	init'ed(return_value)

method	Icon getIcon()
pre	init'ed(this.icon)
post	return_value == this.icon
post	init'ed(return_value)

method	bool moreImportant(ErrorLevel)
post	init'ed(return_value)
test_vector	level: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on int com.dmdirc.logger.ErrorLevel:ordinal()