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(
  String name,
  int? value, {
  String? ifNull,
  bool showName = true,
  String? unit,
  Object? defaultValue = kNoDefaultValue,
  DiagnosticsTreeStyle style = DiagnosticsTreeStyle.singleLine,
  DiagnosticLevel level = DiagnosticLevel.info,
}) : assert(showName != null),
     assert(level != null),
     assert(style != null),
     super(
  name,
  value,
  ifNull: ifNull,
  showName: showName,
  unit: unit,
  defaultValue: defaultValue,
  style: style,
  level: level,
);