IntProperty constructor Null safety

IntProperty(
  1. String name,
  2. int? value,
  3. {String? ifNull,
  4. bool showName = true,
  5. String? unit,
  6. Object? defaultValue = kNoDefaultValue,
  7. DiagnosticsTreeStyle style = DiagnosticsTreeStyle.singleLine,
  8. DiagnosticLevel level = DiagnosticLevel.info}
)

Create a diagnostics property for integers.

The showName, style, and level arguments must not be null.

Implementation

IntProperty(
  super.name,
  super.value, {
  super.ifNull,
  super.showName,
  super.unit,
  super.defaultValue,
  super.style,
  super.level,
}) : assert(showName != null),
     assert(level != null),
     assert(style != null);