What does this semicolon and double dots mean in Flutter?

Question

I am reading some code example online and see this:

class _CirclePainter extends BoxPainter {
  final Paint _paint;
  final double radius;

  _CirclePainter(C