Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$20__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$19__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$18__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$17__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$16__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$15__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$14__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$13__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$12__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$11$1__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$11__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$10__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$9__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$8__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$7__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$6__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$5__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$4__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$3__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$2__static_init

method

com.dmdirc.addons.ui_swing.components.frames. TextFrame$1__static_init

method	void access$001(TextFrame, String)
pre	x0 != null

method	void access$101(TextFrame, bool)
pre	x0 != null

method	void access$201(TextFrame, bool)
pre	x0 != null

method	SwingController access$300(TextFrame)
pre	x0 != null
pre	init'ed(x0.controller)
post	return_value == x0.controller
post	init'ed(return_value)

method	void access$401(TextFrame, bool)
pre	x0 != null

method	bool access$500(TextFrame)
pre	x0 != null
pre	init'ed(x0.closing)
post	return_value == x0.closing
post	init'ed(return_value)

method	bool access$502(TextFrame, bool)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.closing == return_value

method	Logger access$600()
post	init'ed(return_value)

method	AtomicBoolean access$700(TextFrame)
pre	x0 != null
pre	init'ed(x0.maximiseRestoreInProgress)
post	return_value == x0.maximiseRestoreInProgress
post	init'ed(return_value)

method	TextPane access$800(TextFrame)
pre	x0 != null
pre	init'ed(x0.textPane)
post	return_value == x0.textPane
post	init'ed(return_value)

method	int access$900(TextFrame)
pre	x0 != null
pre	init'ed(x0.frameBufferSize)
post	return_value == x0.frameBufferSize
post	init'ed(return_value)

method	com.dmdirc.addons.ui_swing.components.frames. TextFrame__static_init
post	init'ed(LOGGER)

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

method	TextFrame$MouseClickType valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$MouseClickType(String, int)

