Messages

method

com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$1__static_init

method

com.dmdirc.addons.ui_swing.components. SnappingJSplitPane__static_init

method	bool access$000(SnappingJSplitPane)
pre	x0 != null
pre	init'ed(x0.useOneTouchExpandable)
post	return_value == x0.useOneTouchExpandable
post	init'ed(return_value)

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

method	SnappingJSplitPane$Orientation valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation(String, int)

method	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation__static_init
post	$VALUES == &new SnappingJSplitPane$Orientation[ ](SnappingJSplitPane$Orientation__static_init#3)
post	HORIZONTAL == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#1)
post	$VALUES[0] == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#1)
post	VERTICAL == &new SnappingJSplitPane$Orientation (SnappingJSplitPane$Orientation__static_init#2)
post	$VALUES[1] == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#2)
post	new SnappingJSplitPane$Orientation(SnappingJSplitPa ne$Orientation__static_init#1) num objects == 1
post	new SnappingJSplitPane$Orientation(SnappingJSplitPa ne$Orientation__static_init#2) num objects == 1
post	new SnappingJSplitPane$Orientation[](SnappingJSplit Pane$Orientation__static_init#3) num objects == 1
post	$VALUES.length == 2
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(int)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(bool)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(bool, int)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, int)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, bool)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, bool, int)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, Component, Component)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, Component, Component, int)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == 1
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, Component, Component, bool)
pre	orientation != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == 10
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method	void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane(SnappingJSplitPane$Orientation, Component, Component, bool, int)
pre	orientation != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap(...)@235 != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap(...)@236 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	init'ed(this.leftComponentSnap)
post	this.snapDistance == snapDistance
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals(Object)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout(bool)

method not available - call not analyzed Info call on ActionMap com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getActionMap()

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method	void setDividerLocation(int)
pre	init'ed(this.leftComponentSnap)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getLeftComponent
unanalyzed	call on java.awt.Component:getPreferredSize
unanalyzed	call on java.lang.Math:abs
unanalyzed	call on javax.swing.JSplitPane:setDividerLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getRightComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth
test_vector	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getOrientation(...)@244: {-2³¹..0, 2..2³²-1}, {1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getOrientation()

method	void setDividerLocationHorizontal(int)
pre	init'ed(this.leftComponentSnap)
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getLeftComponent(...)@258 != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getRightComponent(...)@262 != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth(...)@263 - location in {-2³²..6_442_450_943}
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth(...)@265 - java.awt.Component:getPreferredSize(...). width@262 in {-2³¹..2³²-1}
presumption	java.awt.Component:getPreferredSize(...).width@258 - location in {-2³¹..2³²-1}
presumption	java.awt.Component:getPreferredSize(...).width@262 - (com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth(...)@263 - location) in {-2³²+1..2³¹}
presumption	java.awt.Component:getPreferredSize(...)@258 != null
presumption	java.awt.Component:getPreferredSize(...)@262 != null
test_vector	this.leftComponentSnap: {0}, {1}

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getLeftComponent()

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getRightComponent()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth()

method	void setDividerLocationVertical(int)
pre	init'ed(this.leftComponentSnap)
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getLeftComponent(...)@279 != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getRightComponent(...)@283 != null
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth(...)@284 - location in {-2³²..6_442_450_943}
presumption	com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth(...)@286 - java.awt.Component:getPreferredSize(...). height@283 in {-2³¹..2³²-1}
presumption	java.awt.Component:getPreferredSize(...). height@279 - location in {-2³¹.. 2³²-1}
presumption	java.awt.Component:getPreferredSize(...). height@283 - (com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getWidth(...)@284 - location) in {-2³²+1..2³¹}
presumption	java.awt.Component:getPreferredSize(...)@279 != null
presumption	java.awt.Component:getPreferredSize(...)@283 != null
test_vector	this.leftComponentSnap: {0}, {1}

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getLeftComponent()

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.SnappingJSplitPane:getRightComponent()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getWidth()

method	void configChanged(String, String)
pre	this.config != null
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method

void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$1(SnappingJSplitPane)

method	void run()
pre	init'ed(this.useOneTouchExpandable)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable(bool)