基于通知的约束集翻译以实现命令性执行

摘要

提供一种方法，该方法基于对每个约束集的可实例化对象的定义将约束集声明翻译成命令性代码序列，在状态修改时插入对通知回调机制的调用，并将约束上下文中的调用定义为命令性代码序列，该命令性代码序列响应于这些回调采取动作以维持这些约束。

主权项

一种将包含约束的输入代码自动翻译成计算机可执行命令性输出程序表示的方法，所述方法包括：提供输入源程序，其中所述输入源程序以另外提供对约束的声明性指定的编程语言来表达，并且所述输入源程序包括根据所述编程语言指定的一个或多个约束；其中所述一个或多个约束中的每一个指定约束数据成员的关系；提供所述约束数据成员中的哪一些是约束输入的标识；为所述约束自动提供约束表示；其中每个所述约束表示包括在实例化时注册输入改变通知的一个或多个相应的约束反应器对象，所述约束反应器对象具有用于强制实施所述约束的命令性过程，并且所述相应的约束反应器对象在所述相应的约束表示的范围内是可访问的；对所述输入源程序的一些或全部程序数据成员的每一个，自动地提供相应的通知代码，以提供改变通知并调整约束表示对输入改变通知的注册，并且其中所述相应的通知代码在所述相应程序数据成员的范围内是可访问的；在所述命令性输出程序表示中实例化所述约束表示，籍此对约束输入的改变自动导致命令性约束驱动的更新；以及将所述命令性输出程序表示作为输出来提供。