package model;

import java.awt.Color;

import java.awt.geom.Point$2$D;

import java.util.Objects;

$/**$

$*$ Represents a circle.

$*$

$*$

$*$ Invariant:

$*$ myRadius must be greater than zero

$*$ AND myCenter must not be null

$*$ AND myColor must not be null

$*$

$*$ Precondition: The parameters must not violate the class invariant. That is$,$

$*$ theRadius must be greater than zero AND theCenter must not be null AND

$*$ theColor must not be null

$*$

$*$ Precondition: theRadius must be greater than zero

$*$

$*$ Postcondition: this Circle will be assigned the specified radius

$*$

$*$ Precondition: thePoint must not be null

$*$

$*$ Postcondition: this Circle will be assigned the specified center Point

$*$