IntProperty constructor

IntProperty(String name, int value, { String ifNull, bool showName: true, String unit, Object defaultValue: kNoDefaultValue, DiagnosticLevel level: DiagnosticLevel.info })

Create a diagnostics property for integers.

The showName and level arguments must not be null.

Implementation 

IntProperty(String name, int value, {
  String ifNull,
  bool showName = true,
  String unit,
  Object defaultValue = kNoDefaultValue,
  DiagnosticLevel level = DiagnosticLevel.info,
}) : assert(showName != null),
     assert(level != null),
     super(
  name,
  value,
  ifNull: ifNull,
  showName: showName,
  unit: unit,
  defaultValue: defaultValue,
  level: level,
);