Ada 有没有办法在执行过程中终止程序?

Ada 有没有办法在执行过程中终止程序?,ada,Ada,例如,在c中,您可以说have a condition,如果不满足该条件,您可以返回(0);这将终止该计划 在Ada有没有办法做到这一点 在C中,应该调用exit()函数 但在调查你的工作时,我发现了一些关于你的信息 如果出现某种情况 中止任务(当前任务); 如果结束 如果可以使用GNAT,请尝试GNAT.OS_Lib.OS_Exit(1) 这将使用给定的退出代码终止程序 但是,如果您想要一些最终结果,请尝试GNAT.OS_Lib.OS_Abort在C中,返回0(括号不是必需的)仅当程序位于ma

例如,在c中,您可以说have a condition,如果不满足该条件,您可以返回(0);这将终止该计划

在Ada有没有办法做到这一点

在C中,应该调用exit()函数

但在调查你的工作时,我发现了一些关于你的信息

如果出现某种情况
中止任务(当前任务);
如果结束


如果可以使用GNAT,请尝试
GNAT.OS_Lib.OS_Exit(1)
这将使用给定的退出代码终止程序


但是,如果您想要一些最终结果,请尝试
GNAT.OS_Lib.OS_Abort

在C中,
返回0
(括号不是必需的)仅当程序位于
main
函数中时才终止程序。否则,它只会从当前函数返回到调用方——就像Ada中的
return
语句一样。C的
exit()。你在问Ada是否有与C的
exit()
函数等价的东西。可能是@KeithThompson的重复。是的,对不起,这就是我的意思,我想知道在Ada中exit()等价的东西是什么。只是为了挑剔,它是“Ada”,而不是“Ada”。(这不是首字母缩略词,它是以一个人的名字命名的。)还有我做了以下中止任务的副本(我主要程序的名称);并获得以下错误“预期私有类型”Ada.Task\u Identification.Task\u Id”和“找到过程名称而不是函数”@Newbie:您需要获取与当前任务对应的
Task\u Id
值(与当前执行的过程不同).等等,你是说我需要为我的主过程(程序)创建一个任务id,这将终止它?你还知道是否有一个简单的函数或东西可以获取该任务id吗?Ada的任务是对象,所以你需要传递一个自任务(对象)来终止进程(?)…我不确定我对Ada不太熟悉我刚开始学习它。我只是想知道是否有任何方法可以使用某个命令将程序退出到终端。例如,在C中,可以使用exit()。