在 Irony 中定义常量和运算符

Question

我是 Irony 和整个语言实现 shebang 的新手，所以我一直在玩 ExpressionEvaluator 示例，随讽刺来源一起提供，这似乎（几乎）适合我正在从事的项目的需求。

但是，我希望它也支持布尔值，因此我将比较运算符添加到二元运算符列表中，如下所示：

BinOp.Rule = ToTerm("+") | "-" | "*" | "/" | "**"
  | "==" | "<=" | ">=" | "<" | ">" | "!=" | "<>"; // added comparison operators

这是我想要实现的示例：

x = 1
y = 2
eval = x < 2
eval2 = y < x
bool = true
bool2 = (eval == eval2)

由于添加了二元运算符，它成功了在解析上述内容时。但是，当编译并运行代码时，最后两行失败。

1. bool = true 行失败并显示消息：错误：变量 true 未定义。在 (5:8)。 如何将 true 和 false 定义为常量？
2. bool2 = (eval == eval2) 行失败并显示消息：错误：未为 System.Boolean 和 System.Boolean 类型定义运算符“==”。在 (6:15)。

编辑：解决了这两个问题，请参阅下面的答案。

Answer 1

好的，解决了这两个问题。希望这对其他人有帮助。

问题 1

据我从这个讽刺讨论线程中了解到，正确 和 false 常量应被视为预定义的全局变量，而不是直接作为语言的一部分实现。因此，我在创建 ScriptInterpreter 时将它们定义为全局变量。

人们应该意识到，通过这样做，它们可以被脚本修改，因为它们不是常量，而只是全局变量。可能有更好的方法来做到这一点，但现在就这样：

var interpreter = new Irony.Interpreter.ScriptInterpreter(
  new ExpressionEvaluatorGrammar());
interpreter.Globals["true"] = true;
interpreter.Globals["false"] = false;
interpreter.Evaluate(parsedSample);

问题 2

首先， <> 运算符应该位于 < 和 <二元运算符规则中的 code>> 运算符：

BinOp.Rule = ToTerm("+") | "-" | "*" | "/" | "**"
  | "<>" | "==" | "<=" | ">=" | "<" | ">" | "!="; // added comparison operators

接下来，我创建了 LanguageRuntime 类的自定义实现，该类实现了必要的运算符。

public class CustomLanguageRuntime : LanguageRuntime
{
  public CustomLanguageRuntime(LanguageData data)
    : base(data)
  {
  }

  public override void InitOperatorImplementations()
  {
    base.InitOperatorImplementations();
    AddImplementation("<>", typeof(bool), (x, y) => (bool)x != (bool)y);
    AddImplementation("!=", typeof(bool), (x, y) => (bool)x != (bool)y);
    AddImplementation("==", typeof(bool), (x, y) => (bool)x == (bool)y);
  }
}

在 ExpressionEvaluatorGrammar 中，重写 CreateRuntime 方法以返回 CustomLanguageRuntime 的实例：

public override LanguageRuntime CreateRuntime(LanguageData data)
{
  return new CustomLanguageRuntime(data);
}