17、SmallJava 语言的类型检查与验证

最新推荐文章于 2025-12-17 16:56:34 发布

原创最新推荐文章于 2025-12-17 16:56:34 发布 · 26 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#SmallJava #类型检查 #验证规则

Xtext与Xtend实战精要专栏收录该内容

29 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

SmallJava 语言的类型检查与验证

1. 实用方法与语法测试

在 SmallJava 中， SJClass 对象的特征成员包含 SJField 和 SJMethod 实例。为了能根据类型快速选择它们，编写实用方法很有必要。这些方法会作为扩展方法用于其他 Xtend 类，这样就能编写如 c.methods 和 c.fields 这样的表达式。快速访问返回语句的方法在为 DSL 编写单元测试时也很有用。

在编写 DSL 语法规则后，应立即为解析器编写单元测试。下面展示了一些有趣的测试用例，特别是关于表达式结合性的测试，如赋值和成员选择：

import static extension org.junit.Assert.*
@RunWith(XtextRunner)
@InjectWith(SmallJavaInjectorProvider)
class SmallJavaParsingTest {
  @Inject extension ParseHelper<SJProgram>
  @Inject extension SmallJavaModelUtil
  @Test def void testMemberSelectionLeftAssociativity() {
  '''
  class A {
    A m() { return this.m().m(); }
  }
  '''.parse.classes.head.methods.head.