java - Swagger 没有创建 PATCH API

Question

我在 Spring Boot 中有一个使用 JpaRepository 的简单 API：

public interface UserRepository extends JpaRepository<User, Long> {...}

我可以使用POSTAPI 创建用户：

curl localhost:8080/users -i -X POST -H "Content-Type:application/json" -d '{"firstName": "Alik", "lastName": "Elzin", "username": "kilaka"}'

我还可以使用 PATCH 更新用户的字段之一：

curl localhost:8080/users/1 -i -X PATCH -H "Content-Type:application/json" -d '{"firstName": "Alikuki"}'

招摇配置：

@Configuration
public class SwaggerConfig {
    @Bean
    public Docket api() {
        return new Docket(DocumentationType.SWAGGER_2)
                .select()
                .apis(RequestHandlerSelectors.any())
                .paths(PathSelectors.any())
                .build();
    }
}

当使用 swagger 将 API 创建为 UI 时，我看到了该POST选项和一个PUT选项，但没有看到有效的PATCHAPI。请参阅下面的截图。

知道如何让 swagger 生成 PATCH API吗？