ActionTypeModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addElement(Object)

    • Kind Annotation Text
    pre(soft) init'ed(this.fm)
    preinit'ed(this.maxWidth)
    postinit'ed(this.maxWidth)

  • void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTypeModel(FontMetrics, MapList)

    • Kind Annotation Text
    pretypeGroups != null
    presumptioncom.dmdirc.util.MapList:entrySet(...)@65 != null
    presumptionjava.util.Iterator:next(...)@65 != null
    presumptionjava.util.Map_Entry:getValue(...)@68 != null
    postinit'ed(this.fm)
    postinit'ed(this.maxWidth)
    postthis.fm == fm
    unanalyzedcall on com.dmdirc.actions.interfaces. ActionType:getName
    unanalyzedcall on com.dmdirc.actions.interfaces. ActionType:instanceof
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.SwingUtilities:computeStringWid th
    test_vectorjava.util.Iterator:hasNext(...)@65: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@71: {0}, {1}

  • com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTypeModel__static_init

    • Kind Annotation Text

  • int getMaxWidth()

    • Kind Annotation Text
    preinit'ed(this.maxWidth)
    postinit'ed(return_value)
    postreturn_value == this.maxWidth

  • void setSelectedItem(Object)

    • Kind Annotation Text

  • void setTypeGroup(MapList)

    • Kind Annotation Text
    pre(soft) init'ed(this.fm)
    pre(soft) init'ed(this.maxWidth)
    pretypeGroup != null
    presumptioncom.dmdirc.util.MapList:entrySet(...)@110 != null
    presumptionjava.util.Iterator:next(...)@110 != null
    presumptionjava.util.Map_Entry:getValue(...)@113 != null
    postinit'ed(this.maxWidth)
    unanalyzedcall on com.dmdirc.actions.interfaces. ActionType:getName
    unanalyzedcall on com.dmdirc.actions.interfaces. ActionType:instanceof
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.SwingUtilities:computeStringWid th
    test_vectorjava.util.Iterator:hasNext(...)@110: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@116: {0}, {1}