Ada核心库

时间:2012-03-29 08:55:15

标签: ada

我可以获取核心Ada库的源代码吗?

我希望看到Text_IO.Get_Imediate的实现以及其他一些功能。

3 个答案:

答案 0 :(得分:2)

这取决于您使用的编译器。有些是开源的,有些则不是。

如果你使用GNAT:是的,你可以。从软件包存储库下载/安装源软件包,或者从他们的libre页面上的AdaCore下载它:http://libre.adacore.com

答案 1 :(得分:2)

如果你正在使用AdaCore的GNAT GPL发行版之一,并使用GPS进行编辑,你只需右键单击一个包或子程序,然后选择“转到......的正文”,它就会向右导航它。

答案 2 :(得分:2)

如果您使用的是linux / unix类型的系统,ada libs可能会在以下某个地方:

/usr/lib/gcc/x86_64-linux-gnu/4.4/adainclude/

注意:此处的文件名不使用文件名/包关联的标准规则,并且有许多重命名等,因此您可能需要挖掘很多才能找到您真正想要的内容。