SubstitutionsPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addListeners()

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel$Alignment(String, int)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel$Alignment__static_init

    • Kind Annotation Text
    post$VALUES == &new SubstitutionsPanel$Alignment[]( SubstitutionsPanel$Alignment__static_init#3)
    post$VALUES.length == 2
    post$VALUES[0] == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#1)
    post$VALUES[1] == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#2)
    postHORIZONTAL == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#1)
    postVERTICAL == &new SubstitutionsPanel$Alignment(S ubstitutionsPanel$Alignment__static_init#2)
    postnew SubstitutionsPanel$Alignment(SubstitutionsPanel $Alignment__static_init#1) num objects == 1
    postnew SubstitutionsPanel$Alignment(SubstitutionsPanel $Alignment__static_init#2) num objects == 1
    postnew SubstitutionsPanel$Alignment[](SubstitutionsPan el$Alignment__static_init#3) num objects == 1
    unanalyzedcall on java.lang.Enum

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel(String)

    • Kind Annotation Text
    postinit'ed(this.description)
    postthis.alignment == &com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel$Alignme nt__static_init.new SubstitutionsPanel$Alignment(Su bstitutionsPanel$Alignment__static_init#2)
    postthis.description == description
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on setType

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment)

    • Kind Annotation Text
    prealignment != null
    postinit'ed(this.description)
    postthis.alignment != null
    postthis.alignment == alignment
    postthis.description == description
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on setType

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment, Object)

    • Kind Annotation Text
    prealignment != null
    postinit'ed(this.description)
    postthis.alignment != null
    postthis.alignment == alignment
    postthis.description == description
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.components.substitutions.SubstitutionsPanel(String, Object)

    • Kind Annotation Text
    postinit'ed(this.description)
    postthis.alignment == &com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel$Alignme nt__static_init.new SubstitutionsPanel$Alignment(Su bstitutionsPanel$Alignment__static_init#2)
    postthis.description == description
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on setType

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

    • Kind Annotation Text

  • void initComponents()

    • Kind Annotation Text
    prethis.alignment != null
    test_vectorcom.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel_Alignment:equals(. ..)@117: {0}, {1}

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.description)
    prethis.alignment != null
    prethis.substitutions != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    test_vectorcom.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount( ...)@149: {-231..1, 3..232-1}, {2}
    test_vectorcom.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel_Alignment:equals(. ..)@137: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@145: {0}, {1}

  • SubstitutionsPanel$Alignment valueOf(String)

    • Kind Annotation Text
    postinit'ed(return_value)

  • SubstitutionsPanel$Alignment[] values()

    • Kind Annotation Text
    pre(soft) init'ed($VALUES[...])
    postnew SubstitutionsPanel$Alignment[](values#1) num objects == 1
    postreturn_value == &new SubstitutionsPanel$Alignme nt[](values#1)
    postreturn_value.length == 2
    postreturn_value[...] == One-of{$VALUES[...], undefined}