TextFrame.java

TextFrame.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void access$001(TextFrame, String)

Kind	Annotation Text
pre	x0 != null

void access$101(TextFrame, bool)

Kind	Annotation Text
pre	x0 != null

void access$201(TextFrame, bool)

Kind	Annotation Text
pre	x0 != null

SwingController access$300(TextFrame)

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

void access$401(TextFrame, bool)

Kind	Annotation Text
pre	x0 != null

bool access$500(TextFrame)

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

bool access$502(TextFrame, bool)

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

Logger access$600()

Kind	Annotation Text
post	init'ed(return_value)

AtomicBoolean access$700(TextFrame)

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

TextPane access$800(TextFrame)

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

int access$900(TextFrame)

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

void activateFrame()

Kind	Annotation Text

void addLine(String, bool)

Kind	Annotation Text
pre	this.transcoder != null

void addLine(String, Object[])

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

void addLine(StringBuffer, Object[])

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

void clear()

Kind	Annotation Text

void close()

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

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

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.TextFrame$11(TextFrame, String, bool)

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.TextFrame$18(TextFrame, InternalFrameEvent)

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text
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 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length@887
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@887 >= 0
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

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.TextFrame$3(TextFrame, bool)

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

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.TextFrame$4(TextFrame, bool)

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.frames.TextFrame$MouseClickType__static_init

