Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components. PackingTable__static_init

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

method	void com.dmdirc.addons.ui_swing.components. PackingTable(Object[][], Object[], bool, JScrollPane)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-2³¹..2³²-1}
post	this.editable == editable
post	init'ed(this.editable)
post	this.lastColumnFit == 1
post	init'ed(this.padding)
post	this.scrollPane == scrollPane
post	init'ed(this.scrollPane)
unanalyzed	call on javax.swing.JTable
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.JTable:setAutoResizeMode
unanalyzed	call on javax.swing.JTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setResizingA llowed
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on javax.swing.JTable:setDragEnabled

method	void com.dmdirc.addons.ui_swing.components. PackingTable(Object[][], Object[], bool, JScrollPane, bool)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-2³¹..2³²-1}
post	this.editable == editable
post	init'ed(this.editable)
post	this.lastColumnFit == lastColumnFit
post	init'ed(this.lastColumnFit)
post	init'ed(this.padding)
post	this.scrollPane == scrollPane
post	init'ed(this.scrollPane)
unanalyzed	call on javax.swing.JTable
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.JTable:setAutoResizeMode
unanalyzed	call on javax.swing.JTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setResizingA llowed
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on javax.swing.JTable:setDragEnabled

method	void com.dmdirc.addons.ui_swing.components. PackingTable(TableModel, bool, JScrollPane)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-2³¹..2³²-1}
post	this.editable == editable
post	init'ed(this.editable)
post	this.lastColumnFit == 1
post	init'ed(this.padding)
post	this.scrollPane == scrollPane
post	init'ed(this.scrollPane)
unanalyzed	call on javax.swing.JTable
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.JTable:setAutoResizeMode
unanalyzed	call on javax.swing.JTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setResizingA llowed
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on javax.swing.JTable:setDragEnabled

method	void com.dmdirc.addons.ui_swing.components. PackingTable(TableModel, bool, JScrollPane, bool)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@54) in {-2³¹..2³²-1}
presumption	javax.swing.JTable:getTableHeader(...)@115 != null
presumption	javax.swing.JTable:getTableHeader(...)@116 != null
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@54 != null
post	this.editable == editable
post	init'ed(this.editable)
post	this.lastColumnFit == lastColumnFit
post	init'ed(this.lastColumnFit)
post	init'ed(this.padding)
post	this.scrollPane == scrollPane
post	init'ed(this.scrollPane)

method

void setAutoResizeMode(int)

method	bool getScrollableTracksViewportHeight()
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getParent(...)@129 != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getPreferredSize(...)@129 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on Dimension com.dmdirc.addons.ui_swing. components.PackingTable:getPreferredSize()

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. components.PackingTable:getParent()

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

method	void packColumns()
pre	(soft) init'ed(this.lastColumnFit)
pre	(soft) this.scrollPane != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader(...)@149 != null
presumption	javax.swing.JScrollPane:getViewportBorderBounds(... )@151 != null
presumption	javax.swing.table.JTableHeader:getColumnModel(... )@149 != null
presumption	javax.swing.table.TableColumnModel:getColumn(... )@170 != null
presumption	javax.swing.table.TableColumnModel:getColumnCount(. ..)@150 >= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getColumnModel
unanalyzed	call on javax.swing.table.TableColumnModel:getColum n
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:getDefaultRe nderer
unanalyzed	call on javax.swing.table.TableColumn:getIdentifier
unanalyzed	call on javax.swing.table.TableCellRenderer:getTabl eCellRendererComponent
unanalyzed	call on java.awt.Component:getPreferredSize
unanalyzed	call on java.awt.Dimension:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getRowCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable:getValueAt
unanalyzed	call on java.lang.Math:max
test_vector	this.lastColumnFit: {1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount(...)@145: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:isShowing(...)@141: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. PackingTable:isShowing()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount()

method not available - call not analyzed Info call on JTableHeader com.dmdirc.addons.ui_swing. components.PackingTable:getTableHeader()

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(widths[(numCols - 1)])

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(widths[i])

Prev Msg Next Msg

method	int getWidth(int)
presumption	(int) (java.awt.Dimension:getWidth(...)@192) in {-2³¹..2³²-1}
presumption	(int) (java.awt.Dimension:getWidth(...)@202) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer(...)@202 != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getColumnModel(...)@191 != null
presumption	com.dmdirc.addons.ui_swing.components. PackingTable:getTableHeader(...)@192 != null
presumption	java.awt.Component:getPreferredSize(...)@192 != null
presumption	java.awt.Component:getPreferredSize(...)@202 != null
presumption	javax.swing.table.JTableHeader:getDefaultRenderer(. ..)@192 != null
presumption	javax.swing.table.TableCellRenderer:getTableCellRen dererComponent(...)@192 != null
presumption	javax.swing.table.TableCellRenderer:getTableCellRen dererComponent(...)@202 != null
presumption	javax.swing.table.TableColumnModel:getColumn(... )@191 != null
presumption	this.padding + (int) (java.awt.Dimension:getWidth(. ..)@192) in {-2³¹..2³²-1}
post	init'ed(return_value)
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getCellRenderer(...)@201: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount(...)@184: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	com.dmdirc.addons.ui_swing.components. PackingTable:getRowCount(...)@196: {-2³¹. .-1, 1..2³²-1}, {0}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getColumnCount()

method not available - call not analyzed Info call on TableColumnModel com.dmdirc.addons.ui_ swing.components.PackingTable:getColumnModel()

method not available - call not analyzed Info call on JTableHeader com.dmdirc.addons.ui_swing. components.PackingTable:getTableHeader()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. PackingTable:getRowCount()

method not available - call not analyzed Info call on TableCellRenderer com.dmdirc.addons.ui_ swing.components.PackingTable:getCellRenderer(int, int)

method not available - call not analyzed Info call on TableCellRenderer com.dmdirc.addons.ui_ swing.components.PackingTable:getCellRenderer(int, int)

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing. components.PackingTable:getValueAt(int, int)

	method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
	method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

	method not available - call not analyzed	Info	call on Dimension com.dmdirc.addons.ui_swing. components.PackingTable:getPreferredSize()
	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. components.PackingTable:getParent()

	method not available - call not analyzed	Info	call on TableCellRenderer com.dmdirc.addons.ui_ swing.components.PackingTable:getCellRenderer(int, int)
	method not available - call not analyzed	Info	call on Object com.dmdirc.addons.ui_swing. components.PackingTable:getValueAt(int, int)