序曲错误:姓名' BinBuilder()'不在范围内

时间:2016-02-21 19:26:35

标签: vdm++

我一直在做一本专注于迭代构建整个应用程序的书的练习。写了四节课之后,我写了第五节课,这是对第四节课的考试。但是,Overture正在报道一个" Name' BinBuilder()'不在范围内#34;错误; BinBuilder是我成功写的最后一堂课。我无法弄清楚这次我做的不同。 BinBuilder不是唯一导致问题的类,另外两个也是。由于我不知道什么是错的,我在这里包括link整个事情。谢谢。

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

1 个答案:

答案 0 :(得分:0)

您有以下内容:

builder: BinBuilder := BinBuilder();

但我认为你的意思是:

builder: BinBuilder := new BinBuilder();

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