SubstitutionLabel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.substition != null
    preinit'ed(this.previousComponent)

  • void addListeners()

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionLabel(Substitution)

    • Kind Annotation Text
    presubstition != null
    presumptionjava.awt.dnd.DragSource:getDefaultDragSource(... )@81 != null
    postthis.dragSource != null
    postthis.substition != null
    postthis.substition == substition
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addActionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addFocusListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addMouseListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setContentAreaFille d
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setText
    unanalyzedcall on java.awt.Font:deriveFont
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
    unanalyzedcall on java.awt.dnd.DragSource:getDefaultDragSourc e
    unanalyzedcall on javax.swing.BorderFactory:createCompoundBor der
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder

  • com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionLabel__static_init

    • Kind Annotation Text

  • void dragGestureRecognized(DragGestureEvent)

    • Kind Annotation Text
    prethis.dragSource != null
    prethis.substition != null
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on java.awt.datatransfer.DataFlavor
    unanalyzedcall on java.lang.ClassNotFoundException:getMessage
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void focusGained(FocusEvent)

    • Kind Annotation Text
    pree != null
    postinit'ed(this.previousComponent)

  • void focusLost(FocusEvent)

    • Kind Annotation Text

  • void initComponents()

    • Kind Annotation Text
    prethis.substition != null
    presumptioncom.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont(...)@86 != null
    presumptioninit'ed(java.awt.Color.GRAY)
    presumptionjava.awt.dnd.DragSource:getDefaultDragSource(... )@81 != null
    postthis.dragSource != null

  • void layoutComponents()

    • Kind Annotation Text

  • void mouseClicked(MouseEvent)

    • Kind Annotation Text

  • void mouseEntered(MouseEvent)

    • Kind Annotation Text

  • void mouseExited(MouseEvent)

    • Kind Annotation Text

  • void mousePressed(MouseEvent)

    • Kind Annotation Text

  • void mouseReleased(MouseEvent)

    • Kind Annotation Text