Java 使用OpenJson查询的规范

如何在OpenJson查询中创建一个规范，其中$.code是一个数字列表

"codes": [
  1234,
  12345,
  5542
]

我已经有一个where子句，如果数组中存在值，它可以返回true

and EXISTS( Select * from openjson(table.json, '$.codes') where value = 1234)

我已经创建了这个规范来搜索json中的单个值，但是我不知道如何将上面的查询转换为规范

  private Specification<EntityObject> searchJson(String key, String value) {
    return (Specification<EntityObject>) (root, query, builder) -> builder.equal(builder.function("JSON_VALUE", String.class, root.<String>get("json"), builder.literal("$."+ key)), value);
  }

专用规范searchJson（字符串键、字符串值）{
return（Specification）（root、query、builder）->builder.equal（builder.function（“JSON_VALUE”、String.class、root.get（“JSON”）、builder.literal（“$”+key））、VALUE）；
}