exhaustive_cases

Define case clauses for all constants in enum-like classes.

Switching on instances of enum-like classes should be exhaustive.

Enum-like classes are defined as concrete (non-abstract) classes that have:

• only private non-factory constructors
• two or more static const fields whose type is the enclosing class and
• no subclasses of the class in the defining library

DO define case clauses for all constants in enum-like classes.

BAD:

class EnumLike {
  final int i;
  const EnumLike._(this.i);

  static const e = EnumLike._(1);
  static const f = EnumLike._(2);
  static const g = EnumLike._(3);
}

void bad(EnumLike e) {
  // Missing case.
  switch(e) { // LINT
    case EnumLike.e :
      print('e');
      break;
    case EnumLike.f :
      print('f');
      break;
  }
}

GOOD:

class EnumLike {
  final int i;
  const EnumLike._(this.i);

  static const e = EnumLike._(1);
  static const f = EnumLike._(2);
  static const g = EnumLike._(3);
}

void ok(EnumLike e) {
  // All cases covered.
  switch(e) { // OK
    case EnumLike.e :
      print('e');
      break;
    case EnumLike.f :
      print('f');
      break;
    case EnumLike.g :
      print('g');
      break;
  }
}

To enable the exhaustive_cases rule, add exhaustive_cases under linter > rules in your analysis_options.yaml file:

linter:
  rules:
    - exhaustive_cases

If you're instead using the YAML map syntax to configure linter rules, add exhaustive_cases: true under linter > rules:

linter:
  rules:
    exhaustive_cases: true

Unless stated otherwise, the documentation on this site reflects Dart 3.7.0. Page last updated on 2025-01-27. View source or report an issue.