Package cdc.issues

Class Params

  • All Implemented Interfaces:
    Comparable<Params>

    public final class Params
    extends Object
    implements Comparable<Params>
    Set of effective parameters.

    It is a set of (name, value) pairs.

    Author:
    Damien Carbonne
    • Field Detail

      • NO_PARAMS

        public static final Params NO_PARAMS
    • Method Detail

      • isEmpty

        public boolean isEmpty()
      • getNames

        public Set<String> getNames()
        Returns:
        The parameters names.
      • getSortedNames

        public List<String> getSortedNames()
        Returns:
        The sorted parameters names.
      • getValue

        public String getValue​(String name)
        Returns the value associated to a parameter, or null.
        Parameters:
        name - The parameter name.
        Returns:
        The value of parameter named name.
      • getValue

        public String getValue​(String name,
                               String def)
        Returns the value associated to a parameter, or a default value.
        Parameters:
        name - The parameter name.
        def - The default value.
        Returns:
        The value of parameter named name, or def.
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object