Rotation over a point on a 2D pivot in Java

Question

I’m trying to figure out how to rotate a vector over a point (another vector) as a PIVOT tried on some websites that gave me the following code:

public Vector2 rotate_point(float cx,float cy,float angle,Vector2 p)
{
  float s = (float) Math.sin(angle);
  float c = (float) Math.cos(angle);

  // translate point back to origin:
  p.x-= cx;
  p.y -= cy;

  // rotate point
  float xnew = p.x * c - p.y * s;
  float ynew = p.x * s + p.y * c;


  return p;
}

But I don’t understand what that variable would be Angle float.

Answer 1

This Angle is how many degrees you want to rotate one point with respect to the other. Take a look at that answer here too, teaches a way to do: https://stackoverflow.com/questions/9985473/java-rotate-point-around-another-by-specified-degree-value