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

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

method

void com.dmdirc.ui.interfaces.FramemanagerPosition (String, int)

method	com.dmdirc.ui.interfaces.FramemanagerPosition__ static_init
post	$VALUES == &new FramemanagerPosition[](Frameman agerPosition__static_init#6)
post	BOTTOM == &new FramemanagerPosition(Framemanage rPosition__static_init#3)
post	$VALUES[2] == &new FramemanagerPosition(Framema nagerPosition__static_init#3)
post	LEFT == &new FramemanagerPosition(FramemanagerP osition__static_init#2)
post	$VALUES[1] == &new FramemanagerPosition(Framema nagerPosition__static_init#2)
post	RIGHT == &new FramemanagerPosition(Framemanager Position__static_init#4)
post	$VALUES[3] == &new FramemanagerPosition(Framema nagerPosition__static_init#4)
post	TOP == &new FramemanagerPosition(FramemanagerPo sition__static_init#1)
post	$VALUES[0] == &new FramemanagerPosition(Framema nagerPosition__static_init#1)
post	UNKNOWN == &new FramemanagerPosition(Framemanag erPosition__static_init#5)
post	$VALUES[4] == &new FramemanagerPosition(Framema nagerPosition__static_init#5)
post	new FramemanagerPosition(FramemanagerPosition__ static_init#1) num objects == 1
post	new FramemanagerPosition(FramemanagerPosition__ static_init#2) num objects == 1
post	new FramemanagerPosition(FramemanagerPosition__ static_init#3) num objects == 1
post	new FramemanagerPosition(FramemanagerPosition__ static_init#4) num objects == 1
post	new FramemanagerPosition(FramemanagerPosition__ static_init#5) num objects == 1
post	new FramemanagerPosition[](FramemanagerPosition__ static_init#6) num objects == 1
post	$VALUES.length == 5
unanalyzed	call on java.lang.Enum

method	FramemanagerPosition getPosition(String)
post	init'ed(return_value)
unanalyzed	call on java.lang.Enum:valueOf
test_vector	name: Inverse{null}, Addr_Set{null}

method	bool isHorizontal()
post	init'ed(return_value)