DMDircDesktopPane.java

DMDircDesktopPane.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void access$000(DMDircDesktopPane, Component, Object, int)

Kind	Annotation Text
pre	x0 != null

int access$100(DMDircDesktopPane)

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

int access$102(DMDircDesktopPane, int)

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

int access$112(DMDircDesktopPane, int)

Kind	Annotation Text
pre	init'ed(x0.xOffset)
pre	x0 != null
pre	x1 + x0.xOffset in {-2³¹..2³²-1}
post	init'ed(return_value)
post	return_value == x1 + old x0.xOffset
post	x0.xOffset == return_value

int access$200(DMDircDesktopPane)

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

int access$202(DMDircDesktopPane, int)

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

int access$212(DMDircDesktopPane, int)

Kind	Annotation Text
pre	init'ed(x0.yOffset)
pre	x0 != null
pre	x1 + x0.yOffset in {-2³¹..2³²-1}
post	init'ed(return_value)
post	return_value == x1 + old x0.yOffset
post	x0.yOffset == return_value

Window access$300(DMDircDesktopPane)

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

Window access$302(DMDircDesktopPane, Window)

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

Map access$400(DMDircDesktopPane)

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

TreeViewModel access$500(DMDircDesktopPane)

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

MainFrame access$600(DMDircDesktopPane)

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

TreeSelectionModel access$700(DMDircDesktopPane)

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

