width property Null safety

int width
final

Implementation

final int width;