SwingSearchBar.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JTextField access$000(SwingSearchBar)

    • Kind Annotation Text
    preinit'ed(x0.searchBox)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.searchBox

  • TextFrame access$100(SwingSearchBar)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.parent

  • ListenerList access$200(SwingSearchBar)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.listeners

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.nextButton)
    pre(soft) init'ed(this.parentWindow)
    pre(soft) init'ed(this.prevButton)
    pre(soft) this.caseCheck != null
    pre(soft) this.parent != null
    pre(soft) this.searchBox != null
    pree != null
    preinit'ed(this.closeButton)
    presumptioncom.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@163 != null
    presumptioninit'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.DOWN)
    presumptioninit'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
    postpossibly_updated(this.line)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on javax.swing.JOptionPane:showConfirmDialog
    unanalyzedcall on javax.swing.JTextField:setBackground
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void addKeyListener(KeyListener)

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

  • void addListeners()

    • Kind Annotation Text
    prethis.caseCheck != null
    prethis.closeButton != null
    prethis.nextButton != null
    prethis.prevButton != null
    prethis.searchBox != null

  • void changedUpdate(DocumentEvent)

    • Kind Annotation Text

  • void close()

    • Kind Annotation Text

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

    • Kind Annotation Text

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

    • Kind Annotation Text

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

    • Kind Annotation Text

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

    • Kind Annotation Text

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

    • Kind Annotation Text

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingSearchBar$4(SwingSearchBar, KeyListener)

    • Kind Annotation Text
    postinit'ed(this.val$l)
    postthis.val$l == Param_2

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingSearchBar$5(SwingSearchBar, KeyListener)

    • Kind Annotation Text
    postinit'ed(this.val$l)
    postthis.val$l == Param_2

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.SwingSearchBar(TextFrame, Window)

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

  • com.dmdirc.addons.ui_swing.components.SwingSearchBar__static_init

    • Kind Annotation Text

  • void getFocus()

    • Kind Annotation Text

  • String getSearchPhrase()

    • Kind Annotation Text
    prethis.searchBox != null
    postinit'ed(return_value)

  • void initComponents()

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

  • void insertUpdate(DocumentEvent)

    • Kind Annotation Text
    prethis.searchBox != null

  • bool isCaseSensitive()

    • Kind Annotation Text
    prethis.caseCheck != null
    postinit'ed(return_value)

  • void keyPressed(KeyEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.parentWindow)
    pre(soft) this.caseCheck != null
    pre(soft) this.parent != null
    pre(soft) this.searchBox != null
    preevent != null
    prethis.listeners != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@267 != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@271 != null
    presumptioninit'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
    presumptionjava.util.Iterator:next(...)@271 != null
    postpossibly_updated(this.line)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on javax.swing.JOptionPane:showConfirmDialog
    unanalyzedcall on javax.swing.JTextField:setBackground
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@262: {-231..26, 28..232-1}, {27}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@264: {-231..9, 11..232-1}, {10}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@266: {114}, {-231..113, 115..232-1}
    test_vectorjava.awt.event.KeyEvent:getKeyCode(...)@266: {70}, {-231..69, 71..232-1}
    test_vectorjava.util.Iterator:hasNext(...)@271: {0}, {1}

  • void keyReleased(KeyEvent)

    • Kind Annotation Text

  • void keyTyped(KeyEvent)

    • Kind Annotation Text

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.caseCheck)
    preinit'ed(this.closeButton)
    preinit'ed(this.nextButton)
    preinit'ed(this.prevButton)
    preinit'ed(this.searchBox)

  • void open()

    • Kind Annotation Text

  • void removeKeyListener(KeyListener)

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

  • void removeUpdate(DocumentEvent)

    • Kind Annotation Text
    prethis.searchBox != null

  • void run()

    • Kind Annotation Text
    prethis.searchBox != null
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void run()

    • Kind Annotation Text
    prethis.searchBox != null
    presumptionjavax.swing.JTextField:getText(...)@305 != null

  • void run()

    • Kind Annotation Text
    prethis.listeners != null

  • void run()

    • Kind Annotation Text
    prethis.listeners != null

  • void run()

    • Kind Annotation Text
    pre(soft) this.parent.inputField != null
    prethis.parent != null
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on com.dmdirc.util.ReturnableThread:getObject
    unanalyzedcall on com.dmdirc.util.ReturnableThread:run
    unanalyzedcall on java.lang.Boolean:booleanValue
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void search(SearchBar$Direction, String, bool)

    • Kind Annotation Text
    pre(soft) init'ed(this.parentWindow)
    prethis.parent != null
    prethis.searchBox != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@219 != null
    presumptioncom.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange(...)@229 != null
    presumptioninit'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
    test_vectorcom.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine(...)@229: {-231.. -1, 1..232-1}, {0}
    test_vectorcom.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos(...)@229: {0}, {-231..-1, 1..232-1}
    test_vectorjavax.swing.JOptionPane:showConfirmDialog(... )@229: {0}, {-231..-1, 1..232-1}

  • void search(String, bool)

    • Kind Annotation Text
    pre(soft) init'ed(this.line)
    pre(soft) init'ed(this.parentWindow)
    pre(soft) this.parent != null
    prethis.searchBox != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. TextFrame:getTextPane(...)@205 != null
    presumptioninit'ed(com.dmdirc.ui.interfaces.SearchBar$Directio n.UP)
    presumptionjavax.swing.JTextField:getText(...)@203 != null
    postinit'ed(this.line)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchDown
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:searchUp
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. IRCDocumentSearcher:setPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getEndPos
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. LinePosition:getStartLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:getSelectedRange
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setScrollBarPosition
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:setSelectedTexT
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on javax.swing.JOptionPane:showConfirmDialog
    unanalyzedcall on javax.swing.JTextField:setBackground
    test_vectorjava.lang.String:isEmpty(...)@203: {1}, {0}
    test_vectorthis.line: {-231..-2, 0..232-1}, {-1}