Messages

method

com.dmdirc.addons.ui_swing.components. SwingSearchBar$5__static_init

method

com.dmdirc.addons.ui_swing.components. SwingSearchBar$4__static_init

method

com.dmdirc.addons.ui_swing.components. SwingSearchBar$3__static_init

method

com.dmdirc.addons.ui_swing.components. SwingSearchBar$2__static_init

method

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

method

com.dmdirc.addons.ui_swing.components. SwingSearchBar__static_init

method	JTextField access$000(SwingSearchBar)
pre	x0 != null
pre	init'ed(x0.searchBox)
post	return_value == x0.searchBox
post	init'ed(return_value)

method	TextFrame access$100(SwingSearchBar)
pre	x0 != null
post	return_value == x0.parent
post	init'ed(return_value)

method	ListenerList access$200(SwingSearchBar)
pre	x0 != null
post	return_value == x0.listeners
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. SwingSearchBar(TextFrame, Window)
presumption	com.dmdirc.addons.ui_swing.components. SwingSearchBar:getActionMap(...)@104 != null
presumption	com.dmdirc.addons.ui_swing.components. SwingSearchBar:getInputMap(...)@101 != null
post	this.caseCheck == &new JCheckBox(initComponents #4)
post	this.closeButton == &new ImageButton(initCompon ents#1)
post	init'ed(this.line)
post	this.listeners == &new ListenerList(SwingSearch Bar#1)
post	this.nextButton == &new JButton(initComponents# 2)
post	this.parent == newParent
post	init'ed(this.parent)
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.prevButton == &new JButton(initComponents# 3)
post	this.searchBox == &new JTextField(initComponent s#5)
post	new ImageButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JButton(initComponents#3) num objects == 1
post	new JCheckBox(initComponents#4) num objects == 1
post	new JTextField(initComponents#5) num objects == 1
post	new ListenerList(SwingSearchBar#1) num objects == 1
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JCheckBox:setText
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingSearchBar:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.AbstractAction

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

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

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

method	void initComponents()
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@113 != null
post	this.caseCheck == &new JCheckBox(initComponents #4)
post	this.closeButton == &new ImageButton(initCompon ents#1)
post	this.line == -1
post	this.nextButton == &new JButton(initComponents# 2)
post	this.prevButton == &new JButton(initComponents# 3)
post	this.searchBox == &new JTextField(initComponent s#5)
post	new ImageButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JButton(initComponents#3) num objects == 1
post	new JCheckBox(initComponents#4) num objects == 1
post	new JTextField(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setRolloverIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPressedIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setContentAreaFilled
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setBorder
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setMargin
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setActionCommand

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

method	void layoutComponents()
pre	init'ed(this.caseCheck)
pre	init'ed(this.closeButton)
pre	init'ed(this.nextButton)
pre	init'ed(this.prevButton)
pre	init'ed(this.searchBox)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingSearchBar:add(Component, Object)

method	void addListeners()
pre	this.caseCheck != null
pre	this.closeButton != null
pre	this.nextButton != null
pre	this.prevButton != null
pre	this.searchBox != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener(ActionListener)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.closeButton)
pre	(soft) this.caseCheck != null
pre	(soft) init'ed(this.nextButton)
pre	(soft) this.parent != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) init'ed(this.prevButton)
pre	(soft) this.searchBox != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@163 != null
presumption	init'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.DOWN)
presumption	init'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
post	possibly_updated(this.line)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JTextField:setBackground

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

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

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

method

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

method

void open()

method	void run()
pre	this.searchBox != null
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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 Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method

void com.dmdirc.addons.ui_swing.components. SwingSearchBar$2(SwingSearchBar)

method

void close()

method	void run()
pre	this.parent != null
pre	(soft) this.parent.inputField != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on java.lang.Boolean:booleanValue

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 bool com.dmdirc.addons.ui_swing.components. frames.TextFrame:requestFocusInWindow()

method	void search(String, bool)
pre	this.searchBox != null
pre	(soft) init'ed(this.line)
pre	(soft) this.parent != null
pre	(soft) init'ed(this.parentWindow)
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@205 != null
presumption	init'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
presumption	javax.swing.JTextField:getText(...)@203 != null
post	init'ed(this.line)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JTextField:setBackground
test_vector	this.line: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:isEmpty(...)@203: {1}, {0}

method	void search(SearchBar$Direction, String, bool)
pre	this.parent != null
pre	this.searchBox != null
pre	(soft) init'ed(this.parentWindow)
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@219 != null
presumption	com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange(...)@229 != null
presumption	init'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
test_vector	com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine(...)@229: {-2³¹.. -1, 1..2³²-1}, {0}
test_vector	com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos(...)@229: {0}, {-2³¹..-1, 1..2³²-1}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@229: {0}, {-2³¹..-1, 1..2³²-1}

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

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. IRCDocumentSearcher(String, IRCDocument, bool)

method not available - call not analyzed Info call on LinePosition com.dmdirc.addons.ui_swing. textpane.IRCDocumentSearcher:searchDown()

method not available - call not analyzed Info call on LinePosition com.dmdirc.addons.ui_swing. textpane.IRCDocumentSearcher:searchUp()

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

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

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

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

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

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

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

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method	void keyPressed(KeyEvent)
pre	event != null
pre	this.listeners != null
pre	(soft) this.caseCheck != null
pre	(soft) this.parent != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) this.searchBox != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@267 != null
presumption	init'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
presumption	com.dmdirc.util.ListenerList:get(...)@271 != null
presumption	java.util.Iterator:next(...)@271 != null
post	possibly_updated(this.line)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JTextField:setBackground
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@262: {-2³¹..26, 28..2³²-1}, {27}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@264: {-2³¹..9, 11..2³²-1}, {10}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@266: {114}, {-2³¹..113, 115..2³²-1}
test_vector	java.awt.event.KeyEvent:getKeyCode(...)@266: {70}, {-2³¹..69, 71..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@271: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method

void keyTyped(KeyEvent)

method

void keyReleased(KeyEvent)

method

void com.dmdirc.addons.ui_swing.components. SwingSearchBar$3(SwingSearchBar)

method

void getFocus()

method	void run()
pre	this.searchBox != null
presumption	javax.swing.JTextField:getText(...)@305 != null

method	String getSearchPhrase()
pre	this.searchBox != null
post	init'ed(return_value)

method	bool isCaseSensitive()
pre	this.caseCheck != null
post	init'ed(return_value)

method	void insertUpdate(DocumentEvent)
pre	this.searchBox != null

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method	void removeUpdate(DocumentEvent)
pre	this.searchBox != null

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(String)

method

void changedUpdate(DocumentEvent)

method	void com.dmdirc.addons.ui_swing.components. SwingSearchBar$4(SwingSearchBar, KeyListener)
post	this.val$l == Param_2
post	init'ed(this.val$l)

method	void addKeyListener(KeyListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void com.dmdirc.addons.ui_swing.components. SwingSearchBar$5(SwingSearchBar, KeyListener)
post	this.val$l == Param_2
post	init'ed(this.val$l)

method	void removeKeyListener(KeyListener)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingSearchBar:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on TextPane com.dmdirc.addons.ui_swing. components.frames.TextFrame:getTextPane()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.textpane. TextPane:getLastVisibleLine()

	method not available - call not analyzed	Info	call on LinePosition com.dmdirc.addons.ui_swing. textpane.TextPane:getSelectedRange()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition(LinePosition)