Class VizGeneralConfigurationManager


  • public class VizGeneralConfigurationManager
    extends VizConfigurationManager
    PUBLIC: Description: Configuration Manager for General options
    • Constructor Detail

      • VizGeneralConfigurationManager

        public VizGeneralConfigurationManager()
        Creates an empty configuration manager where everything is set to default.
      • VizGeneralConfigurationManager

        public VizGeneralConfigurationManager​(File tmfile)
                                       throws IOException
        Constructor initializes the configuration by loading a topic map from the URL given in the parameter.
        Throws:
        IOException
      • VizGeneralConfigurationManager

        public VizGeneralConfigurationManager​(URL tmurl)
                                       throws IOException
        Constructor initializes the configuration by loading a topic map from the URL given in the parameter.
        Throws:
        IOException
    • Method Detail

      • updateRecentFiles

        public void updateRecentFiles​(File f)
      • getRecentFiles

        public List getRecentFiles()
      • getRDFMappingFile

        public String getRDFMappingFile()
      • setRdfMappingFile

        public void setRdfMappingFile​(File aFile)
      • getCurrentTMDir

        public String getCurrentTMDir()
      • setCurrentTMDir

        public void setCurrentTMDir​(String currentTMDir)
      • getCurrentRDBMSDir

        public String getCurrentRDBMSDir()
      • setCurrentRDBMSDir

        public void setCurrentRDBMSDir​(String dir)
      • getCurrentConfigDir

        public String getCurrentConfigDir()
      • setCurrentConfigDir

        public void setCurrentConfigDir​(String dir)