//# 0 errors, 124 messages
//#
/*
    //#KaffeineSource.java:1:1: class: com.dmdirc.addons.mediasource_dcop.KaffeineSource
    //#KaffeineSource.java:1:1: method: com.dmdirc.addons.mediasource_dcop.KaffeineSource.com.dmdirc.addons.mediasource_dcop.KaffeineSource__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.mediasource_dcop;

import com.dmdirc.addons.nowplaying.MediaSource;
import com.dmdirc.addons.nowplaying.MediaSourceState;

import java.util.List;

/**
 * Uses DCOP to retrieve now playing info from Kaffeine.
 *
 * @author chris
 */
public class KaffeineSource implements MediaSource {
    
    /** Instantiates the media source. */
    public KaffeineSource() {
    //#KaffeineSource.java:38: method: void com.dmdirc.addons.mediasource_dcop.KaffeineSource.com.dmdirc.addons.mediasource_dcop.KaffeineSource()
        //Do nothing
    }
    //#KaffeineSource.java:40: end of method: void com.dmdirc.addons.mediasource_dcop.KaffeineSource.com.dmdirc.addons.mediasource_dcop.KaffeineSource()
    
    /** {@inheritDoc} */
    @Override
    public MediaSourceState getState() {
        final List<String> res = DcopMediaSourcePlugin.getDcopResult("dcop kaffeine KaffeineIface isPlaying");
    //#KaffeineSource.java:45: method: MediaSourceState com.dmdirc.addons.mediasource_dcop.KaffeineSource.getState()
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.CLOSED
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.PLAYING
    //#output(MediaSourceState getState()): return_value
    //#presumption(MediaSourceState getState()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(MediaSourceState getState()): return_value in Addr_Set{&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#1),&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#4)}
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#test_vector(MediaSourceState getState()): java.lang.Boolean:parseBoolean(...)@48: {0}, {1}
    //#test_vector(MediaSourceState getState()): java.util.List:size(...)@46: {-2_147_483_648..0}, {1..4_294_967_295}
        if (res.size() > 0) {
            final String result = res.get(0);
            if (Boolean.parseBoolean(result)) {
                return MediaSourceState.PLAYING;
            } else {
                return MediaSourceState.CLOSED;
            }
        } else {
            return MediaSourceState.CLOSED;
    //#KaffeineSource.java:54: end of method: MediaSourceState com.dmdirc.addons.mediasource_dcop.KaffeineSource.getState()
        }
    }
    
    /** {@inheritDoc} */
    @Override
    public String getAppName() {
        return "Kaffeine";
    //#KaffeineSource.java:61: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getAppName()
    //#output(String getAppName()): return_value
    //#post(String getAppName()): return_value == &"Kaffeine"
    //#KaffeineSource.java:61: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getAppName()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getArtist() {
        return DcopMediaSourcePlugin.getDcopResult(
    //#KaffeineSource.java:67: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getArtist()
    //#output(String getArtist()): return_value
    //#presumption(String getArtist()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getArtist()): init'ed(return_value)
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#KaffeineSource.java:67: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getArtist()
                "dcop kaffeine KaffeineIface artist").get(0);
    }

    /** {@inheritDoc} */
    @Override
    public String getTitle() {
        return DcopMediaSourcePlugin.getDcopResult(
    //#KaffeineSource.java:74: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getTitle()
    //#output(String getTitle()): return_value
    //#presumption(String getTitle()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getTitle()): init'ed(return_value)
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#KaffeineSource.java:74: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getTitle()
                "dcop kaffeine KaffeineIface title").get(0);
    }

    /** {@inheritDoc} */
    @Override
    public String getAlbum() {
        return DcopMediaSourcePlugin.getDcopResult(
    //#KaffeineSource.java:81: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getAlbum()
    //#output(String getAlbum()): return_value
    //#presumption(String getAlbum()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getAlbum()): init'ed(return_value)
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#KaffeineSource.java:81: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getAlbum()
                "dcop kaffeine KaffeineIface album").get(0);
    }

    /** {@inheritDoc} */
    @Override
    public String getLength() {
        return duration(Integer.parseInt(DcopMediaSourcePlugin.getDcopResult(
    //#KaffeineSource.java:88: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getLength()
    //#input(String getLength()): ":"._tainted
    //#input(String getLength()): this
    //#output(String getLength()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getLength()): return_value
    //#new obj(String getLength()): java.lang.StringBuilder:toString(...)
    //#presumption(String getLength()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getLength()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String getLength()): return_value == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#unanalyzed(String getLength()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getLength()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getLength()): Effects-of-calling:java.lang.StringBuilder:toString
    //#KaffeineSource.java:88: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getLength()
                "dcop kaffeine KaffeineIface getLength").get(0)));
    }

