package automatvgi.widgets;

import java.io.IOException;

import javax.swing.JFileChooser;
import javax.swing.filechooser.FileNameExtensionFilter;

import automatvgi.Dessin;
import automatvgi.components.Automaton;

public class Load extends JFileChooser {
	private static final long serialVersionUID = 1L;
	
	public Load(Dessin des) {
		super("automates");
		FileNameExtensionFilter filter = new FileNameExtensionFilter(
		        "Automates", "aut");
		    setFileFilter(filter);
		    choose(des);
		}
	
	private void choose(Dessin des){
	    int returnVal = showOpenDialog(null);
	    if(returnVal == JFileChooser.APPROVE_OPTION) {
	    	try {
				des.setAutomaton(Automaton.load("automates/"+getSelectedFile().getName()));
			} catch (IOException e) {
				// TODO Auto-generated catch block
				e.printStackTrace();
			}
			des.repaint();
	    }
	
	}
}