Kind	Annotation Text
post	$VALUES == &new TextFrame$MouseClickType[](Text Frame$MouseClickType__static_init#4)
post	$VALUES.length == 3
post	$VALUES[0] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#1)
post	$VALUES[1] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#2)
post	$VALUES[2] == &new TextFrame$MouseClickType(Tex tFrame$MouseClickType__static_init#3)
post	CLICKED == &new TextFrame$MouseClickType(TextFr ame$MouseClickType__static_init#1)
post	PRESSED == &new TextFrame$MouseClickType(TextFr ame$MouseClickType__static_init#3)
post	RELEASED == &new TextFrame$MouseClickType(TextF rame$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
unanalyzed	call on java.lang.Enum

void com.dmdirc.addons.ui_swing.components.frames.TextFrame(FrameContainer, SwingController)

Kind	Annotation Text
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	init'ed(this.frameBufferSize)
post	init'ed(this.inputWindow)
post	init'ed(this.quickCopy)
post	new AtomicBoolean(TextFrame#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
post	new SwingSearchBar(initComponents#2) num objects == 1
post	new TextPane(initComponents#1) num objects == 1
post	this.controller != null
post	this.controller == controller
post	this.frameParent != null
post	this.frameParent == owner
post	this.maximiseRestoreInProgress == &new AtomicBoolean(TextFrame#1)
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)}
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getMainFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. SearchAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPanePageDownAction
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPanePageUpAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke

com.dmdirc.addons.ui_swing.components.frames.TextFrame__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) init'ed(this.textPane)
pre	(soft) this.frameParent != null
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	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}
test_vector	this.textPane: Addr_Set{null}, Inverse{null}

Object doInBackground()

Kind	Annotation Text
pre	this.frameParent != null
post	return_value == null

Object doInBackground()

Kind	Annotation Text
pre	this.frameParent != null
post	return_value == null

Object doInBackground()

Kind	Annotation Text
pre	this.frameParent != null
post	return_value == null

Object doInBackground()

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

Object doInBackground()

Kind	Annotation Text
pre	this.frameParent != null
post	return_value == null

Object doInBackground()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ LINE_ADDED)
post	return_value == null

ConfigManager getConfigManager()

Kind	Annotation Text
pre	this.frameParent != null
post	init'ed(return_value)

FrameContainer getContainer()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.frameParent

SwingController getController()

Kind	Annotation Text
pre	init'ed(this.controller)
post	init'ed(return_value)
post	return_value == this.controller

String getName()

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

JPopupMenu getPopupMenu(PopupType, Object[])

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

SwingSearchBar getSearchBar()

Kind	Annotation Text
pre	init'ed(this.searchBar)
post	init'ed(return_value)
post	return_value == this.searchBar

TextPane getTextPane()

Kind	Annotation Text
pre	init'ed(this.textPane)
post	init'ed(return_value)
post	return_value == this.textPane

StringTranscoder getTranscoder()

Kind	Annotation Text
pre	init'ed(this.transcoder)
post	init'ed(return_value)
post	return_value == this.transcoder

void hideTitlebar()

Kind	Annotation Text

void iconChanged(Window, Icon)

Kind	Annotation Text

void initComponents()

Kind	Annotation Text
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	new SwingSearchBar(initComponents#2) num objects == 1
post	new TextPane(initComponents#1) num objects == 1
post	this.searchBar == &new SwingSearchBar(initCompo nents#2)
post	this.textPane == &new TextPane(initComponents#1 )

void internalFrameActivated(InternalFrameEvent)

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

void internalFrameClosed(InternalFrameEvent)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

void internalFrameClosing(InternalFrameEvent)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

void internalFrameDeactivated(InternalFrameEvent)

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

void internalFrameDeiconified(InternalFrameEvent)

Kind	Annotation Text

void internalFrameIconified(InternalFrameEvent)

Kind	Annotation Text

void internalFrameOpened(InternalFrameEvent)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

void keyPressed(KeyEvent)

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

void keyReleased(KeyEvent)

Kind	Annotation Text

void keyTyped(KeyEvent)

Kind	Annotation Text

void maximise()

Kind	Annotation Text
presumption	java.util.logging.Logger:getLogger(...)@103 != null

void minimise()

Kind	Annotation Text

void mouseClicked(MouseEvent)

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

void mouseEntered(MouseEvent)

Kind	Annotation Text

void mouseExited(MouseEvent)

Kind	Annotation Text

void mousePressed(MouseEvent)

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

void mouseReleased(MouseEvent)

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

void open()

Kind	Annotation Text
pre	this.frameParent != null
presumption	com.dmdirc.FrameContainer:getConfigManager(... )@251 != null

JComponent populatePopupMenu(JComponent, PopupMenu, Object[])

Kind	Annotation Text
pre	(soft) init'ed(this.inputWindow)
pre	(soft) menu != null
pre	popup != null
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 != null
post	return_value == menu
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on populatePopupMenu
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}
test_vector	this.inputWindow: Inverse{null}, Addr_Set{null}

void processMouseClickEvent(MouseEvent, TextFrame$MouseClickType)

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

void propertyChange(PropertyChangeEvent)

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

void restore()

Kind	Annotation Text

void run()

Kind	Annotation Text
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	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}
test_vector	this.val$pref: {1}, {0}

void run()

Kind	Annotation Text
pre	this.val$event != null
presumption	javax.swing.event.InternalFrameEvent:getInternalFra me(...)@700 != null

void run()

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

void run()

Kind	Annotation Text
unanalyzed	call on javax.swing.JInternalFrame:setTitle

void run()

Kind	Annotation Text
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.FrameContainer:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
test_vector	this.frameBufferSize: {-2³¹..0}, {1..2³²-1}

void run()

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

void run()

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

void run()

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

void run()

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

void run()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getUI(...)@571 != null

void run()

Kind	Annotation Text
pre	this.textPane != null

void run()

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

void run()

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

void run()

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

void setTextPane(TextPane)

Kind	Annotation Text
post	init'ed(this.textPane)
post	this.textPane == newTextPane

void setTitle(String)

Kind	Annotation Text

void setVisible(bool)

Kind	Annotation Text

void showPopupMenu(ClickType, Point, String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) init'ed(this.inputWindow)
pre	(soft) this.frameParent != null
pre	point != null
pre	type != null
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 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@1011 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on populatePopupMenu
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}

void showPopupMenuInternal(ClickType, Point, String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. components.frames.TextFrame$21__static_init.new int[](TextFrame$21__static_init#1)[...])
pre	(soft) init'ed(this.inputWindow)
pre	(soft) this.frameParent != null
pre	init'ed(this.textPane)
pre	point != null
pre	type != null
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 < com.dmdirc.addons.ui_ swing.textpane.ClickType:values(...).length
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:ordinal(...)@962 >= 0
presumption	com.dmdirc.addons.ui_swing.textpane. ClickType:values(...).length >= 1
unanalyzed	call on com.dmdirc.FrameContainer:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CommandAction
unanalyzed	call on com.dmdirc.commandparser.PopupManager:getMe nu
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on populatePopupMenu
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}

void showTitlebar()

Kind	Annotation Text

void toggleMaximise()

Kind	Annotation Text

TextFrame$MouseClickType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

TextFrame$MouseClickType[] values()

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