'
字符用于引入属性。
例如Integer'Last
是 type 的最大值, 是 typeInteger
的Float'Digits
小数精度Float
。
语言定义属性的完整列表在 Ada 参考手册的附录 K 中。
它也是限定表达式语法的一部分,例如Some_Type'(expression)
.
除其他外,该.
字符用于引入记录组件名称,例如Obj.Comp
,其中Obj
是记录变量并且Comp
是该记录的组件。
属性由语言或实现定义;定义记录类型时定义组件名称。
撇号也用于分隔字符文字:'x'
.