Messages

method

com.dmdirc.config.ConfigTarget__static_init

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

method	ConfigTarget$TYPE valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.config.ConfigTarget$TYPE(String, int)

method	com.dmdirc.config.ConfigTarget$TYPE__static_init
post	$VALUES == &new ConfigTarget$TYPE[](ConfigTarge t$TYPE__static_init#9)
post	CHANNEL == &new ConfigTarget$TYPE(ConfigTarget$ TYPE__static_init#8)
post	$VALUES[7] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#8)
post	GLOBAL == &new ConfigTarget$TYPE(ConfigTarget$T YPE__static_init#2)
post	$VALUES[1] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#2)
post	GLOBALDEFAULT == &new ConfigTarget$TYPE(ConfigT arget$TYPE__static_init#1)
post	$VALUES[0] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#1)
post	IRCD == &new ConfigTarget$TYPE(ConfigTarget$TYP E__static_init#5)
post	$VALUES[4] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#5)
post	NETWORK == &new ConfigTarget$TYPE(ConfigTarget$ TYPE__static_init#6)
post	$VALUES[5] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#6)
post	PROFILE == &new ConfigTarget$TYPE(ConfigTarget$ TYPE__static_init#4)
post	$VALUES[3] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#4)
post	SERVER == &new ConfigTarget$TYPE(ConfigTarget$T YPE__static_init#7)
post	$VALUES[6] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#7)
post	THEME == &new ConfigTarget$TYPE(ConfigTarget$TY PE__static_init#3)
post	$VALUES[2] == &new ConfigTarget$TYPE(ConfigTarg et$TYPE__static_init#3)
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#1) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#2) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#3) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#4) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#5) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#6) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#7) num objects == 1
post	new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#8) num objects == 1
post	new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_ init#9) num objects == 1
post	$VALUES.length == 8
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.config.ConfigTarget()
post	this.order == 50_000
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#2)

method	void setOrder(int)
post	this.order == order
post	init'ed(this.order)

method	int getOrder()
pre	init'ed(this.order)
post	return_value == this.order
post	init'ed(return_value)

method	void setGlobal()
post	this.data == &""
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#2)

method	void setGlobalDefault()
post	this.data == &""
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#1)

method	void setTheme()
post	this.data == &""
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#3)

method	void setProfile()
post	this.data == &""
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#4)

method	void setIrcd(String)
post	this.data == ircd
post	init'ed(this.data)
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#5)

method	void setNetwork(String)
post	this.data == network
post	init'ed(this.data)
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#6)

method	void setServer(String)
post	this.data == server
post	init'ed(this.data)
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#7)

method	void setChannel(String)
post	this.data == channel
post	init'ed(this.data)
post	this.type == &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE__static_init#8)

method	ConfigTarget$TYPE getType()
pre	init'ed(this.type)
post	return_value == this.type
post	init'ed(return_value)

method	com.dmdirc.config.ConfigTarget$1__static_init
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE[](ConfigTarget$T YPE__static_init#9)[...])
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@174 in {0..7}
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@174 - values(...).length in range
post	new int[](ConfigTarget$1__static_init#1) num objects == 1

method	String getTypeName()
pre	this.type != null
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@174 in {0..7}
post	return_value in Addr_Set{&"globaldefault", &"theme",&"profile",&"ircd", &"network",&"server",&"channel", &"global"}
test_vector	com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {6}, {7}, {-2³¹..0, 8..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

method	String getData()
pre	init'ed(this.data)
post	return_value == this.data
post	init'ed(return_value)

method	int hashCode()
pre	this.data != null
pre	this.type != null
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@206 + java.lang.String:hashCode(...)@206 in {-2³¹..2³²-1}
post	init'ed(return_value)

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

method	bool equals(Object)
pre	(soft) init'ed(obj.data)
pre	(soft) init'ed(obj.type)
pre	(soft) this.data != null
pre	(soft) init'ed(this.type)
post	init'ed(return_value)
test_vector	this.type == obj.type: {0}, {1}
test_vector	java.lang.String:equals(...)@212: {0}, {1}

method	int compareTo(Object)
pre	target != null
pre	init'ed(target.type)
pre	this.type != null
pre	(soft) init'ed(target.order)
pre	(soft) target.order - this.order in {-2³¹..2³²-1}
pre	(soft) init'ed(this.order)
post	init'ed(return_value)
test_vector	com.dmdirc.config.ConfigTarget_TYPE:equals(... )@228: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigTarget$TYPE:eq uals(Object)

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:com pareTo(Enum)

method	String toString()
pre	this.type != null
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
pre	(soft) init'ed(this.data)
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@242 in {0..7}
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{&"Global defaults",&"Theme",&"Profile",&java. lang.StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)...
test_vector	com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {6}, {7}, {-2³¹..0, 8..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()