Руководство по Ada (Ada 2022)
1.3.2 Подпрограммы и их свойства
функция
вид подпрограммы, возвращающей результат и вызываемой как часть выражения
переопределяемая операция
операция, заменяющая унаследованную примитивную операцию
Примечание: операции могут быть явно помечены как переопределяемые или не переопределяемые.
пост условие
утверждение, которое ожидается как истинное при нормальном возвращении заданной подпрограммы
пред условие
утверждение, которое ожидается как истинное при вызове заданной подпрограммы
процедура
вид подпрограммы, не возвращающей результат и вызываемой только с помощью оператора
подпрограмма
единица программы, которая может быть запущена в различных контекстах, при вызове являющаяся вызовом подпрограммы, параметризующим эффект подпрограммы путём передачи операндов
Примечание: существуют два вида подпрограмм: функции, возвращающие значения, и процедуры, не возвращающие значения.
