org.dllearner.gui
Class ConfigSave

java.lang.Object
  org.dllearner.gui.ConfigSave

public class ConfigSave
extends Object

Save a conf file.

Author:

Jens Lehmann, Tilo Hielscher

Constructor Summary

ConfigSave(Config config)
Creates object to save config.

Method Summary

void	saveFile(File file) Save current configuration to a conf file.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConfigSave

public ConfigSave(Config config)

Creates object to save config.

Parameters:

config - The central configuration handler.

Method Detail

saveFile

public void saveFile(File file)
              throws IOException

Save current configuration to a conf file.

Parameters:

file - The conf file to save to.

Throws:

IOException - Thrown if any IO errors occurr while writing the file.