Package cdc.issues

Interface FormalParams

All Known Implementing Classes:
FormalParamsImpl
public interface FormalParams
Formal parameters.

It is a set of FormalParams. There can be at most one parameter with a given name.

Author:
Damien Carbonne

  • Field Details

  • Method Details

    • isEmpty

      boolean isEmpty()
      Returns:
      true if there are no parameters.

    • getNames

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

    • getSortedNames

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

    • getSortedParams

      List<FormalParam> getSortedParams()
      Returns:
      The sorted parameters.

    • getParam

      FormalParam getParam(String name)
      Parameters:
      name - The parameter name.
      Returns:
      The parameter named name.
      Throws:
      IllegalArgumentException - When name is not a valid parameter name.

    • getDescription

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

    • builder

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