PackingTable.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.components.PackingTable(TableModel, bool, JScrollPane)

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-231..232-1}
    postinit'ed(this.editable)
    postinit'ed(this.padding)
    postinit'ed(this.scrollPane)
    postthis.editable == editable
    postthis.lastColumnFit == 1
    postthis.scrollPane == scrollPane
    unanalyzedcall on javax.swing.JTable
    unanalyzedcall on javax.swing.JTable:getTableHeader
    unanalyzedcall on javax.swing.JTable:setAutoResizeMode
    unanalyzedcall on javax.swing.JTable:setDragEnabled
    unanalyzedcall on javax.swing.table.JTableHeader:setReorderin gAllowed
    unanalyzedcall on javax.swing.table.JTableHeader:setResizingA llowed
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue

  • void com.dmdirc.addons.ui_swing.components.PackingTable(TableModel, bool, JScrollPane, bool)

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-231..232-1}
    presumptionjavax.swing.JTable:getTableHeader(...)@115 != null
    presumptionjavax.swing.JTable:getTableHeader(...)@116 != null
    presumptionnet.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@54 != null
    postinit'ed(this.editable)
    postinit'ed(this.lastColumnFit)
    postinit'ed(this.padding)
    postinit'ed(this.scrollPane)
    postthis.editable == editable
    postthis.lastColumnFit == lastColumnFit
    postthis.scrollPane == scrollPane

  • void com.dmdirc.addons.ui_swing.components.PackingTable(Object[][], Object[], bool, JScrollPane)

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-231..232-1}
    postinit'ed(this.editable)
    postinit'ed(this.padding)
    postinit'ed(this.scrollPane)
    postthis.editable == editable
    postthis.lastColumnFit == 1
    postthis.scrollPane == scrollPane
    unanalyzedcall on javax.swing.JTable
    unanalyzedcall on javax.swing.JTable:getTableHeader
    unanalyzedcall on javax.swing.JTable:setAutoResizeMode
    unanalyzedcall on javax.swing.JTable:setDragEnabled
    unanalyzedcall on javax.swing.table.JTableHeader:setReorderin gAllowed
    unanalyzedcall on javax.swing.table.JTableHeader:setResizingA llowed
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue

  • void com.dmdirc.addons.ui_swing.components.PackingTable(Object[][], Object[], bool, JScrollPane, bool)

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-231..232-1}
    postinit'ed(this.editable)
    postinit'ed(this.lastColumnFit)
    postinit'ed(this.padding)
    postinit'ed(this.scrollPane)
    postthis.editable == editable
    postthis.lastColumnFit == lastColumnFit
    postthis.scrollPane == scrollPane
    unanalyzedcall on javax.swing.JTable
    unanalyzedcall on javax.swing.JTable:getTableHeader
    unanalyzedcall on javax.swing.JTable:setAutoResizeMode
    unanalyzedcall on javax.swing.JTable:setDragEnabled
    unanalyzedcall on javax.swing.table.JTableHeader:setReorderin gAllowed
    unanalyzedcall on javax.swing.table.JTableHeader:setResizingA llowed
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue

  • com.dmdirc.addons.ui_swing.components.PackingTable__static_init

    • Kind Annotation Text

  • bool getScrollableTracksViewportHeight()

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getParent(...)@129 != null
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getPreferredSize(...)@129 != null
    postinit'ed(return_value)

  • int getWidth(int)

    • Kind Annotation Text
    presumption(int) (java.awt.Dimension:getWidth(...)@192) in {-231..232-1}
    presumption(int) (java.awt.Dimension:getWidth(...)@202) in {-231..232-1}
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer(...)@202 != null
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getColumnModel(...)@191 != null
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader(...)@192 != null
    presumptionjava.awt.Component:getPreferredSize(...)@192 != null
    presumptionjava.awt.Component:getPreferredSize(...)@202 != null
    presumptionjavax.swing.table.JTableHeader:getDefaultRenderer(. ..)@192 != null
    presumptionjavax.swing.table.TableCellRenderer:getTableCellRen dererComponent(...)@192 != null
    presumptionjavax.swing.table.TableCellRenderer:getTableCellRen dererComponent(...)@202 != null
    presumptionjavax.swing.table.TableColumnModel:getColumn(... )@191 != null
    presumptionthis.padding + (int) (java.awt.Dimension:getWidth(. ..)@192) in {-231..232-1}
    postinit'ed(return_value)
    test_vectorcom.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer(...)@201: Addr_Set{null}, Inverse{null}
    test_vectorcom.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount(...)@184: {-231..-1, 1..232-1}, {0}
    test_vectorcom.dmdirc.addons.ui_swing.components. PackingTable:getRowCount(...)@196: {-231. .-1, 1..232-1}, {0}

  • void packColumns()

    • Kind Annotation Text
    pre(soft) init'ed(this.lastColumnFit)
    pre(soft) this.scrollPane != null
    presumptioncom.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader(...)@149 != null
    presumptionjavax.swing.JScrollPane:getViewportBorderBounds(... )@151 != null
    presumptionjavax.swing.table.JTableHeader:getColumnModel(... )@149 != null
    presumptionjavax.swing.table.TableColumnModel:getColumn(... )@170 != null
    presumptionjavax.swing.table.TableColumnModel:getColumnCount(. ..)@150 >= 1
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnModel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getRowCount
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getValueAt
    unanalyzedcall on java.awt.Component:getPreferredSize
    unanalyzedcall on java.awt.Dimension:getWidth
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on javax.swing.table.JTableHeader:getDefaultRe nderer
    unanalyzedcall on javax.swing.table.TableCellRenderer:getTabl eCellRendererComponent
    unanalyzedcall on javax.swing.table.TableColumn:getIdentifier
    unanalyzedcall on javax.swing.table.TableColumnModel:getColum n
    test_vectorcom.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount(...)@145: {-231..-1, 1..232-1}, {0}
    test_vectorcom.dmdirc.addons.ui_swing.components. PackingTable:isShowing(...)@141: {1}, {0}
    test_vectorthis.lastColumnFit: {1}, {0}

  • void paint(Graphics)

    • Kind Annotation Text
    pre(soft) init'ed(this.lastColumnFit)
    pre(soft) this.scrollPane != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnModel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getRowCount
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:getValueAt
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable:isShowing
    unanalyzedcall on java.awt.Component:getPreferredSize
    unanalyzedcall on java.awt.Dimension:getWidth
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on javax.swing.JScrollPane:getViewportBorderBo unds
    unanalyzedcall on javax.swing.table.JTableHeader:getColumnMod el
    unanalyzedcall on javax.swing.table.JTableHeader:getDefaultRe nderer
    unanalyzedcall on javax.swing.table.TableCellRenderer:getTabl eCellRendererComponent
    unanalyzedcall on javax.swing.table.TableColumn:getIdentifier
    unanalyzedcall on javax.swing.table.TableColumn:setPreferredW idth
    unanalyzedcall on javax.swing.table.TableColumnModel:getColum n
    unanalyzedcall on javax.swing.table.TableColumnModel:getColum nCount

  • void setAutoResizeMode(int)

    • Kind Annotation Text