Inspectopedia Help

Exhaustiveness check for switch expressions

Reports switch expressions that do not cover all possible outcomes of the matched expression.

Groovy does not require that switch expression must be exhaustive. It acts as if an implicit default -> null branch is inserted. It may cause unexpected nulls if a developer forgets to insert necessary case branches.

Example:

enum A { X, Y } def foo(A a) { def x = switch (a) { // reports switch case A.X -> ... } }

Inspection options

Here you can find the description of settings available for the Exhaustiveness check for switch expressions inspection, and the reference of their default values.

Report unmatched 'null'

Not selected

Inspection Details

By default bundled with:

IntelliJ IDEA 2024.1, Qodana for JVM 2024.1,

Can be installed with plugin:

Groovy, 241.16690

Last modified: 29 April 2024