Adding sypet to repo
[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / geometry / 13 / Solution.java
1 import java.awt.geom.AffineTransform;
2 import java.awt.geom.Area;
3 import java.awt.geom.Point2D;
4
5 public class Solution {
6
7     public static Area rotate(Area arg0, Point2D arg1, double arg2) {
8         double v1 = arg1.getX();
9         double v2 = arg1.getY();
10         AffineTransform v3 = AffineTransform.getRotateInstance(arg2, v1, v2);
11         Area v4 = arg0.createTransformedArea(v3);
12         return v4;
13     }
14
15 }