method	com.dmdirc.addons.ui_swing.components.frames. TextFrame$MouseClickType__static_init
post	$VALUES == &new TextFrame$MouseClickType[](Text Frame$MouseClickType__static_init#4)
post	CLICKED == &new TextFrame$MouseClickType(TextFr ame$MouseClickType__static_init#1)
post	$VALUES[0] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#1)
post	PRESSED == &new TextFrame$MouseClickType(TextFr ame$MouseClickType__static_init#3)
post	$VALUES[2] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#3)
post	RELEASED == &new TextFrame$MouseClickType(TextF rame$MouseClickType__static_init#2)
post	$VALUES[1] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#2)
post	new TextFrame$MouseClickType(TextFrame$MouseClickTy pe__static_init#1) num objects == 1
post	new TextFrame$MouseClickType(TextFrame$MouseClickTy pe__static_init#2) num objects == 1
post	new TextFrame$MouseClickType(TextFrame$MouseClickTy pe__static_init#3) num objects == 1
post	new TextFrame$MouseClickType[](TextFrame$MouseClick Type__static_init#4) num objects == 1
post	$VALUES.length == 3
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame(FrameContainer, SwingController)
pre	controller != null
pre	owner != null
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@155 != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getMainF rame(...)@190 != null
post	init'ed(this.closing)
post	this.controller == controller
post	this.controller != null
post	init'ed(this.frameBufferSize)
post	this.frameParent == owner
post	this.frameParent != null
post	init'ed(this.inputWindow)
post	this.maximiseRestoreInProgress == &new AtomicBoolean(TextFrame#1)
post	init'ed(this.quickCopy)
post	this.searchBar == &new SwingSearchBar(initCompo nents#2)
post	this.textPane == &new TextPane(initComponents#1 )
post	this.transcoder in Addr_Set{&new StringTranscoder(TextFrame#3),&new StringTranscoder(TextFrame#6),&new StringTranscoder(TextFrame#5),&new StringTranscoder(TextFrame#4)}
post	new AtomicBoolean(TextFrame#1) num objects == 1
post	new SwingSearchBar(initComponents#2) num objects == 1
post	new TextPane(initComponents#1) num objects == 1
post	new StringTranscoder(TextFrame#3) num objects <= 1
post	new StringTranscoder(TextFrame#4) num objects <= 1
post	new StringTranscoder(TextFrame#5) num objects <= 1
post	new StringTranscoder(TextFrame#6) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getMainFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPanePageUpAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPanePageDownAction
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. SearchAction

method not available - call not analyzed Info call on ConfigManager com.dmdirc.FrameContainer:get ConfigManager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

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 Icon com.dmdirc.FrameContainer:getIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setFrameIcon(Icon)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$1(TextFrame)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addIconChang eListener(IconChangeListener)

method

void iconChanged(Window, Icon)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setFrameIcon(Icon)

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on void com.dmdirc.util.StringTranscoder(Chars et)

method not available - call not analyzed Info call on void com.dmdirc.util.StringTranscoder(Chars et)

method not available - call not analyzed Info call on Window com.dmdirc.ui.WindowManager:getParen t(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setMaximizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setClosable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setResizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setIconifiable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setFocusable(bool)

method not available - call not analyzed Info call on MainFrame com.dmdirc.addons.ui_swing. SwingController:getMainFrame()

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

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. MainFrame:getHeight()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setPreferredSize(Dimension)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setDefaultCloseOperation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:addPropertyChangeListener(String, PropertyChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:addInternalFrameListener(InternalF rameListener)

method not available - call not analyzed Info call on Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:setBackground(Color)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:addPropertyChangeListener(String, PropertyChangeListener)

method	SwingController getController()
pre	init'ed(this.controller)
post	return_value == this.controller
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame$2(TextFrame, String)
post	this.val$title == Param_2
post	init'ed(this.val$title)

method

void setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
unanalyzed	call on javax.swing.JInternalFrame:setTitle

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame$3(TextFrame, bool)
post	this.val$isVisible == Param_2
post	init'ed(this.val$isVisible)

method

void setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	(soft) this.frameParent != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JComponent:setVisible
test_vector	this.val$isVisible: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isVisible(...)@239: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isVisible()

method	void open()
pre	this.frameParent != null
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@251 != null

method not available - call not analyzed Info call on ConfigManager com.dmdirc.FrameContainer:get ConfigManager()

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.frames. TextFrame$4(TextFrame, bool)
post	this.val$pref == Param_2
post	init'ed(this.val$pref)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	(soft) this.controller != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getMainF rame(...)@261 != null
unanalyzed	call on javax.swing.JComponent:setVisible
test_vector	this.val$pref: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.MainFrame:getMaximised(. ..)@261: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isMaximum(...)@262: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isSelected(...)@270: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isVisible(...)@257: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isVisible()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isMaximum()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setMaximum(bool)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isSelected()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setSelected(bool)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$5(TextFrame)

method

void activateFrame()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
unanalyzed	call on javax.swing.JComponent:setVisible
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isIcon(...)@288: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isSelected(...)@294: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isVisible(...)@291: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setIcon(bool)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isVisible()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isSelected()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setSelected(bool)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$6(TextFrame)

method

void close()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	init'ed(this.closing)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
test_vector	this.closing: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isClosed(...)@321: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isClosed()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setClosed(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$7(TextFrame)

method

void minimise()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isIcon(...)@340: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setIcon(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void maximise()
presumption	java.util.logging.Logger:getLogger(...)@103 != null

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$8(TextFrame)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	(soft) this.maximiseRestoreInProgress != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.logging.Logger:getLogger(...)@103 != null
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isIcon(...)@369: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isMaximum(...)@363: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isMaximum()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setIcon(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setMaximum(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$9(TextFrame)

method

void restore()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	(soft) this.maximiseRestoreInProgress != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isIcon(...)@400: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isMaximum(...)@395: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isMaximum()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setIcon(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setMaximum(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$10(TextFrame)

method

void toggleMaximise()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on java.util.logging.Logger:finest
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isMaximum(...)@420: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isMaximum()

method	void addLine(String, bool)
pre	this.transcoder != null

method not available - call not analyzed Info call on String com.dmdirc.util.StringTranscoder:dec ode(String)

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame$11(TextFrame, String, bool)
post	this.val$encodedLine == Param_2
post	init'ed(this.val$encodedLine)
post	this.val$timestamp == Param_3
post	init'ed(this.val$timestamp)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	init'ed(this.frameBufferSize)
pre	this.textPane != null
pre	this.val$encodedLine != null
presumption	com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument(...)@461 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
test_vector	this.frameBufferSize: {-2³¹..0}, {1..2³²-1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

Low Prob.

Test predetermined because i$ == len$

dead code

click for all messages in this file Low Prob.

Dead code here because i$ == len$

Prev Msg Next Msg

dead code continues Info Dead code continues

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame$11$1(TextFrame$11, String)
post	this.val$myLine == Param_2
post	init'ed(this.val$myLine)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()

dead code continues Info Dead code continues

method	Object doInBackground()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ LINE_ADDED)
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method not available - call not analyzed Info call on IRCDocument com.dmdirc.addons.ui_swing. textpane.TextPane:getDocument()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. IRCDocument:addText(List)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:trim(int)

method	void addLine(String, Object[])
pre	messageType != null
pre	(soft) this.frameParent != null
pre	(soft) this.transcoder != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.util.StringTranscoder:decode
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
test_vector	java.lang.String:isEmpty(...)@474: {1}, {0}

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Formatter:formatMessage(ConfigManager, String, Object[])

method	void addLine(StringBuffer, Object[])
pre	(soft) this.frameParent != null
pre	(soft) this.transcoder != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.util.StringTranscoder:decode
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatMess age
test_vector	messageType: Addr_Set{null}, Inverse{null}

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$12(TextFrame)

method

void clear()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	this.textPane != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:clear()

method	void initComponents()
pre	this.controller != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getActionMap(...)@532 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getActionMap(...)@534 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getActionMap(...)@536 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getInputMap(...)@517 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getInputMap(...)@521 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getInputMap(...)@525 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getInputMap(...)@528 != null
post	this.searchBar == &new SwingSearchBar(initCompo nents#2)
post	this.textPane == &new TextPane(initComponents#1 )
post	new SwingSearchBar(initComponents#2) num objects == 1
post	new TextPane(initComponents#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane(FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:addMouseListener(MouseListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:addKeyListener(KeyListener)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingSearchBar:addKeyListener(KeyListener)

method not available - call not analyzed Info call on InputMap com.dmdirc.addons.ui_swing. components.frames.TextFrame:getInputMap(int)

method not available - call not analyzed Info call on InputMap com.dmdirc.addons.ui_swing. components.frames.TextFrame:getInputMap(int)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. UIUtilities:getCtrlDownMask()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPanePageUpAction(TextPane)

method	void propertyChange(PropertyChangeEvent)
pre	event != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@554 != null
presumption	java.util.logging.Logger:getLogger(...)@103 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:isMaximum(...)@550: {0}, {1}
test_vector	java.lang.Boolean:booleanValue(...)@554: {0}, {1}
test_vector	java.lang.String:equals(...)@549: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:isMaximum()

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$13(TextFrame)

method

void hideTitlebar()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getUI(...)@571 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setBorder(Border)

method not available - call not analyzed Info call on InternalFrameUI com.dmdirc.addons.ui_swing. components.frames.TextFrame:getUI()

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$14(TextFrame)

method

void showTitlebar()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.Class:getClassLoader(...)@594 != null
presumption	java.lang.Class:getConstructor(...)@595 != null
presumption	java.lang.ClassLoader:loadClass(...)@594 != null
presumption	java.lang.Object:getClass(...)@594 != null
test_vector	java.lang.String:equals(...)@590: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setUI(InternalFrameUI)

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$15(TextFrame)

method	void internalFrameOpened(InternalFrameEvent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame$15:execute()

method	Object doInBackground()
pre	this.frameParent != null
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:windowOpened ()

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$16(TextFrame)

method	void internalFrameClosing(InternalFrameEvent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method	Object doInBackground()
pre	this.frameParent != null
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:windowClosin g()

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$17(TextFrame)

method	void internalFrameClosed(InternalFrameEvent)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method	Object doInBackground()
pre	this.frameParent != null
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:windowClosed ()

method	void com.dmdirc.addons.ui_swing.components.frames. TextFrame$18(TextFrame, InternalFrameEvent)
post	this.val$event == Param_2
post	init'ed(this.val$event)

method

void internalFrameIconified(InternalFrameEvent)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	this.val$event != null
presumption	javax.swing.event.InternalFrameEvent:getInternalFra me(...)@700 != null

method

void internalFrameDeiconified(InternalFrameEvent)

method	void internalFrameActivated(InternalFrameEvent)
pre	this.maximiseRestoreInProgress != null
presumption	java.util.logging.Logger:getLogger(...)@103 != null
unanalyzed	call on com.dmdirc.FrameContainer:toString
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@724: {0}, {1}

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$19(TextFrame)

method	Object doInBackground()
pre	this.frameParent != null
presumption	java.util.logging.Logger:getLogger(...)@103 != null
post	return_value == null
unanalyzed	call on com.dmdirc.FrameContainer:toString

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:windowActiva ted()

method	void internalFrameDeactivated(InternalFrameEvent)
pre	this.maximiseRestoreInProgress != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@747: {0}, {1}

method

void com.dmdirc.addons.ui_swing.components.frames. TextFrame$20(TextFrame)

method	Object doInBackground()
pre	this.frameParent != null
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:windowDeacti vated()

method	FrameContainer getContainer()
post	return_value == this.frameParent
post	init'ed(return_value)

method	ConfigManager getConfigManager()
pre	this.frameParent != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.FrameContainer:get ConfigManager()

method	TextPane getTextPane()
pre	init'ed(this.textPane)
post	return_value == this.textPane
post	init'ed(return_value)

method	StringTranscoder getTranscoder()
pre	init'ed(this.transcoder)
post	return_value == this.transcoder
post	init'ed(return_value)

method	String getName()
post	init'ed(com.dmdirc.FrameContainer:toString(...)._ tainted)
post	return_value in Addr_Set{&com.dmdirc. FrameContainer:toString(...),&""}
test_vector	this.frameParent: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on String com.dmdirc.FrameContainer:toString()

method	void setTextPane(TextPane)
post	this.textPane == newTextPane
post	init'ed(this.textPane)

method	void mouseClicked(MouseEvent)
pre	mouseEvent != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
pre	(soft) this.textPane != null
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal
unanalyzed	call on getChannelPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. ChannelCopyAction
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on getHyperlinkPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction
unanalyzed	call on getNicknamePopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NicknameCopyAction
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickType
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getAttributeValueAtPoint
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on showPopupMenuInternal
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:join
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:launchApp
unanalyzed	call on com.dmdirc.Server:hasQuery
unanalyzed	call on com.dmdirc.Server:getQuery
unanalyzed	call on com.dmdirc.Query:activateFrame
unanalyzed	call on com.dmdirc.Server:addQuery
unanalyzed	call on com.dmdirc.Query:show
unanalyzed	call on javax.swing.JInternalFrame:processMouseEven t
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. TextPaneCopyAction
unanalyzed	call on addCustomPopupItems

method	void mousePressed(MouseEvent)
pre	mouseEvent != null
pre	this.textPane != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal
unanalyzed	call on getChannelPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. ChannelCopyAction
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on getHyperlinkPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction
unanalyzed	call on getNicknamePopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NicknameCopyAction
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickType
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getAttributeValueAtPoint
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on showPopupMenuInternal
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:join
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:launchApp
unanalyzed	call on com.dmdirc.Server:hasQuery
unanalyzed	call on com.dmdirc.Server:getQuery
unanalyzed	call on com.dmdirc.Query:activateFrame
unanalyzed	call on com.dmdirc.Server:addQuery
unanalyzed	call on com.dmdirc.Query:show
unanalyzed	call on javax.swing.JInternalFrame:processMouseEven t
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. TextPaneCopyAction
unanalyzed	call on addCustomPopupItems

method	void mouseReleased(MouseEvent)
pre	init'ed(this.quickCopy)
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) mouseEvent != null
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
pre	(soft) this.textPane != null
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal
unanalyzed	call on getChannelPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. ChannelCopyAction
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on getHyperlinkPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction
unanalyzed	call on getNicknamePopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NicknameCopyAction
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getClickType
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getAttributeValueAtPoint
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on showPopupMenuInternal
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:join
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:launchApp
unanalyzed	call on com.dmdirc.Server:hasQuery
unanalyzed	call on com.dmdirc.Server:getQuery
unanalyzed	call on com.dmdirc.Query:activateFrame
unanalyzed	call on com.dmdirc.Server:addQuery
unanalyzed	call on com.dmdirc.Query:show
unanalyzed	call on javax.swing.JInternalFrame:processMouseEven t
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. TextPaneCopyAction
unanalyzed	call on addCustomPopupItems
test_vector	this.quickCopy: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:copy()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:clearSelection()

method

void mouseEntered(MouseEvent)

method

void mouseExited(MouseEvent)

method	void processMouseClickEvent(MouseEvent, TextFrame$MouseClickType)
pre	e != null
pre	this.textPane != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
presumption	com.dmdirc.FrameContainer:getServer(...)@889 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@895 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@896 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@899 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@900 != null
presumption	com.dmdirc.Server:getQuery(...)@896 != null
presumption	com.dmdirc.Server:getQuery(...)@900 != null
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@887 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length - com.dmdirc.addons. ui_swing.textpane.ClickType:ordinal(...)@887 in range
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@887 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length
presumption	com.dmdirc.addons.ui_swing.textpane. TextPane:getClickType(...)@880 != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@892 != null
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal
unanalyzed	call on getChannelPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. ChannelCopyAction
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on getHyperlinkPopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction
unanalyzed	call on getNicknamePopupType
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NicknameCopyAction
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. TextPaneCopyAction
unanalyzed	call on addCustomPopupItems
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame$21__static_init.new int[](TextFrame$21__ static_init#1)[...]: {1}, {2}, {3}, {-2³¹..0, 4..2³²-1}
test_vector	com.dmdirc.Server:hasQuery(...)@895: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.textpane. TextPane:getMousePosition(...)@877: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@883: {0}, {1}

method not available - call not analyzed Info call on Point com.dmdirc.addons.ui_swing.textpane. TextPane:getMousePosition()

method not available - call not analyzed Info call on LineInfo com.dmdirc.addons.ui_swing. textpane.TextPane:getClickPosition(Point)

method not available - call not analyzed Info call on ClickType com.dmdirc.addons.ui_swing. textpane.TextPane:getClickType(LineInfo)

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing.textpane. TextPane:getAttributeValueAtPoint(LineInfo)

method	com.dmdirc.addons.ui_swing.components.frames. TextFrame$21__static_init
presumption	com.dmdirc.addons.ui_swing.textpane.ClickType. CHANNEL != null
presumption	com.dmdirc.addons.ui_swing.textpane.ClickType. HYPERLINK != null
presumption	com.dmdirc.addons.ui_swing.textpane.ClickType. NICKNAME != null
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@887 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@887 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length@887
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length@887 >= 1
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...)@887 != null
post	new int[](TextFrame$21__static_init#1) num objects == 1

method not available - call not analyzed Info call on ClickType[] com.dmdirc.addons.ui_swing. textpane.ClickType:values()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on void com.dmdirc.Server:join(String)

method not available - call not analyzed Info call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()

method not available - call not analyzed Info call on void com.dmdirc.util.URLHandler:launchApp(S tring)

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on bool com.dmdirc.Server:hasQuery(String)

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on Query com.dmdirc.Server:getQuery(String)

method not available - call not analyzed Info call on void com.dmdirc.Query:activateFrame()

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on void com.dmdirc.Server:addQuery(String)

method	void showPopupMenuInternal(ClickType, Point, String)
pre	point != null
pre	init'ed(this.textPane)
pre	type != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
presumption	(int) (java.awt.Point:getX(...)@996) in {-2³¹..2³²-1}
presumption	(int) (java.awt.Point:getY(...)@996) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@962 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@962 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame$21__static_init.new int[](TextFrame$21__ static_init#1)[...]: {1}, {2}, {3}, {-2³¹..0, 4..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@966: {-2³¹..1}, {2..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@974: {-2³¹..1}, {2..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@981: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()

method not available - call not analyzed Info call on PopupType getChannelPopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. ChannelCopyAction(String)

method not available - call not analyzed Info call on PopupType getHyperlinkPopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction(String)

method not available - call not analyzed Info call on PopupType getNicknamePopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. NicknameCopyAction(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. TextPaneCopyAction(TextPane)

method not available - call not analyzed Info call on void addCustomPopupItems(JPopupMenu)

method	void showPopupMenu(ClickType, Point, String)
pre	point != null
pre	type != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
presumption	(int) (java.awt.Point:getX(...)@1041) in {-2³¹..2³²-1}
presumption	(int) (java.awt.Point:getY(...)@1041) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@1011 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@1011 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame$21__static_init.new int[](TextFrame$21__ static_init#1)[...]: {1}, {2}, {3}, {-2³¹..0, 4..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(... )@1015: {-2³¹..1}, {2..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(... )@1023: {-2³¹..1}, {2..2³²-1}
test_vector	javax.swing.JPopupMenu:getComponentCount(... )@1030: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()

method not available - call not analyzed Info call on PopupType getChannelPopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. ChannelCopyAction(String)

method not available - call not analyzed Info call on PopupType getHyperlinkPopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction(String)

method not available - call not analyzed Info call on PopupType getNicknamePopupType()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. NicknameCopyAction(String)

method	JPopupMenu getPopupMenu(PopupType, Object[])
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.inputWindow)
presumption	com.dmdirc.commandparser.PopupManager:getMenu(... )@1058 != null
post	return_value == &new JPopupMenu(getPopupMenu#1)
post	new JPopupMenu(getPopupMenu#1) num objects == 1
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
test_vector	type: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on PopupMenu com.dmdirc.commandparser. PopupManager:getMenu(PopupType, ConfigManager)

method	JComponent populatePopupMenu(JComponent, PopupMenu, Object[])
pre	popup != null
pre	(soft) menu != null
pre	(soft) init'ed(this.inputWindow)
presumption	com.dmdirc.commandparser.PopupMenu:getItems(... )@1078 != null
presumption	com.dmdirc.commandparser.PopupMenuItem:getSubMenu(. ..)@1082 != null
presumption	java.util.Iterator:next(...)@1078 != null
post	return_value == menu
post	return_value != null
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on javax.swing.JMenuItem
test_vector	this.inputWindow: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.commandparser.PopupMenuItem:isDivider(.. .)@1079: {0}, {1}
test_vector	com.dmdirc.commandparser.PopupMenuItem:isSubMenu(.. .)@1081: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1078: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.commandparser. PopupMenu:getItems()

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. PopupMenuItem:isDivider()

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. PopupMenuItem:isSubMenu()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getName()

method not available - call not analyzed Info call on PopupMenu com.dmdirc.commandparser. PopupMenuItem:getSubMenu()

method not available - call not analyzed Info call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()

method not available - call not analyzed Info call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getName()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getCommand(Object[])

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. CommandAction(CommandParser, InputWindow, String, String)

method

void keyTyped(KeyEvent)

method	void keyPressed(KeyEvent)
pre	init'ed(this.quickCopy)
pre	(soft) event != null
pre	(soft) this.textPane != null
test_vector	this.quickCopy: {1}, {0}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@1113: {-2³¹..66, 68..2³²-1}, {67}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. UIUtilities:getCtrlMask()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.textpane. TextPane:copy()

method

void keyReleased(KeyEvent)

method	SwingSearchBar getSearchBar()
pre	init'ed(this.searchBar)
post	return_value == this.searchBar
post	init'ed(return_value)

method	void configChanged(String, String)
pre	(soft) this.frameParent != null
pre	(soft) init'ed(this.textPane)
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@1156 != null
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@1159 != null
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@770 != null
post	possibly_updated(this.frameBufferSize)
post	possibly_updated(this.quickCopy)
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
test_vector	this.textPane: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.FrameContainer:getConfigManager(... )@770: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@1148: {0}, {1}
test_vector	java.lang.String:equals(...)@1149: {0}, {1}
test_vector	java.lang.String:equals(...)@1152: {0}, {1}
test_vector	java.lang.String:equals(...)@1155: {0}, {1}
test_vector	java.lang.String:equals(...)@1158: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.FrameContainer:get ConfigManager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

	method not available - call not analyzed	Info	call on Icon com.dmdirc.FrameContainer:getIcon()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setFrameIcon(Icon)

	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.util.StringTranscoder(Chars et)

method not available - call not analyzed	Info	call on MainFrame com.dmdirc.addons.ui_swing. SwingController:getMainFrame()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing. MainFrame:getWidth()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing. MainFrame:getHeight()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:setPreferredSize(Dimension)

	method not available - call not analyzed	Info	call on Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.textpane. TextPane:setBackground(Color)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.FrameContainer:get ConfigManager()
	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 IRCDocument com.dmdirc.addons.ui_swing. textpane.TextPane:getDocument()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.textpane. IRCDocument:addText(List)

	method not available - call not analyzed	Info	call on InputMap com.dmdirc.addons.ui_swing. components.frames.TextFrame:getInputMap(int)
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing. UIUtilities:getCtrlDownMask()

	method not available - call not analyzed	Info	call on ActionMap com.dmdirc.addons.ui_swing. components.frames.TextFrame:getActionMap()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.textpane. TextPanePageUpAction(TextPane)

method not available - call not analyzed	Info	call on ClickType[] com.dmdirc.addons.ui_swing. textpane.ClickType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal()

	method not available - call not analyzed	Info	call on Server com.dmdirc.FrameContainer:getServer( )
	method not available - call not analyzed	Info	call on void com.dmdirc.Server:join(String)

	method not available - call not analyzed	Info	call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()
	method not available - call not analyzed	Info	call on void com.dmdirc.util.URLHandler:launchApp(S tring)

	method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getName()
	method not available - call not analyzed	Info	call on PopupMenu com.dmdirc.commandparser. PopupMenuItem:getSubMenu()

method not available - call not analyzed	Info	call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
method not available - call not analyzed	Info	call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()
method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getName()
method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getCommand(Object[])
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.actions. CommandAction(CommandParser, InputWindow, String, String)