void add(JComponent, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void addWindow(FrameContainer)

Kind	Annotation Text
pre	this.model != null
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void addWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void addWindow(TreeViewNode, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

bool canPositionHorizontally()

Kind	Annotation Text
post	return_value == 1

bool canPositionVertically()

Kind	Annotation Text
post	return_value == 1

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$1(DMDircDesktopPane, DefaultTreeModel, TreeSelectionModel, bool)

Kind	Annotation Text
pre	x0 != null
post	init'ed(this.rootNode)
post	init'ed(this.rootVisible)
post	init'ed(this.selectionModel)
post	this.model != null
post	this.model == x0
post	this.rootVisible == x2
post	this.selectionModel == x1
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$2(DMDircDesktopPane, JComponent, int)

Kind	Annotation Text
post	init'ed(this.val$comp)
post	init'ed(this.val$index)
post	this.val$comp == Param_2
post	this.val$index == Param_3

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$3(DMDircDesktopPane)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$4(DMDircDesktopPane, FrameContainer, FrameContainer)

Kind	Annotation Text
post	init'ed(this.val$parent)
post	init'ed(this.val$window)
post	this.val$parent == Param_2
post	this.val$window == Param_3

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$4__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$5(DMDircDesktopPane, FrameContainer)

Kind	Annotation Text
post	init'ed(this.val$window)
post	this.val$window == Param_2

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$5__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$6(DMDircDesktopPane, FrameContainer, TreeViewNode)

Kind	Annotation Text
post	init'ed(this.val$parent)
post	init'ed(this.val$window)
post	this.val$parent == Param_3
post	this.val$window == Param_2

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$6__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$7(DMDircDesktopPane, Window)

Kind	Annotation Text
post	init'ed(this.val$window)
post	this.val$window == Param_2

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane$7__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane(MainFrame)

Kind	Annotation Text
post	init'ed(this.mainFrame)
post	init'ed(this.treeScroller.rootNode)
post	new AtomicBoolean(DMDircDesktopPane#1) num objects == 1
post	new DMDircDesktopPane$1(DMDircDesktopPane#8) num objects == 1
post	new DefaultTreeSelectionModel(DMDircDesktopPane#7) num objects == 1
post	new HashMap(DMDircDesktopPane#4) num objects == 1
post	new TreeViewModel(DMDircDesktopPane#5) num objects == 1
post	this.changing == &new AtomicBoolean(DMDircDeskt opPane#1)
post	this.mainFrame == mainFrame
post	this.model == &new TreeViewModel(DMDircDesktopP ane#5)
post	this.nodes == &new HashMap(DMDircDesktopPane#4)
post	this.selectionModel == &new DefaultTreeSelectio nModel(DMDircDesktopPane#7)
post	this.treeScroller == &new DMDircDesktopPane$1(D MDircDesktopPane#8)
post	this.treeScroller.model == &new TreeViewModel(DMDircDesktopPane#5)
post	this.treeScroller.rootVisible == 0
post	this.treeScroller.selectionModel == &new DefaultTreeSelectionModel(DMDircDesktopPane#7)
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.InputMap
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JDesktopPane:setUI
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.plaf.DesktopPaneUI
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot

com.dmdirc.addons.ui_swing.components.desktopPane.DMDircDesktopPane__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

void delWindow(FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void delWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

Window getSelectedWindow()

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void handleMaximiseEvent(bool, String)

Kind	Annotation Text
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.selectedWindow)
pre	(soft) this.mainFrame != null
pre	this.changing != null
presumption	java.util.Stack:pop(...)@355 != null
post	possibly_updated(this.maximised)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
test_vector	isMaximised: {0}, {1}
test_vector	java.util.Stack:empty(...)@354: {1}, {0}
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@345: {0}, {1}
test_vector	javax.swing.JInternalFrame:isMaximum(...)@357: {1}, {0}
test_vector	javax.swing.JInternalFrame:isMaximum(...)@361: {0}, {1}
test_vector	this.selectedWindow: Addr_Set{null}, Inverse{null}

void handleTitleEvent(Window, String)

Kind	Annotation Text
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.selectedWindow)
pre	(soft) this.mainFrame != null
pre	init'ed(this.maximised)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	this.maximised: {0}, {1}
test_vector	window == this.selectedWindow: {0}, {1}

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.maximised)
pre	(soft) init'ed(this.selectedWindow)
pre	(soft) this.changing != null
pre	(soft) this.mainFrame != null
pre	evt != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@330 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@327 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@330 != null
post	init'ed(this.maximised)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:getAllFrames
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:activateFra me
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on com.dmdirc.ui.interfaces.Window:maximise
unanalyzed	call on com.dmdirc.ui.interfaces.Window:restore
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:addAll
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:set
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.JInternalFrame:isMaximum
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on setTitle
test_vector	java.lang.String:equals(...)@326: {0}, {1}
test_vector	java.lang.String:equals(...)@329: {0}, {1}

void run()

Kind	Annotation Text
pre	(soft) init'ed(this.val$window.inputField)
pre	(soft) this.selectionModel != null
pre	init'ed(this.mainFrame.showVersion)
pre	this.mainFrame != null
pre	this.model != null
pre	this.nodes != null
pre	this.val$window != null
post	this.selectedWindow == this.val$window
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewModel:getPathToRoot(...)@310: Addr_Set{null}, Inverse{null}
test_vector	path.length@310: {0}, {1..+Inf}

void run()

Kind	Annotation Text
pre	(soft) this.xOffset <= 4_294_967_265
pre	(soft) this.yOffset <= 4_294_967_265
pre	this.val$comp != null
post	this.xOffset == One-of{old this.xOffset, 0} + 30
post	this.yOffset == One-of{old this.yOffset, 0} + 30
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:addImpl

void run()

Kind	Annotation Text
pre	this.nodes != null
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void run()

Kind	Annotation Text
pre	this.model != null
pre	this.nodes != null
pre	this.val$window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@285 != null

void run()

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

void run()

Kind	Annotation Text
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) this.mainFrame != null
pre	(soft) this.model != null
pre	(soft) this.val$window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@256 != null
presumption	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...)@258 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Map:get(...)@245 != null
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...).length@258: {1..+Inf}, {0}
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode:getLevel(...)@246: {-2³¹.. -1, 1..2³²-1}, {0}
test_vector	java.util.Map:get(...)@242: Inverse{null}, Addr_Set{null}
test_vector	this.nodes: Addr_Set{null}, Inverse{null}

void scrollDown()

Kind	Annotation Text
pre	(soft) this.treeScroller.model != null
pre	(soft) this.treeScroller.selectionModel != null
pre	this.treeScroller != null
unanalyzed	call on com.dmdirc.FrameContainer:activateFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getFrameContainer
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildAt
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildCount
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get FirstChild
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get LastLeaf
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get NextNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get PreviousNode
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getPathTo Root
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot
unanalyzed	call on javax.swing.tree.TreePath
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
unanalyzed	call on javax.swing.tree.TreeSelectionModel:getSele ctionPath
unanalyzed	call on javax.swing.tree.TreeSelectionModel:isSelec tionEmpty
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath
unanalyzed	call on setPath

void scrollUp()

Kind	Annotation Text
pre	(soft) this.treeScroller.model != null
pre	(soft) this.treeScroller.selectionModel != null
pre	this.treeScroller != null
unanalyzed	call on com.dmdirc.FrameContainer:activateFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getFrameContainer
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildAt
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildCount
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get FirstChild
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get LastLeaf
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get NextNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get PreviousNode
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getPathTo Root
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot
unanalyzed	call on javax.swing.tree.TreePath
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
unanalyzed	call on javax.swing.tree.TreeSelectionModel:getSele ctionPath
unanalyzed	call on javax.swing.tree.TreeSelectionModel:isSelec tionEmpty
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath
unanalyzed	call on setPath

void selectionChanged(Window)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void setParent(JComponent)

Kind	Annotation Text

void setPath(TreePath)

Kind	Annotation Text
pre	path != null
pre	this.selectionModel != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode:getFrameContainer(...)@122 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@122 != null
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath

void setUI(DesktopPaneUI)

Kind	Annotation Text
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.InputMap
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.plaf.DesktopPaneUI