org.processmining.framework.ui
Class UISettings

java.lang.Object
  extended by org.processmining.framework.ui.UISettings

public class UISettings
extends java.lang.Object

Saves and loads UI settings from an .ini file.

Version:
1.0
Author:
Peter van den Brand

Field Summary
static java.lang.String LOGTYPE
           
 
Method Summary
 void addRecentFile(java.lang.String file, java.lang.String algorithm)
           
 int getBackgroundRefreshRate()
           
 java.io.File getCustomDotExecutable()
           
 java.lang.String getCustomDotLocation()
           
 java.lang.String getExecutionLogFileName()
           
static UISettings getInstance()
           
 boolean getKeepHistory()
           
 java.lang.String getLastExecutionID()
           
 java.lang.String getLastOpenedImportFile()
           
 java.lang.String getLastOpenedLogFile()
           
 java.lang.String getLastUsedAlgorithm()
           
 java.lang.String getLastUsedAnalysis()
           
 java.lang.String getLastUsedConversion()
           
 java.lang.String getPreferredIconTheme()
           
 java.lang.String getPreferredLogReader()
           
 java.util.ArrayList getRecentFiles()
           
 boolean getTest()
           
protected  boolean recentFileExists(java.lang.String fileName)
           
 void save()
           
 void setCustomDotLocation(java.lang.String dotLocation)
           
 void setKeepHistory(boolean keepHistory)
           
 void setLastExecutionID(java.lang.String name)
           
 void setLastOpenedImportFile(java.lang.String name)
           
 void setLastOpenedLogFile(java.lang.String name)
           
 void setLastUsedAlgorithm(java.lang.String name)
           
 void setLastUsedAnalysis(java.lang.String name)
           
 void setLastUsedConversion(java.lang.String name)
           
 void setPreferredIconTheme(java.lang.String iconThemePath)
           
 void setPreferredLogReader(java.lang.String logReaderId)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGTYPE

public static final java.lang.String LOGTYPE
See Also:
Constant Field Values
Method Detail

getExecutionLogFileName

public java.lang.String getExecutionLogFileName()

getLastOpenedLogFile

public java.lang.String getLastOpenedLogFile()

getLastOpenedImportFile

public java.lang.String getLastOpenedImportFile()

setLastOpenedLogFile

public void setLastOpenedLogFile(java.lang.String name)

setLastOpenedImportFile

public void setLastOpenedImportFile(java.lang.String name)

getLastUsedAlgorithm

public java.lang.String getLastUsedAlgorithm()

setLastUsedAlgorithm

public void setLastUsedAlgorithm(java.lang.String name)

getLastUsedAnalysis

public java.lang.String getLastUsedAnalysis()

getLastUsedConversion

public java.lang.String getLastUsedConversion()

getLastExecutionID

public java.lang.String getLastExecutionID()

getKeepHistory

public boolean getKeepHistory()

getTest

public boolean getTest()

getBackgroundRefreshRate

public int getBackgroundRefreshRate()

setLastUsedAnalysis

public void setLastUsedAnalysis(java.lang.String name)

setLastUsedConversion

public void setLastUsedConversion(java.lang.String name)

setLastExecutionID

public void setLastExecutionID(java.lang.String name)

setKeepHistory

public void setKeepHistory(boolean keepHistory)

setPreferredLogReader

public void setPreferredLogReader(java.lang.String logReaderId)

getPreferredLogReader

public java.lang.String getPreferredLogReader()

setPreferredIconTheme

public void setPreferredIconTheme(java.lang.String iconThemePath)

getPreferredIconTheme

public java.lang.String getPreferredIconTheme()

setCustomDotLocation

public void setCustomDotLocation(java.lang.String dotLocation)

getCustomDotLocation

public java.lang.String getCustomDotLocation()

getCustomDotExecutable

public java.io.File getCustomDotExecutable()

getInstance

public static UISettings getInstance()

getRecentFiles

public java.util.ArrayList getRecentFiles()

recentFileExists

protected boolean recentFileExists(java.lang.String fileName)

addRecentFile

public void addRecentFile(java.lang.String file,
                          java.lang.String algorithm)

save

public void save()