17、JR语言扩展与实现全解析

JR语言扩展与实现全解析

1. JR扩展语法概述

JR在Java基础上进行了扩展，增加了额外的语句和类型等。其扩展语法采用类似Java语言规范（JLS）第18章的表示方法，遵循以下约定：
- BNF符号用斜体表示，终结符号（即标记）用Courier字体表示。例如，括号作为BNF符号表示为 ( 和 ) ，作为标记表示为 ( 和 ) 。
- [x] 表示x出现零次或一次。
- {x} 表示x出现零次或多次。
- x|y 表示x或y中的一个。
- 每个规则的多个可选部分放在不同行，行间默认有隐式的 | 。
- 每个规则中定义的非终结符有后缀：
- (JLS) 表示该非终结符在JLS的BNF中已定义，此处规则是对其补充。
- (new) 表示该非终结符在JLS的BNF中未定义，完全在此处定义。

语法方面有一些注意事项：
- 该BNF和JLS的BNF一样具有“覆盖性”，虽允许一些冲突修饰符写法，但语言定义中不允许，会由翻译器检查。例如，JLS的BNF允许 private public int x; ，但实际语言不允许。JR的BNF允许 receive 1; 。
- 调用调用发生在通过调用语句调用操作或作为表达式一部分时，如 f()