Class MWPreferences

java.lang.Object
com.marswars.util.JSONReader
com.marswars.util.MWPreferences

public class MWPreferences extends JSONReader
  • Field Details

    • pref_path_

      protected static final Path pref_path_
    • factory_

      protected com.fasterxml.jackson.databind.node.JsonNodeFactory factory_
    • date_format_

      protected DateTimeFormatter date_format_
  • Constructor Details

    • MWPreferences

      protected MWPreferences()
  • Method Details

    • getInstance

      public static MWPreferences getInstance()
    • writeFile

      protected void writeFile()
    • setPreference

      public void setPreference(String name, Number val)
    • setPreference

      public void setPreference(String name, String val)
    • hasPreference

      public boolean hasPreference(String name)
    • getPreferenceString

      public String getPreferenceString(String name, String default_val)
    • getPreferenceInt

      public int getPreferenceInt(String name, int default_val)
    • getPreferenceDouble

      public double getPreferenceDouble(String name, double default_val)