为什么我从gnat 4.4获得“无法识别的属性'结果”？

Question

我的代码中包含以下内容的gnat 4.4.0中出现编译错误，“无法识别的属性'结果”：

   pragma Postcondition ( Kind ( Create_Object'Result ) = String_Type ) ;

我查看了GNAT参考手册（https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Postcondition.html#Pragma-Postcondition）。它说pragma Postcondition是在Ada 2012之前实现的，并且出于兼容性目的而被保留。

我想知道为什么错误以及如何摆脱它。

任何人都可以提供一些指示吗？

感谢。

Answer 1

您必须升级到Ada 2012编译器才能获得'Result属性。