标量类型

除枚举和模块化整数之外的所有标量类型定义都可以包括范围约束。

范围约束指定要包括在类型中的值集的下限和上限。对于定点类型，指定范围是强制性的：这些类型的值将被理解为两小部分的倍数，例如 1/2 5 。这些分数越小，表示越精确，代价就可以使用可用比特来表示。

可以给出类型定义的其他方面，例如以位为单位的期望的 Size 和其他表示项。Ada 2012 增加了基于合同的编程方面，如 Static_Predicate。