ReorderableJList.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.reorderablelist.ReorderableJList()

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

  • void com.dmdirc.addons.ui_swing.components.reorderablelist.ReorderableJList(DefaultListModel)

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
    postinit'ed(this.draggedIndex)
    postnew DataFlavor(ReorderableJList#4) num objects <= 1
    postnew DropTarget(ReorderableJList#3) num objects == 1
    postthis.dataFlavor in Addr_Set{null,&amp;new DataFlavor(ReorderableJList#4)}
    postthis.dragSource != null
    postthis.dropTarget == &amp;new DropTarget(ReorderableJ List#3)
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on java.awt.datatransfer.DataFlavor
    unanalyzedcall on java.lang.ClassNotFoundException:getMessage
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.TransferHandler

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

    • Kind Annotation Text

  • void dragDropEnd(DragSourceDropEvent)

    • Kind Annotation Text
    postthis.draggedIndex == -1
    postthis.dropTargetCell == null

  • void dragEnter(DragSourceDragEvent)

    • Kind Annotation Text

  • void dragEnter(DropTargetDragEvent)

    • Kind Annotation Text
    predtde != null

  • void dragExit(DragSourceEvent)

    • Kind Annotation Text

  • void dragExit(DropTargetEvent)

    • Kind Annotation Text

  • void dragGestureRecognized(DragGestureEvent)

    • Kind Annotation Text
    pre(soft) this.dragSource != null
    predge != null
    presumptionjavax.swing.JList:getModel(...)@118 != null
    postpossibly_updated(this.draggedIndex)
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on java.awt.datatransfer.DataFlavor
    unanalyzedcall on java.lang.ClassNotFoundException:getMessage
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.JList:getModel
    test_vectorcom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@288: {-231..-2, 0..232-1}, {-1}

  • void dragOver(DragSourceDragEvent)

    • Kind Annotation Text

  • void dragOver(DropTargetDragEvent)

    • Kind Annotation Text
    predtde != null
    presumptioncom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getCellBounds(... )@210 != null
    presumptionjava.awt.dnd.DropTargetDragEvent:getLocation(... )@201 != null
    presumptionjavax.swing.JList:getModel(...)@118 != null
    postinit'ed(this.dropTargetCell)
    postpossibly_updated(this.belowTarget)
    unanalyzedcall on javax.swing.JList:getModel
    test_vectorcom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@202: {-231..-2, 0..232-2}, {-1}

  • void drop(DropTargetDropEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.belowTarget)
    pre(soft) init'ed(this.dataFlavor)
    pre(soft) init'ed(this.draggedIndex)
    predtde != null
    presumptioncom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectionModel( ...)@277 != null
    presumptioncom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:locationToIndex(.. .)@244 <= 232-2
    presumptionjava.awt.datatransfer.Transferable:getTransferData( ...)@261 != null
    presumptionjava.awt.dnd.DropTargetDropEvent:getTransferable(.. .)@261 != null
    presumptionjava.util.ArrayList:iterator(...)@273 != null
    presumptionjavax.swing.JList:getModel(...)@118 != null
    unanalyzedcall on javax.swing.JList:getModel
    test_vectorjava.util.Iterator:hasNext(...)@273: {0}, {1}
    test_vectorthis.belowTarget: {0}, {1}

  • void dropActionChanged(DragSourceDragEvent)

    • Kind Annotation Text

  • void dropActionChanged(DropTargetDragEvent)

    • Kind Annotation Text

  • bool getBelowTarget()

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

  • DefaultListModel getModel()

    • Kind Annotation Text
    postinit'ed(return_value)

  • ListModel getModel()

    • Kind Annotation Text
    postinit'ed(return_value)
    unanalyzedcall on javax.swing.JList:getModel

  • Object getTargetCell()

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

  • void setModel(DefaultListModel)

    • Kind Annotation Text