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

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

method

void com.dmdirc.ChannelClientProperty(String, int)

method	com.dmdirc.ChannelClientProperty__static_init
post	$VALUES == &new ChannelClientProperty[](Channel ClientProperty__static_init#5)
post	NICKLIST_BACKGROUND == &new ChannelClientProper ty(ChannelClientProperty__static_init#2)
post	$VALUES[1] == &new ChannelClientProperty(Channe lClientProperty__static_init#2)
post	NICKLIST_FOREGROUND == &new ChannelClientProper ty(ChannelClientProperty__static_init#1)
post	$VALUES[0] == &new ChannelClientProperty(Channe lClientProperty__static_init#1)
post	TEXT_BACKGROUND == &new ChannelClientProperty(C hannelClientProperty__static_init#4)
post	$VALUES[3] == &new ChannelClientProperty(Channe lClientProperty__static_init#4)
post	TEXT_FOREGROUND == &new ChannelClientProperty(C hannelClientProperty__static_init#3)
post	$VALUES[2] == &new ChannelClientProperty(Channe lClientProperty__static_init#3)
post	new ChannelClientProperty(ChannelClientProperty__ static_init#1) num objects == 1
post	new ChannelClientProperty(ChannelClientProperty__ static_init#2) num objects == 1
post	new ChannelClientProperty(ChannelClientProperty__ static_init#3) num objects == 1
post	new ChannelClientProperty(ChannelClientProperty__ static_init#4) num objects == 1
post	new ChannelClientProperty[](ChannelClientProperty__ static_init#5) num objects == 1
post	$VALUES.length == 4
unanalyzed	call on java.lang.Enum