syncmanager.java

编辑视频文件

/*
 * File:     SyncManager.java
 * Project:  MPI Linguistic Application
 * Date:     02 May 2007
 *
 * Copyright (C) 2001-2007  Max Planck Institute for Psycholinguistics
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

package mpi.eudico.client.annotator;

import mpi.eudico.client.annotator.player.*;

import mpi.eudico.client.annotator.util.*;

import mpi.util.TimeFormatter;

import java.awt.Component;
import java.awt.Container;
import java.awt.GridBagConstraints;
import java.awt.GridBagLayout;
import java.awt.GridLayout;
import java.awt.Insets;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.ItemEvent;
import java.awt.event.ItemListener;

import java.util.*;

import javax.swing.ButtonGroup;
import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JRadioButton;
import javax.swing.border.TitledBorder;


/**
 * A class for the synchronization of media players, i.e. setting relative or absolute
 * offsets for each media player.
 *
 */
public class SyncManager implements ActionListener, ItemListener {
    private ViewerManager2 viewerManager;
    private ElanLayoutManager layoutManager;
    private ElanMediaPlayer playerInFocus;
    private Hashtable nameForPlayer;
    private Hashtable playerForName;
    private Hashtable labelForPlayer;
    private Hashtable playerButtons;
    private ButtonGroup buttonGroup;
    private JRadioButton connectedButton;
    private JRadioButton absOffsetRB;
    private JRadioButton relOffsetRB;
    private JRadioButton allPlayersRB;
    private JPanel contentPanel;
    private JPanel playerPanel;
    private JPanel offsetPanel;
    private ButtonGroup playerGroup;
    private JButton applyButton;
    private boolean connected;
    private long minOffset;
    private boolean relative;

    /**
     * Creates a new SyncManager instance
     *
     * @param viewerManager the viewer manager
     * @param layoutManager the layout manager
     */
    public SyncManager(ViewerManager2 viewerManager,
        ElanLayoutManager layoutManager) {
        this.viewerManager = viewerManager;
        this.layoutManager = layoutManager;

        nameForPlayer = new Hashtable();
        playerForName = new Hashtable();
        labelForPlayer = new Hashtable();
        playerButtons = new Hashtable();

        buttonGroup = new ButtonGroup();
        contentPanel = new JPanel(new GridLayout(1, 2));
        playerPanel = new JPanel(new GridLayout(0, 1));
        offsetPanel = new JPanel(new GridBagLayout());

        GridBagConstraints gbc = new GridBagConstraints();
        gbc.gridx = 0;
        gbc.gridy = 0;
        gbc.anchor = GridBagConstraints.NORTHWEST;

        absOffsetRB = new JRadioButton();
        absOffsetRB.setFont(Constants.SMALLFONT);
        absOffsetRB.setSelected(true);
        absOffsetRB.addItemListener(this);
        buttonGroup.add(absOffsetRB);
        offsetPanel.add(absOffsetRB, gbc);
        connectedButton = absOffsetRB;

        gbc.gridy = 1;

        relOffsetRB = new JRadioButton();
        relOffsetRB.setFont(Constants.SMALLFONT);
        relOffsetRB.setSelected(false);
        relOffsetRB.addItemListener(this);
        buttonGroup.add(relOffsetRB);
        offsetPanel.add(relOffsetRB, gbc);
        applyButton = new JButton();
        applyButton.setFont(Constants.SMALLFONT);
        applyButton.addActionListener(this);

        gbc.gridy = 2;
        offsetPanel.add(applyButton, gbc);
        connected = true;

        playerGroup = new ButtonGroup();
        allPlayersRB = new JRadioButton();
        allPlayersRB.setFont(Constants.SMALLFONT);
        allPlayersRB.setSelected(true);
        allPlayersRB.addItemListener(this);
        playerGroup.add(allPlayersRB);
        playerPanel.add(allPlayersRB);
        contentPanel.add(offsetPanel);
        contentPanel.add(playerPanel);
        updateLocale();
    }

    /**
     * Adds a media player to the layout.
     *
     * @param player the media player
     */
    public void add(ElanMediaPlayer player) {
        int size = 1;

        while (playerForName.containsKey(String.valueOf(size))) {
            size++;
        }

        String name = String.valueOf(size);
        nameForPlayer.put(player, name);
        playerForName.put(name, player);
        labelForPlayer.put(player, createLabelPanel(player));

        JRadioButton button = new JRadioButton(ElanLocale.getString(
                    "SyncMode.Label.Player") + " " + name);
        button.setFont(Constants.SMALLFONT);
        button.addItemListener(this);
        playerButtons.put(player, button);
        playerGroup.add(button);
        playerPanel.add(button);
    }

