GUIFileSaver.java

Go to the documentation of this file.

/*
 *   DENOPTIM
 *   Copyright (C) 2020 Marco Foscato <marco.foscato@uib.no>
 *
 *   This program is free software: you can redistribute it and/or modify
 *   it under the terms of the GNU Affero General Public License as published
 *   by the Free Software Foundation, either version 3 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 Affero General Public License for more details.
 *
 *   You should have received a copy of the GNU Affero General Public License
 *   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
package denoptim.gui;
 
import java.awt.Component;
import java.io.File;
 
import javax.swing.JFileChooser;
import javax.swing.filechooser.FileNameExtensionFilter;
import javax.swing.filechooser.FileSystemView;
 
import denoptim.files.FileAndFormat;
import denoptim.files.FileFormat;
import denoptim.files.FileFormat.DataKind;
 
public class GUIFileSaver 
{
    private static JFileChooser fileChooser = new JFileChooser(getSystemRoot()); 
       
//-----------------------------------------------------------------------------
    
    private static File getSystemRoot()
    {
        File startFile = new File(System.getProperty("user.dir")); 
        while (!FileSystemView.getFileSystemView().isFileSystemRoot(startFile))
        {
            startFile = startFile.getParentFile();
        }
        return startFile;
    }
//-----------------------------------------------------------------------------
 
    public static FileAndFormat pickFileForSavingGraphs(Component parent) 
    {
        fileChooser.resetChoosableFileFilters();
        FileNameExtensionFilter sdfFilter = new FileNameExtensionFilter(
                "SDF", "sdf");
        fileChooser.addChoosableFileFilter(sdfFilter);
        FileNameExtensionFilter jsonFilter = new FileNameExtensionFilter(
                "JSON", "json");
        fileChooser.addChoosableFileFilter(jsonFilter);
        fileChooser.setAcceptAllFileFilterUsed(false);
        File file;
        if (fileChooser.showSaveDialog(parent) == JFileChooser.APPROVE_OPTION)
        {
            file = fileChooser.getSelectedFile();
        }
        else
        {
            return null;
        }
        FileAndFormat ff = new FileAndFormat(file,FileFormat.fromString(
                fileChooser.getFileFilter().getDescription(), DataKind.GRAPH));
        return ff;
    }
    
//-----------------------------------------------------------------------------
 
    public static FileAndFormat pickFileForSavingVertexes(Component parent) 
    {
        fileChooser.resetChoosableFileFilters();
        FileNameExtensionFilter sdfFilter = new FileNameExtensionFilter(
                "SDF", "sdf");
        fileChooser.addChoosableFileFilter(sdfFilter);
        FileNameExtensionFilter jsonFilter = new FileNameExtensionFilter(
                "JSON", "json");
        fileChooser.addChoosableFileFilter(jsonFilter);
        fileChooser.setAcceptAllFileFilterUsed(false);
        File file;
        if (fileChooser.showSaveDialog(parent) == JFileChooser.APPROVE_OPTION)
        {
            file = fileChooser.getSelectedFile();
        }
        else
        {
            return null;
        }
        FileAndFormat ff = new FileAndFormat(file, FileFormat.fromString(
                fileChooser.getFileFilter().getDescription(), DataKind.VERTEX));
        return ff;
    }
    
//-----------------------------------------------------------------------------
    
    public static FileAndFormat pickFileForSavingCuttingRules(Component parent)
    {
        fileChooser.resetChoosableFileFilters();
        File file;
        if (fileChooser.showSaveDialog(parent) == JFileChooser.APPROVE_OPTION)
        {
            file = fileChooser.getSelectedFile();
        }
        else
        {
            return null;
        }
        FileAndFormat ff = new FileAndFormat(file, FileFormat.CUTRULE);
        return ff;
    }
    
//-----------------------------------------------------------------------------
 
}