@Override
    public void rotate(double theta, double x, double y) {
    """
	Applies a rotation (anti-clockwise) about {@code (x, y)}.
	
	@param theta  the rotation angle (in radians).
	@param x  the x-coordinate.
	@param y  the y-coordinate.
    """
        translate(x, y);
        rotate(theta);
        translate(-x, -y);
    }
@Override
    public void rotate(double theta, double x, double y) {
        translate(x, y);
        rotate(theta);
        translate(-x, -y);
    }
@ Override public void rotate ( double theta , double x , double y ) { translate ( x , y ) ; rotate ( theta ) ; translate ( - x , - y ) ; }
Applies a rotation (anti-clockwise) about {@code (x, y)}.

@param theta  the rotation angle (in radians).
@param x  the x-coordinate.
@param y  the y-coordinate.
Applies a rotation ( anti - clockwise ) about { @code ( x y ) } .