Interface ProblemId


  • @Incubating
    public interface ProblemId
    Represents an identifier for a problem definition.

    Two problem IDs are considered equal if their getName() and their groups are equal.

    Since:
    8.8
    • Method Detail

      • getName

        java.lang.String getName()
        The name of the problem.
        Since:
        8.8
      • getDisplayName

        java.lang.String getDisplayName()
        A human-readable label describing the problem ID.
        Since:
        8.8
      • getGroup

        ProblemGroup getGroup()
        The parent group.
        Since:
        8.8