ProblemId

abstract class ProblemId(source)

Represents a unique identifier for a problem definition.

Problem IDs are defined with a name and with group hierarchy. For example, in the domain of Java compilation problems, the id object for unused variable warnings would be:

ProblemId(name: Unused variable, group:
    ProblemGroup(name: Java, parent:
        ProblemGroup(name: Compilation, parent: null)))
Such an id is created from the predefined groups, see getGroups: getGroups().getCompilation().getJava().problemId("Unused variable"). Consumers of problem reports can build a tree representation of problems from the names:
(Problem view)
Compilation
    Java
        Foo.java#L10: unused variable a
        Foo.java#L20: unused variable b

Since

8.13

See also

Functions

Link copied to clipboard
open fun create(name: String, displayName: String, group: ProblemGroup): ProblemId
Creates a new problem id.
Link copied to clipboard
abstract fun getDisplayName(): String
A human-readable label describing the problem ID.
Link copied to clipboard
abstract fun getGroup(): ProblemGroup
The parent group.
Link copied to clipboard
abstract fun getName(): String
The name of the problem.