带注释的 King 参考手册/定义

字符

King 编译单元是一系列行；一行是一系列Unicode 字符。

一些字符子集被命名为

• letter_lowercase : ASCII 小写字母 a .. z
• letter_uppercase : ASCII 大写字母 A .. Z
• number_decimal : ASCII 数字 0 .. 9
• graphic_character : 任何与关联字符文字相关的字符
• underline : ASCII _

语法符号

King 程序的形式由形式语法和语义规则描述。

选择的正式语法大体上借鉴了 Ada RM 第 1.1.4 节“描述方法和语法符号”。

一个变化是终端符号用粗体表示（而不是用 ' 括起来）。

属性

• 提供对子类型或子类型值的有关基本信息的访问权限：'First、'Position、'range ...
• 提供与子类型相关的基本功能：'Image、'Value、'Finalize ...

方面

方面指定实体的属性：Overflow_Checking、Default_Initial_Condition ...

操作

原始子程序：Length、Is_Empty、Clear ...

基本原理

-

讨论

-