filecontentlabelprovider.java

基于Eclipse RCP模型下的文档管理程序源代码

// Decompiled by Jad v1.5.8g. Copyright 2001 Pavel Kouznetsov.
// Jad home page: http://www.kpdus.com/jad.html
// Decompiler options: packimports(3) 
// Source File Name:   FileContentLabelProvider.java

package fileexplorer.views;

import fileexplorer.system.TableViewerLabelProvider;
import java.io.File;
import java.text.DateFormat;
import java.util.Date;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.program.Program;
import org.eclipse.ui.*;

public class FileContentLabelProvider extends TableViewerLabelProvider
{

    public FileContentLabelProvider()
    {
        dateFormat = DateFormat.getDateTimeInstance(2, 2);
    }

    public Image getColumnImage(Object element, int columnIndex)
    {
        if(columnIndex == 0 && element != null)
        {
            if(((File)element).isFile())
                return PlatformUI.getWorkbench().getSharedImages().getImage("IMG_OBJ_FILE");
            else
                return PlatformUI.getWorkbench().getSharedImages().getImage("IMG_OBJ_FOLDER");
        } else
        {
            return null;
        }
    }

    public String getColumnText(Object element, int columnIndex)
    {
        File file = (File)element;
        String text = "";
        if(columnIndex == 0)
            if(file.getParentFile() != null)
                return file.getName();
            else
                return file.getPath().substring(0, 2);
        if(columnIndex == 1)
            if(file.exists())
                return getFileObjectSize(element);
            else
                return "";
        if(columnIndex == 2)
        {
            if(file.isDirectory())
                return "\u6587\u4EF6\u5939";
            if(file.isFile())
            {
                int dotPos = file.getName().lastIndexOf('.');
                if(dotPos != -1)
                {
                    String extension = file.getName().substring(dotPos);
                    Program program = Program.findProgram(extension);
                    if(program != null)
                        return program.getName();
                    else
                        return extension.toUpperCase();
                } else
                {
                    return "Unknown";
                }
            } else
            {
                return "";
            }
        }
        if(columnIndex == 3)
            return dateFormat.format(new Date(file.lastModified()));
        if(columnIndex == 4)
            return file.getAbsolutePath();
        else
            return "";
    }

    private String getFileObjectSize(Object element)
    {
        File element1 = (File)element;
        if(element1 != null)
        {
            if(element1.isDirectory())
                return "";
            if(element1.isFile())
                return (new StringBuilder()).append((int)((float)((File)element).length() / 1024F + 1.0F)).append("KB").toString();
        }
        return "???";
    }

    private DateFormat dateFormat;
}