Package ui

Class ConfigData

java.lang.Object
ui.ConfigData

public class ConfigData extends Object
Various methods to get configured data from an ini file.
  • Constructor Details

    • ConfigData

      public ConfigData()
  • Method Details

    • getSerPortsData

      public static String[] getSerPortsData(inifile.IniFile inifile)
      Get the configured data for all serial ports.
      Parameters:
      inifile - whence to get the data.
      Returns:
      a string array with the data. Each element in the array may be null or empty.
    • setSerPortsData

      public static void setSerPortsData(String[] serNames, inifile.IniFile inifile)
      Get the configured data for all serial ports.
      Parameters:
      serNames - names for serial ports
      inifile - where to get the data.
    • setOptionAndSave

      public static void setOptionAndSave(String optionName, String optionvalue, inifile.IniFile inifile)
      Sets an option in the inifile and saves that to the file on disk.
      Parameters:
      optionName - name of option (upper cased).
      optionvalue - value of option.
      inifile - inifile containing all options.
    • storeDriveNames

      public static void storeDriveNames(String deviceName, String[] driveNames, inifile.IniFile inifile)
      Save new names for a device to the inifile.
      Parameters:
      deviceName - string name of device, 3 letters, uppercased.
      driveNames - the eight-element array holding the (unresolved) names.
      inifile - wither to write the info
    • setOptions

      public static void setOptions(inifile.IniFile inifile, Monitor monitor)
      Gets various options from the inifile and sets them. Also shows the state of the options in the GUI Config menu.
      Parameters:
      inifile - whence to get the option.
      monitor - monitor with TrapDispatcher object where some options must be set.