Messages

method

com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList__static_init

method	ListModel getModel()
post	init'ed(return_value)
unanalyzed	call on javax.swing.JList:getModel

method	void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList()
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
post	this.dataFlavor == One-of{&new DataFlavor(Reord erableJList#4), null}
post	this.dataFlavor in Addr_Set{null,&new DataFlavor(ReorderableJList#4)}
post	this.dragSource != null
post	init'ed(this.draggedIndex)
post	this.dropTarget == &new DropTarget(ReorderableJ List#3)
post	new DataFlavor(ReorderableJList#4) num objects <= 1
post	new DropTarget(ReorderableJList#3) num objects == 1
unanalyzed	call on javax.swing.JList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.ReorderableJListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setSelectionMode
unanalyzed	call on javax.swing.TransferHandler
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DropTarget
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer

method	void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList(DefaultListModel)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
post	this.dataFlavor in Addr_Set{null,&new DataFlavor(ReorderableJList#4)}
post	this.dragSource != null
post	init'ed(this.draggedIndex)
post	this.dropTarget == &new DropTarget(ReorderableJ List#3)
post	new DataFlavor(ReorderableJList#4) num objects <= 1
post	new DropTarget(ReorderableJList#3) num objects == 1
unanalyzed	call on javax.swing.TransferHandler
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setCellRenderer(Li stCellRenderer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setSelectionMode(i nt)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler (TransferHandler)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	DefaultListModel getModel()
post	init'ed(return_value)

method

void setModel(DefaultListModel)

method	Object getTargetCell()
pre	init'ed(this.dropTargetCell)
post	return_value == this.dropTargetCell
post	init'ed(return_value)

method	bool getBelowTarget()
pre	init'ed(this.belowTarget)
post	return_value == this.belowTarget
post	init'ed(return_value)

method

void dragEnter(DragSourceDragEvent)

method

void dragOver(DragSourceDragEvent)

method

void dropActionChanged(DragSourceDragEvent)

method

void dragExit(DragSourceEvent)

method	void dragDropEnd(DragSourceDropEvent)
post	this.draggedIndex == -1
post	this.dropTargetCell == null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:repaint()

method	void dragEnter(DropTargetDragEvent)
pre	dtde != null

method	void dragOver(DropTargetDragEvent)
pre	dtde != null
presumption	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getCellBounds(... )@210 != null
presumption	java.awt.dnd.DropTargetDragEvent:getLocation(... )@201 != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	possibly_updated(this.belowTarget)
post	init'ed(this.dropTargetCell)
unanalyzed	call on javax.swing.JList:getModel
test_vector	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@202: {-2³¹..-2, 0..2³²-2}, {-1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(Po int)

method not available - call not analyzed Info call on Rectangle com.dmdirc.addons.ui_swing. components.reorderablelist.ReorderableJList:getCell Bounds(int, int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:repaint()

method

void dropActionChanged(DropTargetDragEvent)

method

void dragExit(DropTargetEvent)

method	void drop(DropTargetDropEvent)
pre	dtde != null
pre	(soft) init'ed(this.belowTarget)
pre	(soft) init'ed(this.dataFlavor)
pre	(soft) init'ed(this.draggedIndex)
presumption	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectionModel( ...)@277 != null
presumption	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@244 <= 2³²-2
presumption	java.awt.datatransfer.Transferable:getTransferData( ...)@261 != null
presumption	java.awt.dnd.DropTargetDropEvent:getTransferable(.. .)@261 != null
presumption	java.util.ArrayList:iterator(...)@273 != null
presumption	javax.swing.JList:getModel(...)@118 != null
unanalyzed	call on javax.swing.JList:getModel
test_vector	this.belowTarget: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@273: {0}, {1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(Po int)

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.components.reorderablelist.ReorderableJList:g etSelectionModel()

method	void dragGestureRecognized(DragGestureEvent)
pre	dge != null
pre	(soft) this.dragSource != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	possibly_updated(this.draggedIndex)
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@288: {-2³¹..-2, 0..2³²-1}, {-1}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(Po int)