ArrayListTransferHandler.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool canImport(JComponent, DataFlavor[])

    • Kind Annotation Text
    pre(soft) init'ed(this.localArrayListFlavor)
    pre(soft) transferFlavors != null
    pre(soft) transferFlavors.length <= 232-1
    pre(soft) transferFlavors[...] != null
    postinit'ed(return_value)
    unanalyzedcall on java.awt.datatransfer.DataFlavor:equals

  • void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferHandler()

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    postinit'ed(this.localArrayListFlavor)
    postnew DataFlavor(ArrayListTransferHandler#1) num objects <= 1
    postnew DataFlavor(ArrayListTransferHandler#3) num objects == 1
    postthis.addIndex == -1
    postthis.serialArrayListFlavor == &amp;new DataFlavor(ArrayListTransferHandler#3)

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

    • Kind Annotation Text

  • Transferable createTransferable(JComponent)

    • Kind Annotation Text
    presumptionvalues.length@228 <= 232-1
    presumptionvalues[i]@228 != null
    postnew ArrayList(createTransferable#1) num objects <= 1
    postnew ArrayListTransferable(createTransferable#2) num objects <= 1
    postnew ArrayListTransferable(createTransferable#2). data == &amp;new ArrayList(createTransferable#1)
    postnew ArrayListTransferable(createTransferable#2). localArrayListFlavor in Addr_Set{null,&amp;new DataFlavor(ArrayListTransferable#1)}
    postnew ArrayListTransferable(createTransferable#2). serialArrayListFlavor == &amp;new DataFlavor(ArrayL istTransferable#3)
    postnew DataFlavor(ArrayListTransferable#1) num objects <= 1
    postnew DataFlavor(ArrayListTransferable#3) num objects <= 1
    postpossibly_updated(this.indices)
    postreturn_value in Addr_Set{null,&amp;new ArrayListTransferable(createTransferable#2)}
    postthis.sourceList == One-of{c, old this.sourceList}
    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
    test_vectorjavax.swing.JList:getSelectedValues(...)@228: Addr_Set{null}, Inverse{null}
    test_vectorvalues.length@228: {1..232-1}, {0}

  • bool doImport(JList, List)

    • Kind Annotation Text
    pre(soft) init'ed(this.indices)
    pre(soft) init'ed(this.indices[0])
    pre(soft) init'ed(this.indices[...])
    pre(soft) this.indices.length in {1..232}
    pre(soft) transferList != null
    pretarget != null
    prethis.sourceList != null
    presumptionjava.util.List:size(...)@131 + index in {-232..232-1}
    presumptionjavax.swing.DefaultListModel:getSize(...)@117 <= 232-2
    presumptionjavax.swing.JList:getModel(...)@116 != null
    presumptionjavax.swing.JList:getSelectedIndex(...)@110 <= 232-3
    postinit'ed(this.indices)
    postpossibly_updated(this.addCount)
    postpossibly_updated(this.addIndex)
    postreturn_value == 1
    postthis.indices == One-of{null, old this.indices}
    test_vectorjava.lang.Object:equals(...)@111: {0}, {1}
    test_vectorjavax.swing.JList:getSelectedIndex(...)@110: {0..232-3}, {-231..-1}
    test_vectorthis.indices: Addr_Set{null}, Inverse{null}

  • void exportDone(JComponent, Transferable, int)

    • Kind Annotation Text
    pre(soft) init'ed(this.addCount)
    pre(soft) init'ed(this.indices)
    pre(soft) this.addIndex != 232-2
    pre(soft) this.indices.length <= 232-1
    pre(soft) this.indices[...] in {-231+1..232-2}
    pre(soft) this.sourceList != null
    presumptionjavax.swing.JList:getModel(...)@143 != null
    postinit'ed(this.indices[...])
    postthis.addCount == 0
    postthis.addIndex == -1
    postthis.indices == null
    test_vectoraction: {-231..1, 3..232-1}, {2}
    test_vectorthis.addCount: {-231..0}, {1..232-1}
    test_vectorthis.indices: Addr_Set{null}, Inverse{null}

  • int getSourceActions(JComponent)

    • Kind Annotation Text
    postreturn_value == 3

  • bool hasLocalArrayListFlavor(DataFlavor[])

    • Kind Annotation Text
    pre(soft) transferFlavors != null
    pre(soft) transferFlavors.length <= 232-1
    pre(soft) transferFlavors[...] != null
    preinit'ed(this.localArrayListFlavor)
    postinit'ed(return_value)
    test_vectorjava.awt.datatransfer.DataFlavor:equals(...)@175: {0}, {1}
    test_vectorthis.localArrayListFlavor: Inverse{null}, Addr_Set{null}

  • bool hasSerialArrayListFlavor(DataFlavor[])

    • Kind Annotation Text
    pre(soft) transferFlavors != null
    pre(soft) transferFlavors.length <= 232-1
    pre(soft) transferFlavors[...] != null
    postinit'ed(return_value)
    test_vectorjava.awt.datatransfer.DataFlavor:equals(...)@196: {0}, {1}
    test_vectorthis.serialArrayListFlavor: Inverse{null}, Addr_Set{null}

  • bool importData(JComponent, Transferable)

    • Kind Annotation Text
    pre(soft) comp != null
    pre(soft) init'ed(this.indices)
    pre(soft) init'ed(this.indices[0])
    pre(soft) init'ed(this.indices[...])
    pre(soft) init'ed(this.localArrayListFlavor)
    pre(soft) this.indices.length in {1..232}
    pre(soft) this.sourceList != null
    pret != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.awt.datatransfer.Transferable:getTransferData( ...)@86 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferData( ...)@88 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...).length@80 <= 232-1
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...).length@85 <= 232-1
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...).length@87 <= 232-1
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)@80 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)@85 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)@87 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)[...]@80 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)[...]@85 != null
    presumptionjava.awt.datatransfer.Transferable:getTransferDataF lavors(...)[...]@87 != null
    postinit'ed(return_value)
    postinit'ed(this.indices)
    postpossibly_updated(this.addCount)
    postpossibly_updated(this.addIndex)
    postthis.indices == One-of{old this.indices, null}
    unanalyzedcall on java.awt.datatransfer.DataFlavor:equals
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:size
    unanalyzedcall on javax.swing.DefaultListModel:add
    unanalyzedcall on javax.swing.DefaultListModel:getSize
    unanalyzedcall on javax.swing.DefaultListModel:instanceof
    unanalyzedcall on javax.swing.JList:getModel
    unanalyzedcall on javax.swing.JList:getSelectedIndex
    unanalyzedcall on javax.swing.JList:instanceof