使用hibernate Spatial criteria - distanceWithin查找圆内的点

import org.hibernate.Session;
import org.hibernate.SessionFactory;
import org.hibernate.cfg.Configuration;
import org.hibernate.query.Query;
import org.hibernate.spatial.CriteriaBuilder;
import org.hibernate.spatial.criterion.SpatialRestrictions;

public class HibernateSpatialExample {
    public static void main(String[] args) {
        // 创建SessionFactory
        SessionFactory sessionFactory = new Configuration().configure().buildSessionFactory();

        // 创建Session
        Session session = sessionFactory.openSession();

        // 创建CriteriaBuilder
        CriteriaBuilder builder = session.getCriteriaBuilder();

        // 创建CriteriaQuery
        CriteriaQuery<Point> query = builder.createQuery(Point.class);

        // 指定查询的实体类和表
        Root<Point> root = query.from(Point.class);

        // 创建Expression对象，计算两个地理空间点之间的距离
        Expression<Double> distance = builder.function("distance", Double.class,
                root.get("location"), builder.literal(createCircle(40.7128, -74.0060, 10)));

        // 创建参数表达式，表示半径
        ParameterExpression<Double> radius = builder.parameter(Double.class);

        // 添加查询条件，使用distanceWithin方法进行筛选
        query.where(builder.distanceWithin(distance, radius));

        // 创建Query对象
        Query<Point> hibernateQuery = session.createQuery(query);

        // 设置参数的值
        hibernateQuery.setParameter(radius, 10.0);

        // 执行查询，并获取结果列表
        List<Point> points = hibernateQuery.getResultList();

        // 输出结果
        for (Point point : points) {
            System.out.println("ID: " + point.getId() + ", Location: " + point.getLocation());
        }

        // 关闭Session和SessionFactory
        session.close();
        sessionFactory.close();
    }

    // 创建圆的方法
    private static Geometry createCircle(double latitude, double longitude, double radius) {
        GeometryFactory factory = new GeometryFactory();
        Coordinate center = new Coordinate(longitude, latitude);
        Point point = factory.createPoint(center);
        return point.buffer(radius);
    }
}