Package cdc.issues

Class FormalParams

java.lang.Object
cdc.issues.FormalParams
public final class FormalParams extends Object
Formal parameters.

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

Author:
Damien Carbonne

  • Field Details

  • Method Details

    • isEmpty

      public boolean isEmpty()

    • getNames

      public Set<String> getNames()
      Returns:
      The parameter names.

    • getSortedNames

      public List<String> getSortedNames()
      Returns:
      The sorted parameter names.

    • getDescription

      public String getDescription(String name)
      Parameters:
      name - The parameter name.
      Returns:
      The description of parameter named name.

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object object)
      Overrides:
      equals in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • builder

      public static FormalParams.Builder builder()
      Returns:
      A new FormalParams.Builder of FormalParams.