vdm++ - 序曲错误：名称“BinBuilder（）”不在范围内

Question

我一直在做一本专注于迭代构建整个应用程序的书的练习。在写完四节课后，我正在写第五节课，这是第四节课的测试。但是，Overture 报告“名称 'BinBuilder()' 不在范围内”错误；BinBuilder 是我成功编写的最后一个类。我无法弄清楚这次我在做什么不同。BinBuilder 不是唯一导致问题的类，另外两个也是。因为我不知道出了什么问题，所以我在这里包含了整个事情的链接。谢谢你。

编辑：它链接了从 Overture 导出的 zip 文件，并包含一个显示错误的屏幕截图。

Answer 1

您有以下内容：

builder: BinBuilder := BinBuilder();

但我认为你的意思是：

builder: BinBuilder := new BinBuilder();

“不在范围内”错误意味着“我在范围内找不到该名称的函数或操作调用”。恐怕这不是一个很好的错误信息。Overture 和 VDMJ 使用相同的“不在范围内”消息来表示名称不存在于任何地方以及名称确实存在但在当前范围内不可见的情况。在这种情况下，语法会导致它查找 func/op 调用而不是类名。