RecordingManager.java

Go to the documentation of this file.

/*
 * Copyright (c) 2008, AIST, the University of Tokyo and General Robotix Inc.
 * All rights reserved. This program is made available under the terms of the
 * Eclipse Public License v1.0 which accompanies this distribution, and is
 * available at http://www.eclipse.org/legal/epl-v10.html
 * Contributors:
 * General Robotix Inc.
 * National Institute of Advanced Industrial Science and Technology (AIST) 
 */
package com.generalrobotix.ui.view.tdview;

import java.io.*;
import java.util.*;
import java.awt.image.BufferedImage;
import javax.media.Format;


public class RecordingManager{
    //--------------------------------------------------------------------
    // 定数
    //最適化パラメータ
    private static int SLEEP_TIME=50;  //スリープする時間(ms)

    //スリープに入るまでの最大許容イメージスタック数
    private static int MAX_STACK_SIZE=0;
    
    //--------------------------------------------------------------------
    // クラス変数
    private static RecordingManager this_;

    //--------------------------------------------------------------------
    // メンバ変数
    private int width_,height_;
    private float frameRate_;
    private Hashtable<String, Format> htFormat_;   //String--Format
    
    private ImageToMovie movie_;
    
    //--------------------------------------------------------------------
    // コンストラクタ
    private RecordingManager() {
    }
    
    //--------------------------------------------------------------------
    // クラスメソッド
    public static RecordingManager getInstance() {
        if (this_ == null) {
            this_ = new RecordingManager();
        }

        return this_;
    }

    //--------------------------------------------------------------------
    // 公開メソッド
    
    public void setImageSize(int w, int h) {
        width_ = w;
        height_ = h;
    }

    public int getWidth(){
        return width_;
    }

    public int getHeight(){
        return height_;
    }

    public void setFrameRate(float rate){
        frameRate_=rate;
    }

    public float getFrameRate(){
        return frameRate_;
    }

    public Object[] getSuportedFormat(){
        htFormat_=new Hashtable<String, Format>();
        Vector<String> ret = new Vector<String>();
        //テンポラリを作ってフォーマットを得る
        String fileName =
            "file:" +
            System.getProperty("user.dir") + 
            System.getProperty("file.separator") +
            _getUniqueName();
        ImageToMovie tempMovie =
            new ImageToMovie(
                width_,
                height_,
                frameRate_,
                fileName,
                ImageToMovie.QUICKTIME
            );
        Format[] formats=tempMovie.getSupportedFormats();
        for(int i=0;i<formats.length;i++){
            String keyStr = formats[i].toString();
            if(htFormat_.get(keyStr) != null){
                continue;
            }
            ret.add(keyStr);
            htFormat_.put(keyStr,formats[i]);
        }
        tempMovie.setFormat(formats[0]);
        //テンポラリを消す
        File file=new File(fileName);
        file.delete();
        
        return ret.toArray();
    }

    private String _getUniqueName() {
        Calendar cal=new GregorianCalendar();
        String str="`~$" + cal.getTime().hashCode() +".TMP";
        return str;
    }
    public Object[] preRecord(String fileName, String fileType)
        {
        Vector<String> ret = new Vector<String>();
        movie_=
            new ImageToMovie(
                width_,
                height_,
                frameRate_,
                fileName,
                fileType
            );
        htFormat_=new Hashtable<String, Format>();
        
        Format[] formats = movie_.getSupportedFormats();
        for(int i=0;i<formats.length;i++){
            String keyStr = formats[i].toString();
            if(htFormat_.get(keyStr) != null){
                continue;
            }
            ret.add(keyStr);
            htFormat_.put(keyStr,formats[i]);
        }
        return ret.toArray();
    }

    public boolean startRecord(String formatStr){
        Format format=(Format)htFormat_.get(formatStr);
        movie_.setFormat(format);

        if(movie_.startProcess())
                return true;
        else 
                return false;
    }

    public void endRecord() {
        movie_.endProcess();
    }

    public void pushImage(BufferedImage image)
        {
            movie_.pushImage(image);
            do {
                try {
                    Thread.sleep(SLEEP_TIME);
                } catch (Exception ex) {
                    ex.printStackTrace();
                }
            } while (movie_.getImageStackSize() > MAX_STACK_SIZE);
    }
}