HoleRuler.fromJson(Map<String, dynamic> json) { radius = json["radius"]; available = json["available"]; edgeDelta = json["edge_delta"]; }