    /**
     * Removes a media player.
     *
     * @param player media player
     */
    public void remove(ElanMediaPlayer player) {
        if (nameForPlayer.containsKey(player)) {
            playerForName.remove(nameForPlayer.get(player));
            nameForPlayer.remove(player);
            labelForPlayer.remove(player);
            ((JRadioButton) playerButtons.get(player)).removeItemListener(this);
            buttonGroup.remove((JRadioButton) playerButtons.get(player));
            playerPanel.remove((JRadioButton) playerButtons.get(player));
            playerButtons.remove(player);
        }
    }

    /**
     * Returns the player selection panel.
     *
     * @return the panel
     */
    public JPanel getPlayerSelectionPanel() {
        return contentPanel;

        //return playerPanel;
    }

    /**
     * Updates the localized Label for the player.
     *
     * @param player the player
     *
     * @return a localized JLabel
     */
    public JPanel getPlayerLabel(ElanMediaPlayer player) {
        if (!nameForPlayer.containsKey(player)) {
            return null;
        }

        JPanel panel = (JPanel) labelForPlayer.get(player);

        if (panel == null) {
            panel = createLabelPanel(player);
            labelForPlayer.put(player, panel);

            return panel;
        }

        Container playPanel = (Container) panel.getComponent(0);
        Component nameComp = playPanel.getComponent(0);

        if (nameComp instanceof JLabel) {
            JLabel nameLabel = (JLabel) nameComp;

            // the name (number) could have been changed
            String name = ElanLocale.getString("SyncMode.Label.Player") + " " +
                (String) nameForPlayer.get(player) + " " +
                ElanLocale.getString("SyncMode.Label.Offset") + ": ";
            nameLabel.setText(name);
        }

        GridBagConstraints gbc = new GridBagConstraints();
        gbc.gridx = 0;
        gbc.gridx = 1;
        gbc.anchor = GridBagConstraints.SOUTHWEST;
        gbc.insets = new Insets(1, 1, 1, 1);

        if (playPanel.getComponentCount() > 1) {
            playPanel.remove(1);
        }

        // the current master gets the master time label that is alive
        // the others get a static label that shows their offset
        if (player == playerInFocus) {
            playPanel.add(viewerManager.getTimePanel(), gbc);
        } else {
            JLabel offsetLabel = new JLabel();

            offsetLabel.setText(TimeFormatter.toString(player.getOffset()));
            playPanel.add(offsetLabel, gbc);
        }

        // update the combo box
        if (player instanceof MultiSourcePlayer) {
            JComboBox box = null;
            JLabel fileLabel = null;

            Component[] comps = panel.getComponents();

            for (int i = 0; i < comps.length; i++) {
                if (comps[i] instanceof JComboBox) {
                    box = (JComboBox) comps[i];
                }

                if (comps[i] instanceof JLabel) {
                    fileLabel = (JLabel) comps[i];
                }
            }

            String[] sources = ((MultiSourcePlayer) player).getDescriptorStrings();

            if (box != null) {
sourceloop: 
                for (int i = 0; i < sources.length; i++) {
                    for (int j = 0; j < box.getItemCount(); j++) {
                        if (box.getItemAt(j).equals(sources[i])) {
                            continue sourceloop;
                        }
                    }

                    box.addItem(sources[i]);
                }

boxloop: 
                for (int j = 0; j < box.getItemCount(); j++) {
                    for (int i = 0; i < sources.length; i++) {
                        if (box.getItemAt(j).equals(sources[i])) {
                            continue boxloop;
                        }
                    }

                    box.removeItemAt(j);
                }

                if (fileLabel != null) {
                    fileLabel.setText((String) box.getSelectedItem());
                }
            }
        }

        return panel;
    }

    /**
     * Creates the panel with name and time labels etc.
     * @param player the player
     * @return the label panel
     */
    private JPanel createLabelPanel(ElanMediaPlayer player) {
        JPanel panel = new JPanel(new GridBagLayout());

        if (!nameForPlayer.containsKey(player)) {
            return panel;
        }

        JLabel nameLabel = new JLabel();
        JPanel playPanel = new JPanel(new GridBagLayout());
        String name = ElanLocale.getString("SyncMode.Label.Player") + " " +
            (String) nameForPlayer.get(player) + " " +
            ElanLocale.getString("SyncMode.Label.Offset") + ": ";

        //nameLabel.setFont(Constants.SMALLFONT);
        //nameLabel.setText(nameForPlayer.get(player) + " offset: ");
        nameLabel.setText(name);

        GridBagConstraints gbc = new GridBagConstraints();
        gbc.gridx = 0;
        gbc.gridy = 0;
        gbc.anchor = GridBagConstraints.SOUTHEAST;
        gbc.insets = new Insets(1, 1, 1, 1);
        playPanel.add(nameLabel, gbc);

        gbc.gridx = 1;
        gbc.anchor = GridBagConstraints.SOUTHWEST;