Overture error: Name 'BinBuilder()' is not in scope
Overture error: Name 'BinBuilder()' is not in scope
我一直在做一本专注于迭代构建整个应用程序的书的练习。在写了四个 classes 之后，我正在写我的第五个，这是对第四个的测试。但是，Overture 正在报告 "Name 'BinBuilder()' is not in scope" 错误； BinBuilder是我最后一个class写成功的。我不知道这次我在做什么不同。 BinBuilder 不是唯一导致问题的 class，其他两个也是。因为我不知道出了什么问题，所以我在此处对整个内容添加了 link。谢谢。
编辑：它链接了一个从 Overture 导出的 zip 文件，它包括一个显示错误的屏幕截图。
您有以下内容：
builder: BinBuilder := BinBuilder();
但我想你的意思是：
builder: BinBuilder := new BinBuilder();
"not in scope" 错误意味着 "I can't find a function or operation call of that name in scope"。恐怕这不是一个很好的错误信息。 Overture 和 VDMJ 使用相同的 "not in scope" 消息来表示名称在任何地方都不存在以及名称确实存在但在当前范围内不可见的情况。在这种情况下，语法会导致它查找 func/op 调用而不是 class 名称。
我一直在做一本专注于迭代构建整个应用程序的书的练习。在写了四个 classes 之后，我正在写我的第五个，这是对第四个的测试。但是，Overture 正在报告 "Name 'BinBuilder()' is not in scope" 错误； BinBuilder是我最后一个class写成功的。我不知道这次我在做什么不同。 BinBuilder 不是唯一导致问题的 class，其他两个也是。因为我不知道出了什么问题，所以我在此处对整个内容添加了 link。谢谢。
编辑：它链接了一个从 Overture 导出的 zip 文件，它包括一个显示错误的屏幕截图。
您有以下内容：
builder: BinBuilder := BinBuilder();
但我想你的意思是：
builder: BinBuilder := new BinBuilder();
"not in scope" 错误意味着 "I can't find a function or operation call of that name in scope"。恐怕这不是一个很好的错误信息。 Overture 和 VDMJ 使用相同的 "not in scope" 消息来表示名称在任何地方都不存在以及名称确实存在但在当前范围内不可见的情况。在这种情况下，语法会导致它查找 func/op 调用而不是 class 名称。