src/org/objectweb/cjdbc/console/gui/objects/DumpFileObject.java

説明を見る。

package org.objectweb.cjdbc.console.gui.objects;

import java.awt.Color;
import java.io.File;
import java.text.DateFormat;
import java.text.SimpleDateFormat;
import java.util.Date;

import javax.swing.SwingConstants;

import org.objectweb.cjdbc.common.util.ZipMe;
import org.objectweb.cjdbc.console.gui.constants.GuiConstants;
import org.objectweb.cjdbc.console.gui.constants.GuiIcons;

public class DumpFileObject extends AbstractGuiObject
{
  private File       dumpFile;
  private String     dumpFileName;
  private String     displayName;
  private DateFormat df;

  public DumpFileObject(File dumpFile)
  {
    this.dumpFile = dumpFile;
    this.dumpFileName = dumpFile.getName();
    this.df = new SimpleDateFormat();
    this.setActionCommand(GuiConstants.BACKEND_STATE_RESTORE);
    setIcon(GuiIcons.DUMP_FILE_ICON);
    setBackground(Color.white);
    setDisplayName();
    setVerticalTextPosition(SwingConstants.BOTTOM);
    setFont(GuiConstants.CENTER_PANE_FONT);

    setToolTipText("File:" + dumpFileName + "\nLast Modified:"
        + df.format(new Date(dumpFile.lastModified())));
  }

  void setDisplayName()
  {
    displayName = dumpFileName.substring(0, dumpFileName.length()
        - ZipMe.ZIP_EXT.length());
    int index = displayName.indexOf(' ');
    if (index == -1)
      setText(displayName);
    else
      setText(displayName.substring(0, index));
  }
  public File getDumpFile()
  {
    return dumpFile;
  }
}

---