Class DevelopmentOptions


  • public final class DevelopmentOptions
    extends Object
    Development options allows to customize development process settings when the development process operation is performed.
    Restriction:
    This class is not intended to be sub-classed by clients.
    Restriction:
    This class is not intended to be instantiated by clients.
    • Constructor Detail

      • DevelopmentOptions

        public DevelopmentOptions()
        Creates an empty instance of DevelopmentOptions.
      • DevelopmentOptions

        public DevelopmentOptions​(String key,
                                  String value)
        Creates an instance of DevelopmentOptions with the single provided option.
        Parameters:
        key - an option key to set, cannot be null
        value - an option value to set, cannot be null
      • DevelopmentOptions

        public DevelopmentOptions​(Map<String,​String> options)
        Creates an instance of DevelopmentOptions with the provided options.
        Parameters:
        options - a map of options to set, cannot be null
    • Method Detail

      • getOptions

        public Map<String,​String> getOptions()
        Returns a map of all development options. Modifying the map does not affect this debug options.
        Returns:
        a map of all development options, never null
      • containsOption

        public boolean containsOption​(String key)
        Returns whether development options contains a development option with the provided key.
        Parameters:
        key - the option key, cannot be null
        Returns:
        whether development options contains a development option with the provided key
      • getOption

        public Optional<String> getOption​(String key)
        Returns a development option with the provided key.
        Parameters:
        key - the option key, cannot be null
        Returns:
        a development option with the provided key
      • setOption

        public void setOption​(String key,
                              String value)
        Sets a development option with the provided key.
        Parameters:
        key - the option key, cannot be null
        value - the option value, cannot be null
      • setOptions

        public void setOptions​(Map<String,​String> options)
        Sets and adds a map of the development options.
        Parameters:
        options - a map of options to set, cannot be null
      • copy

        public DevelopmentOptions copy()
        Creates and returns a new copy of development options.
        Returns:
        a new copy of development options, never null
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object