Class AppPreferencesModel


  • public class AppPreferencesModel
    extends java.lang.Object
    Maintains the application preferences state.
    • Constructor Summary

      Constructors 
      Constructor Description
      AppPreferencesModel​(@NotNull java.lang.String serverDefault, @NotNull java.lang.String clientDefault, @NotNull java.lang.String editorDefault)
      Creates a new instance.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      @NotNull java.lang.String getClient()
      Returns the client setting.
      @NotNull java.lang.String getClientDefault()
      Returns the client setting's default value.
      @NotNull java.lang.String getEditor()
      Returns the editor setting.
      @NotNull java.lang.String getEditorDefault()
      Returns the editor setting's default value.
      @NotNull java.lang.String getServer()
      Returns the server setting.
      @NotNull java.lang.String getServerDefault()
      Returns the server setting's default value.
      static void setClient​(@NotNull java.lang.CharSequence client)
      Sets the client setting.
      static void setEditor​(@NotNull java.lang.CharSequence editor)
      Sets the editor setting.
      static void setServer​(@NotNull java.lang.CharSequence server)
      Sets the server setting.
      static @NotNull java.util.List<java.lang.String> splitCommand​(@NotNull java.lang.String command)
      Splits a command string into an array.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AppPreferencesModel

        public AppPreferencesModel​(@NotNull
                                   @NotNull java.lang.String serverDefault,
                                   @NotNull
                                   @NotNull java.lang.String clientDefault,
                                   @NotNull
                                   @NotNull java.lang.String editorDefault)
        Creates a new instance.
        Parameters:
        serverDefault - the default value for the server setting
        clientDefault - the default value for the client setting
        editorDefault - the default value for the editor setting
    • Method Detail

      • setServer

        public static void setServer​(@NotNull
                                     @NotNull java.lang.CharSequence server)
        Sets the server setting.
        Parameters:
        server - the server setting
      • setClient

        public static void setClient​(@NotNull
                                     @NotNull java.lang.CharSequence client)
        Sets the client setting.
        Parameters:
        client - the client setting
      • setEditor

        public static void setEditor​(@NotNull
                                     @NotNull java.lang.CharSequence editor)
        Sets the editor setting.
        Parameters:
        editor - the editor setting
      • getServer

        @NotNull
        public @NotNull java.lang.String getServer()
        Returns the server setting.
        Returns:
        the server setting
      • getClient

        @NotNull
        public @NotNull java.lang.String getClient()
        Returns the client setting.
        Returns:
        the client setting
      • getEditor

        @NotNull
        public @NotNull java.lang.String getEditor()
        Returns the editor setting.
        Returns:
        the editor setting
      • splitCommand

        @NotNull
        public static @NotNull java.util.List<java.lang.String> splitCommand​(@NotNull
                                                                             @NotNull java.lang.String command)
        Splits a command string into an array.
        Parameters:
        command - the command to split
        Returns:
        the split command string
      • getServerDefault

        @NotNull
        public @NotNull java.lang.String getServerDefault()
        Returns the server setting's default value.
        Returns:
        the server setting's default value
      • getClientDefault

        @NotNull
        public @NotNull java.lang.String getClientDefault()
        Returns the client setting's default value.
        Returns:
        the client setting's default value
      • getEditorDefault

        @NotNull
        public @NotNull java.lang.String getEditorDefault()
        Returns the editor setting's default value.
        Returns:
        the editor setting's default value