//# 0 errors, 78 messages
//#
/*
    //#ArrayListTransferable.java:1:1: class: com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable
    //#ArrayListTransferable.java:1:1: method: com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_swing.components.reorderablelist;

import com.dmdirc.logger.ErrorLevel;
import com.dmdirc.logger.Logger;

import java.awt.datatransfer.DataFlavor;
import java.awt.datatransfer.Transferable;
import java.awt.datatransfer.UnsupportedFlavorException;
import java.util.ArrayList;

/**
 * Arraylist transferable.
 */
public final class ArrayListTransferable implements Transferable {
    
    /** Local tranfer flavour. */
    private DataFlavor localArrayListFlavor;
    /** Serial transfer flavour. */
    private final DataFlavor serialArrayListFlavor;
    /** Transferred ArrayList. */
    private final ArrayList data; //NOPMD
    
    /** 
     * Initialises the ArrayListTransferable. 
     *
     * @param alist ArrayList to transfer
     */
    public ArrayListTransferable(final ArrayList alist) { //NOPMD
        super();
    //#ArrayListTransferable.java:51: method: void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)
    //#input(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): "unable to create data flavor: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): alist
    //#input(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): com.dmdirc.logger.ErrorLevel.LOW
    //#input(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this
    //#output(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.data
    //#output(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.localArrayListFlavor
    //#output(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.serialArrayListFlavor
    //#new obj(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#1)
    //#new obj(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#3)
    //#presumption(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): init'ed(com.dmdirc.logger.ErrorLevel.LOW)
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.data == alist
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): init'ed(this.data)
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.localArrayListFlavor in Addr_Set{null,&new DataFlavor(ArrayListTransferable#1)}
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): this.serialArrayListFlavor == &new DataFlavor(ArrayListTransferable#3)
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#1) num objects <= 1
    //#post(void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)): new DataFlavor(ArrayListTransferable#3) num objects == 1
        
        data = alist;
        
        try {
            localArrayListFlavor = new DataFlavor(
                    DataFlavor.javaJVMLocalObjectMimeType
                    + ";class=java.util.ArrayList");
        } catch (ClassNotFoundException e) {
            Logger.userError(ErrorLevel.LOW, "unable to create data flavor: "
    //#ArrayListTransferable.java:60: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable
    //#    method: void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    + e.getMessage());
        }
        serialArrayListFlavor = new DataFlavor(ArrayList.class, "ArrayList"); //NOPMD
        
    }
    //#ArrayListTransferable.java:65: end of method: void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)
    
    /** {@inheritDoc} */
    @Override
    public Object getTransferData(final DataFlavor flavor) throws 
            UnsupportedFlavorException {
        if (!isDataFlavorSupported(flavor)) {
    //#ArrayListTransferable.java:71: method: Object com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.getTransferData(DataFlavor)
    //#input(Object getTransferData(DataFlavor)): flavor
    //#input(Object getTransferData(DataFlavor)): this
    //#input(Object getTransferData(DataFlavor)): this.data
    //#input(Object getTransferData(DataFlavor)): this.localArrayListFlavor
    //#input(Object getTransferData(DataFlavor)): this.serialArrayListFlavor
    //#output(Object getTransferData(DataFlavor)): return_value
    //#pre[4] (Object getTransferData(DataFlavor)): this.localArrayListFlavor != null
    //#pre[5] (Object getTransferData(DataFlavor)): (soft) this.serialArrayListFlavor != null
    //#presumption(Object getTransferData(DataFlavor)): java.awt.datatransfer.DataFlavor:equals(...)@87 != 0 | java.awt.datatransfer.DataFlavor:equals(...)@91 != 0
    //#post(Object getTransferData(DataFlavor)): return_value == this.data
    //#post(Object getTransferData(DataFlavor)): init'ed(return_value)
    //#unanalyzed(Object getTransferData(DataFlavor)): Effects-of-calling:java.awt.datatransfer.DataFlavor:equals
            throw new UnsupportedFlavorException(flavor);
        }
        
        return data;
    //#ArrayListTransferable.java:75: end of method: Object com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.getTransferData(DataFlavor)
    }
    
    /** {@inheritDoc} */
    @Override
    public DataFlavor[] getTransferDataFlavors() {
        return new DataFlavor[]{localArrayListFlavor, serialArrayListFlavor, };
    //#ArrayListTransferable.java:81: method: DataFlavor[] com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.getTransferDataFlavors()
    //#input(DataFlavor[] getTransferDataFlavors()): this
    //#input(DataFlavor[] getTransferDataFlavors()): this.localArrayListFlavor
    //#input(DataFlavor[] getTransferDataFlavors()): this.serialArrayListFlavor
    //#output(DataFlavor[] getTransferDataFlavors()): new DataFlavor[](getTransferDataFlavors#1) num objects
    //#output(DataFlavor[] getTransferDataFlavors()): return_value.length
    //#output(DataFlavor[] getTransferDataFlavors()): return_value[0]
    //#output(DataFlavor[] getTransferDataFlavors()): return_value[1]
    //#output(DataFlavor[] getTransferDataFlavors()): return_value
    //#new obj(DataFlavor[] getTransferDataFlavors()): new DataFlavor[](getTransferDataFlavors#1)
    //#pre[2] (DataFlavor[] getTransferDataFlavors()): init'ed(this.localArrayListFlavor)
    //#post(DataFlavor[] getTransferDataFlavors()): return_value == &new DataFlavor[](getTransferDataFlavors#1)
    //#post(DataFlavor[] getTransferDataFlavors()): new DataFlavor[](getTransferDataFlavors#1) num objects == 1
    //#post(DataFlavor[] getTransferDataFlavors()): return_value.length == 2
    //#post(DataFlavor[] getTransferDataFlavors()): return_value[0] == this.localArrayListFlavor
    //#post(DataFlavor[] getTransferDataFlavors()): init'ed(return_value[0])
    //#post(DataFlavor[] getTransferDataFlavors()): return_value[1] == this.serialArrayListFlavor
    //#post(DataFlavor[] getTransferDataFlavors()): init'ed(return_value[1])
    //#ArrayListTransferable.java:81: end of method: DataFlavor[] com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.getTransferDataFlavors()
    }
    
    /** {@inheritDoc} */
    @Override
    public boolean isDataFlavorSupported(final DataFlavor flavor) {
        if (localArrayListFlavor.equals(flavor)) {
    //#ArrayListTransferable.java:87: method: bool com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.isDataFlavorSupported(DataFlavor)
    //#input(bool isDataFlavorSupported(DataFlavor)): flavor
    //#input(bool isDataFlavorSupported(DataFlavor)): this
    //#input(bool isDataFlavorSupported(DataFlavor)): this.localArrayListFlavor
    //#input(bool isDataFlavorSupported(DataFlavor)): this.serialArrayListFlavor
    //#output(bool isDataFlavorSupported(DataFlavor)): return_value
    //#pre[3] (bool isDataFlavorSupported(DataFlavor)): this.localArrayListFlavor != null
    //#pre[4] (bool isDataFlavorSupported(DataFlavor)): (soft) this.serialArrayListFlavor != null
    //#post(bool isDataFlavorSupported(DataFlavor)): init'ed(return_value)
    //#test_vector(bool isDataFlavorSupported(DataFlavor)): java.awt.datatransfer.DataFlavor:equals(...)@87: {0}, {1}
    //#test_vector(bool isDataFlavorSupported(DataFlavor)): java.awt.datatransfer.DataFlavor:equals(...)@91: {0}, {1}
            return true;
        }
        
        if (serialArrayListFlavor.equals(flavor)) {
            return true;
        }
        
        return false;
    //#ArrayListTransferable.java:95: end of method: bool com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.isDataFlavorSupported(DataFlavor)
    }
}
    //#output(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/reorderablelist/ArrayListTransferable]
    //#output(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.getTransferData(Ljava/awt/datatransfer/DataFlavor;)Ljava/lang/Object;
    //#output(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.getTransferDataFlavors()[Ljava/awt/datatransfer/DataFlavor;
    //#output(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.isDataFlavorSupported(Ljava/awt/datatransfer/DataFlavor;)Z
    //#post(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/reorderablelist/ArrayListTransferable] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.getTransferData(Ljava/awt/datatransfer/DataFlavor;)Ljava/lang/Object; == &getTransferData
    //#post(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.getTransferDataFlavors()[Ljava/awt/datatransfer/DataFlavor; == &getTransferDataFlavors
    //#post(com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init): __Dispatch_Table.isDataFlavorSupported(Ljava/awt/datatransfer/DataFlavor;)Z == &isDataFlavorSupported
    //#ArrayListTransferable.java:: end of method: com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable.com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable__static_init
    //#ArrayListTransferable.java:: end of class: com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable
