问题标签 [evaluator]

我正在编写一个自定义评估器，我想在其中自动装配另一个 bean。我无法这样做，因为评估器由记录器初始化，而 bean 由弹簧上下文初始化。以下是我的代码示例：

在 logback-spring.xml 中：

我的自定义评估器：

我将 MyService 的对象始终设为 null（这是预期的）。有什么解决方法吗？

我的问题很简单，是否可以将多个评估器与 OR 条件链接到一个操作？

例如，我想用一些评估器定义一个动作，但不是将它们链接在 AND 条件中，我希望如果 eval1 OR activeWorkflows 为真，最终结果将为真。

我知道我可以编写一个新的 java 评估器，它可以将单个结果与任何想要的条件结合起来，但我想知道是否有一种方法可以通过 xml 配置来获得唯一的结果。

谢谢

我正在研究元循环评估器，并且正在尝试添加原始程序。我差不多完成了，除了我不确定如何添加错误。这是我到目前为止所拥有的：

到目前为止，这有效。我尝试添加(list '(error) (error "Metacircular Interpreter Aborted"))错误，但它显然不起作用......我该怎么做？

谢谢！

BLUF：我有一个谓词，它将一个签名的实例和一组相同签名的实例作为参数。在生成模型的实例时，我想将签名的实例传递给谓词，但是如果可能的话，我不知道如何传递一组实例。

Alloy 的 Evaluator 似乎没有很好的记录，除非我错过了它。我有 Daniel Jackson 的书，完成了教程，并在网上找到了各种其他资源，但似乎没有人真正解决如何使用 Evaluator。

我试过这样的符号：

myPred[instance$0,set(instance$1,instance$2)] 和

myPred[instance$0,set[instance$1,instance$2]] 和

myPred[instance$0,(instance$1,instance$2)] 和

myPred[instance$0,[instance$1,instance$2]]

评估员不喜欢其中任何一个。是否可以传递一组实例？如果是这样，我该怎么做？谢谢您的帮助！

从概念上讲，我理解成功和失败延续回调在整个过程中所起的作用。似乎成功延续有点“沉沦”并推动事情向前发展，而失败延续则从底部“弹出”（最新的 amb 表达式）并具有后进（找到）先出（称为）议程的效果（堆）。引人注目的是，失败回调神奇地作为成功回调的第二个参数结束！我的意思是，他们显然走的是不同的道路，以及最初是如何设计这样的东西的。然后，当涉及到解释上下文时，我发现很难一步一步地遵循这个过程。例如：

还有其他方法可以在书中实现这个amb评估器吗？

我一直在尝试使用 vs-code- 和 notepad++ 插件、chrome devtools 和无数在线 xPath 评估工具来评估一大块 xml 行，这些行会引发不同类型的异常，例如调用堆栈大小、范围错误、内存等，或者程序崩溃等不幸。

您建议哪种XPath 评估器工具可以毫无问题地处理大量行？

我正在开发一个表达式评估器。对于包含多个幂运算符的表达式，哪个关联被认为是正确的？例如，对于表达式"10-2^2^0.5":"10-(2^2) ^0.5"= 8或"10-2^ (2^0.5)" = 7.33485585731?

作为标题，我正在尝试将诸如“3x+4/0.5”之类的普通数学表达式转换为“乳胶形式”。如果有任何我可以用于反应原生或其他语言的包，你们能推荐我吗？谢谢

我有一个任务，我需要将一个从右到左的求值程序转换为一个从左到右的求值程序（也让它要求你用 Y/N 提示来评估多个表达式）。我需要对程序进行一些更改，例如

1. 允许数字和运算符之间有空格
2. 负数应该有一个减号，后面紧跟一个数字或小数点；此外，负数通常应该用括号括起来。（这与使用下划线表示否定的旧程序不同）
3. 应该允许取幂，具有最高优先级。
4. 评价应该从左到右。这是主要变化。A) 必须重写 formNum() 方法，以便在遇到数字的最左边数字或前导小数点时从左到右扫描。当然，由于您是从左到右扫描，因此必须调整从连续数字构建双精度值的方法 - 尝试一些示例以发现正确的方法。B) evaluator() 方法也必须调整为从左到右扫描。有几个变化： i) 当遇到左括号时，它总是被压入堆栈 A，除非它发出负数信号（如 5+ (-13.4) +2）。在这种情况下，应该调用 formNum() 来计算负数并将其作为双精度数推送到 B 上，并且应该跳过相应的右括号。ii) 当遇到右括号（但不是负数的右端）时，它会触发对 evalDown() 的调用，以评估带括号的子表达式中的操作，直到到达相应的左括号。左括号也从 A 中弹出。 iii) 当当前令牌运算符的优先级等于堆栈顶部的运算符时，不要压入令牌。相反，使用 eval() 在 A 堆栈顶部执行操作，然后将当前令牌运算符与 A 堆栈的新顶部进行比较。例子。假设我们有 3.0 / 2.0 * 4.0 。我们将 3 推到 B 上，将 / 推到 A 上，然后将 2 推到 B 上。如果我们（错误地）将 * 推到 A 上（它与 / 具有相同的优先级），然后将 4 推到 B 上，我们将先计算 2 * 4，然后再计算 3/ 8.. 相反，我们应该先计算 3./2 并推入 1.5，然后再计算 1.5 * 4 = 6.0。

考虑到这一点，这里是旧程序文件//我已将旧程序文件放在 pastebin 链接中，以使可读性更容易一些。

表达式评估器.java https://pastebin.com/QkKdU6dh

ExprEvaluatorTest.java https://pastebin.com/3UqqLsvr

Stack1gen.java https://pastebin.com/KW4Pz9Pt

这是我对新程序的尝试。

LR.java

LRTest.java

和 Stack1gen.java // 编辑：不小心为这个类输入了错误的代码

当我运行 LRtest.java 并输入 y 时，我得到一个 StringIndexOutOfBoundsException ，它指向 evaluator() 的开头。我不知道出了什么问题。如果有人可以帮助我，将不胜感激。