带注释的国王参考手册/词法元素

定义

带注释的国王参考手册
词法元素

类型

词法元素

项目

每个词法元素都由一系列字符组成，可以是界定符、标识符、保留字、数字文字、字符文字、字符串文字或注释。

编译的文本被划分为行。

分隔符代码点是：16#20#（空格，除非在注释、字符串文字或字符文字中），16#0A#（换行符），16#0D#（回车符）。

基本原理

编译是一系列行，概念上由行结束符终止。King 没有指定编译文本中是否有行结束符以及包含哪些字符。King 预期使用的系统上常见的文本文件格式使用一个或两个字符（CR、LF）作为行结束符，因此这在实践中可能是正确的（如果 King 真的被实现了）。

讨论

-

界定符

单个

&    '    (    )    *    +    ,    -    .    /    :    ;    <    =    >    @    [    ]    |    {    }    ^    \

复合

=> .. <- /= >= <= <>

基本原理

-

讨论

-

标识符

示例

Invalid

V_String

Is_Empty

Latin_1_String

语法

identifier ::= identifier_start {underline identifier_extend}

identifier_start ::= letter_uppercase {letter_uppercase | number_decimal}
                     {letter_lowercase | number_decimal}

identifier_extend ::= identifier_start | number_decimal {letter_uppercase | number_decimal}
                      {letter_lowercase | number_decimal}

一旦按上述方式构建，就会强制执行特定规则（见 TBD）以定义有效的标识符。

基本原理

标识符由下划线分隔的单词组成。有一个初始单词和零个或多个后续单词。初始单词必须以大写字母开头。后续单词可以以大写字母或数字开头。

讨论

-

保留字

列表

所有和

开始主体

情况常数

声明增量数字

否则 elseif 结束退出

对于功能

隐藏

如果在是

循环

宏映射模块

新的并非空

的或者其他输出

过程

范围记录重命名返回反转

选择分开序列设置一些子类型

任务然后类型

使用

等待当与

异或

基本原理

-

讨论

-

数字字面量

示例

通用整数

99

478E70

16#CAFE#

通用实数

3.14

0.0

0.25

16#F.FF#E+2

36#THE_QUICK_BROWN_FOX_JUMPS.OVER_THE_LAZY_DOG#

语法

numeric_literal ::= decimal_literal | based_literal

decimal_literal ::= numeral [.numeral] [exponent]

numeral ::= digit {[underline] digit}

exponent ::= E [+] numeral | E - numeral

digit ::= number_decimal

based_literal ::= base # based_numeral [.based_numeral] # [exponent]

base ::= numeral

based_numeral ::= extended_digit {[underline] extended_digit}

extended_digit ::= digit | letter_uppercase

基本原理

-

讨论

-

字符字面量

示例

'@'

'Δ'

' '

'''

语法

character_literal ::= 'graphic_character'

基本原理

-

讨论

-

字符串字面量

示例

"une soirée passée à étudier les mathématiques ℕ⊂𝕂..." -- Unicode characters

" " -- Space character

"" -- Null string

(参见表达式以获取使用引号构建字符串的示例)

语法

string_literal ::= "{string_element}"

string_element ::= non_quotation_mark_graphic_character

基本原理

-

讨论

-

注释

示例

-- Returns the number of Elements in List

语法

comment ::= --{non_end_of_line_graphic_character}

基本原理

-

讨论

-