public class Configuration extends Object
| Constructor and Description |
|---|
Configuration(String file) |
| Modifier and Type | Method and Description |
|---|---|
List<String> |
getAlgorithms()
Returns the list of algorithms.
|
String |
getDatabase()
Returns the filename of the database.
|
String |
getInputDeviceName()
Returns the selected input device name.
|
List<String> |
getInputDevices()
Returns all the available input devices.
|
boolean |
getMinimize()
Returns true if the value of
|
String |
getMostRecentProject()
Returns the last opened project.
|
List<String> |
getTabs()
Returns the list of tabs.
|
public Configuration(String file)
public String getDatabase()
public List<String> getAlgorithms()
public String getInputDeviceName()
public String getMostRecentProject()
public boolean getMinimize()
Copyright © 2007-2012 Global Information Systems Group, ETH Zurich. All Rights Reserved.