SnappingJSplitPane.java

SnappingJSplitPane.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool access$000(SnappingJSplitPane)

Kind	Annotation Text
pre	init'ed(x0.useOneTouchExpandable)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.useOneTouchExpandable

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.SnappingJSplitPane$Orientation__static_init

Kind	Annotation Text
post	$VALUES == &new SnappingJSplitPane$Orientation[ ](SnappingJSplitPane$Orientation__static_init#3)
post	$VALUES.length == 2
post	$VALUES[0] == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#1)
post	$VALUES[1] == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#2)
post	HORIZONTAL == &new SnappingJSplitPane$Orientati on(SnappingJSplitPane$Orientation__static_init#1)
post	VERTICAL == &new SnappingJSplitPane$Orientation (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
unanalyzed	call on java.lang.Enum

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

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

void com.dmdirc.addons.ui_swing.components.SnappingJSplitPane(int)

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

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

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

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

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

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

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

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

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

void com.dmdirc.addons.ui_swing.components.SnappingJSplitPane(SnappingJSplitPane$Orientation, Component, Component, bool)

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

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

Kind	Annotation Text
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	init'ed(this.leftComponentSnap)
post	init'ed(this.snapDistance)
post	init'ed(this.useOneTouchExpandable)
post	this.config != null
post	this.leftComponentSnap == leftComponentSnap
post	this.snapDistance == snapDistance

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

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

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

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

void com.dmdirc.addons.ui_swing.components.SnappingJSplitPane(bool)

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

void com.dmdirc.addons.ui_swing.components.SnappingJSplitPane(bool, int)

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

com.dmdirc.addons.ui_swing.components.SnappingJSplitPane__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	this.config != null
post	init'ed(this.useOneTouchExpandable)
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void run()

Kind	Annotation Text
pre	init'ed(this.useOneTouchExpandable)

void setDividerLocation(int)

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

void setDividerLocationHorizontal(int)

Kind	Annotation Text
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}

void setDividerLocationVertical(int)

Kind	Annotation Text
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}

SnappingJSplitPane$Orientation valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

SnappingJSplitPane$Orientation[] values()

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