问题标签 [predicates]

我有一个包含一组元素的数组。我需要通过使用 java 中断言的番石榴比较特定字段来找到该数组中的重复元素。

例如：
我有一个包含一组员工详细信息的数组列表。我需要找到同名员工的详细信息。

我想对集合进行分组，但我不希望聚合包含一些值。最好的解决方案是什么？

解决方案可能是收集器filtering(Predicate,Collector)，但没有这样的收集器。有没有办法在不实现自己的收集器的情况下做到这一点？

我正在尝试检查以下模型中的 verifyingUndefinedFields 断言：

所呈现的模型又使用了另一个模型：law6_withStaticSemantic。下面是这个模型的一个非常简化的版本：

第二个模型（law6_withStaticSemantic）根据定义的谓词生成实例。但是，当我在第一个模型中运行断言时，生成的反例不遵循第二个模型的谓词中定义的条件。考虑到先前模型的谓词，我如何构建/运行将检查反例的断言？

之前在以下问题中更详细地解释了这些模型：

如何在 Alloy 中构建递归谓词/函数

通过传递闭包以递归方式使用 Alloy 函数

我正在尝试使用 Ransack 进行搜索，但是当我尝试搜索 id 和字符串时遇到问题，例如

:id_or_title_or_user_username_cont

它产生错误

ActionView::Template::Error (PG::UndefinedFunction: ERROR: operator does not exist: integer ~~* integer

我也试过这个

:id_eq_or_title_or_user_username_cont

它产生以下错误

Ransack::Search 的未定义方法 `id_eq_or_title_or_user_username_cont'

除了自定义谓词或自定义谓词之外，使用 ransack 一起搜索 id 和字符串的适当方法是什么？

我有下表：

我想用以下规则形成一个查询：获取 product1，其中 Type 不是 type1 也不是 type2，Flavor 不是 flavor1。

类型可以是 type1、type 2 或 null。

我形成了这样的查询：

问题是这个查询什么也没返回……我错过了什么吗？请注意，我的问题是指逻辑而不是语法，因为语法是通过形成返回一些虚拟结果的更简单查询来检查的。谢谢！

我有一个包含元素列表的实体，现在我想搜索这些元素的属性。这个约束应该是“和”连接的。请看这些简单的例子：

现在我想在某个城市找到父母，让我们说“BigCity”和学校“AwesomeSchool”的孩子，他们在班级/第 6 年。我只想通过 CriteriaBuilder 获得搜索结果。

到目前为止，我得到了：

不幸的是，这里有两个问题： - 看起来我无法调用get("school")列表属性 - 这将返回所有有孩子的父母，这些孩子要么在“AwesomeSchool”，要么在学校里 6 年。

你能帮我吗？我考虑过使用连接，但同样的问题是：如何定义where连接的部分，以便它认为必须同时满足两个属性（学校和 yearInSchool）。我发现了关于查询其孩子满足一个条件的对象的类似帖子 - 但这里的孩子必须同时满足两个条件。

更新 1 如果我使用一个连接来断言例如一个孩子的“学校”，我到目前为止关于谓词：

我怎样才能重用这个连接的对象来断言也适用于第二个过滤条件？

我有一个名为 schedule 的实体，它有很多警报（其他实体），我只想获得未来警报少于 30 个的时间表。到处搜索我得到那个不起作用的查询/：

（在运行时（lldb）出现在控制台上并指定该变量的初始化）

我想在我的 java spring boot 应用程序中创建一个搜索，并且我正在使用“Spring Data JPA”规范。我想知道如何在“Spring Data jpa”规范中使用多个谓词。这里是我参考的示例。

我想使用谓词指令将此代码转换为汇编

这是正确的还是我如何使用跳转？

我正在尝试创建一个Expression<Func<T, TKey>>forIQueryable<T>.OrderByDescending()

这是在我的基类中FindLast，我发现它LastOrDefault不起作用，因此OrderByDescending.FirstOrDefault是必要的。但是，如上所述，它是一个基类，按方法排序是主键，所以它必须是tableName + "PK"

这是到目前为止的代码：