    /** {@inheritDoc} */
    @Override
    public String getTime() {
        return duration(Integer.parseInt(DcopMediaSourcePlugin.getDcopResult(
    //#KaffeineSource.java:95: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getTime()
    //#input(String getTime()): ":"._tainted
    //#input(String getTime()): this
    //#output(String getTime()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getTime()): return_value
    //#new obj(String getTime()): java.lang.StringBuilder:toString(...)
    //#presumption(String getTime()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getTime()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String getTime()): return_value == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#unanalyzed(String getTime()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getTime()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getTime()): Effects-of-calling:java.lang.StringBuilder:toString
    //#KaffeineSource.java:95: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getTime()
                "dcop kaffeine KaffeineIface getTimePos").get(0)));
    }

    /** {@inheritDoc} */
    @Override
    public String getFormat() {
        return null;
    //#KaffeineSource.java:102: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getFormat()
    //#output(String getFormat()): return_value
    //#post(String getFormat()): return_value == null
    //#KaffeineSource.java:102: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getFormat()
    }

    /** {@inheritDoc} */
    @Override
    public String getBitrate() {
        return null;
    //#KaffeineSource.java:108: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getBitrate()
    //#output(String getBitrate()): return_value
    //#post(String getBitrate()): return_value == null
    //#KaffeineSource.java:108: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.getBitrate()
    }
    
    /**
     * Get the duration in seconds as a string.
     *
     * @param secondsInput to get duration for
     *
     * @return Duration as a string
     */
    private String duration(final long secondsInput) {
        final StringBuilder result = new StringBuilder();
    //#KaffeineSource.java:119: method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.duration(long)
    //#input(String duration(long)): ":"._tainted
    //#input(String duration(long)): secondsInput
    //#output(String duration(long)): java.lang.StringBuilder:toString(...)._tainted
    //#output(String duration(long)): return_value
    //#new obj(String duration(long)): java.lang.StringBuilder:toString(...)
    //#post(String duration(long)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String duration(long)): return_value == &java.lang.StringBuilder:toString(...)
    //#test_vector(String duration(long)): (secondsInput/60)%60: {10..59}, {-59..9}
    //#test_vector(String duration(long)): secondsInput: {-9_223_372_036_854_775_808..3_599}, {36_000..18_446_744_073_709_551_615}, {3_600..35_999}
    //#test_vector(String duration(long)): secondsInput%60: {10..59}, {-59..9}
    //#test_vector(String duration(long)): secondsInput/3_600: {-2_562_047_788_015_215..0}, {10..5_124_095_576_030_431}, {1..9}
    //#test_vector(String duration(long)): secondsInput/60: {-153_722_867_280_912_930..59}, {600..307_445_734_561_825_860}, {60..599}
        final long hours = secondsInput / 3600;
        final long minutes = secondsInput / 60 % 60;
        final long seconds = secondsInput % 60;
        
        if (hours > 0) {
            if (hours < 10) {
                result.append('0');
            }

            result.append(hours).append(":");
        }

        if (minutes < 10) {
            result.append('0');
        }
        
        result.append(minutes).append(":");

        if (seconds < 10) {
            result.append('0');
        }

        result.append(seconds);
        
        return result.toString();
    //#KaffeineSource.java:144: end of method: String com.dmdirc.addons.mediasource_dcop.KaffeineSource.duration(long)
    }
    
}
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Descendant_Table[com/dmdirc/addons/mediasource_dcop/KaffeineSource]
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.duration(J)Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getAlbum()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getAppName()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getArtist()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getBitrate()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getFormat()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getLength()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getState()Lcom/dmdirc/addons/nowplaying/MediaSourceState;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getTime()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): com/dmdirc/addons/nowplaying/MediaSource.__Descendant_Table[com/dmdirc/addons/mediasource_dcop/KaffeineSource]
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Descendant_Table[com/dmdirc/addons/mediasource_dcop/KaffeineSource] == &__Dispatch_Table
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): com/dmdirc/addons/nowplaying/MediaSource.__Descendant_Table[com/dmdirc/addons/mediasource_dcop/KaffeineSource] == &__Dispatch_Table
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.duration(J)Ljava/lang/String; == &duration
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getAlbum()Ljava/lang/String; == &getAlbum
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getAppName()Ljava/lang/String; == &getAppName
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getArtist()Ljava/lang/String; == &getArtist
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getBitrate()Ljava/lang/String; == &getBitrate
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getFormat()Ljava/lang/String; == &getFormat
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getLength()Ljava/lang/String; == &getLength
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getState()Lcom/dmdirc/addons/nowplaying/MediaSourceState; == &getState
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getTime()Ljava/lang/String; == &getTime
    //#post(com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#KaffeineSource.java:: end of method: com.dmdirc.addons.mediasource_dcop.KaffeineSource.com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init
    //#KaffeineSource.java:: end of class: com.dmdirc.addons.mediasource_dcop.KaffeineSource
