JPA Repository 中的 DateGreaterThanEqual 和 DateIsGreaterThanEqual 有什么区别？

Question

I'm trying to get all the Reservations for a user with username that are after the current date or equal the current date

Do I need to use:

List<Reservation> findReservationsByUsernameAndDateGreaterThanEqual(String username, Date date);

OR

List<Reservation> findReservationsByUsernameAndDateIsGreaterThanEqual(String username, Date date);

What is the difference between them?

Answer 1

The difference is literally the Is part. Functionally they are the same.

You can find this information in https://docs.spring.io/spring-data/jpa/docs/current/reference/html/#repository-query-keywords

Or if you prefer the source code you should take a look at org.springframework.data.repository.query.parser.Part.Type