20、代码生成器的全局约束与测试

代码生成器的全局约束与测试

1. 代码生成器的全局约束

在代码生成过程中，检查某个属性是否在特定阶段成立是约束中常见的部分。公式图 2.2 定义了一个简单模式，可通过层次结构方便使用。它是一个不完整的公式图，定义了以下插槽：
- 一个用于标识所需阶段的原子命题，实现为名为“Phase”的模型参数。
- 一个描述在特定阶段预期成立属性的（子）公式，实现为名为“Argument”的模型分支（由虚线箭头表示）。

通过宏，这个简单模式被嵌入到公式图 2.1 中，以在约束的相应部分识别初始化和生成阶段。这不仅展示了公式图的可重用性，还表明使用层次结构和模式可以提高约束规范的简洁性。

1.1 派生模式与组合约束

许多代码生成器的需求会导致结构相似的约束，因此可以从相应公式图的结构相似性中派生新的模式。例如，Genesys 库中有一个复杂的约束，要求对作为代码生成器输入的所有 SLG 组件进行全面检查，以确保在从分层 SLG 生成代码时不会丢失或遗忘任何信息。

基于此，出现了一个名为“Handle By”的新模式，它部分基于“Precedence”，属于 Dwyer 等人的“Order patterns”类别。该模式的意图是描述在某些条件下一对事件/状态之间的因果关系，即在某些条件下，第一个事件（原因）的发生必须由第二个事件（结果）的发生来处理。

目前，该模式仅存在“before”范围，文本形式为“Handle every A by P before Q”。其公式图是一个不完整的公式图，包含一个模型分支“P”和三个模型参数“A”、“Q”和“conditions”。其中，“A”和“Q”只能由原子命题填充，不过公式图可以轻松调