[发明专利]基于动态集合属性的计算机编程语言方法

权利要求书

1.一种自动地将输入代码翻译成计算机可执行输出程序表示的方法，所述方法包括：

提供输入源程序，其中所述输入源程序是以提供动态集合属性(DCA)的语言来表达的，并且其中所述动态集合属性是能够在运行时具有可变数目的被索引成员的数据元素；

其中所述DCA具有由所述DCA的所述被索引成员的类型决定的成员-类型特性，并且其中所述语言进一步提供对所述DCA的异于所述成员-类型特性的集体特性的指定；

其中所述输入源程序包括具有指定的集体特性的一个或更多个DCA实例，并且包括涉及所述一个或更多个DCA实例的一个或更多个表达式；

根据所述指定的集体特性来自动地将所述表达式翻译成相应的计算机可执行表达式表示；

将所述表达式表示包括在所述计算机可执行输出程序表示中；以及

提供所述计算机可执行输出程序表示作为输出。

2.如权利要求1所述的方法，其特征在于，所述DCA实例中的一个或更多个DCA实例是由应用定义的类型的属性，并且由此是可实例化范围的组件。

3.如权利要求2所述的方法，其特征在于，为所述由应用定义的类型自动地提供了一个或更多个辅助类型和操作符。

4.如权利要求1所述的方法，其特征在于，所述集体特性包括选自下组的一个或更多个特性：索引指定、索引唯一性、索引管理模式、默认索引值、侵入性、排序、数据结构实现、访问失败时的行为、属性改变时的迭代器行为、更新时的幂等性、实例化、事务性、并发安全性、删除时的异常、在最后外部引用时的删除、与类型-范围语义的关系、与其他属性的约束关系、以及对状态变化的反应。

5.如权利要求1所述的方法，其特征在于，所述表达式表示包括对选自下组的一个或更多个原语DCA规程的调用：访问器、转变器、删除规程、和迭代器实例化规程。

6.如权利要求5所述的方法，其特征在于，所述访问器是幂零的、无异常的、且事务性的。

7.如权利要求5所述的方法，其特征在于，所述转变器是幂等的且事务性的，并且其中当且仅当所尝试的改变失败时所述转变器才抛出异常。

8.如权利要求1所述的方法，其特征在于，进一步包括根据所述集体特性来将所述表达式中的一个或更多个表达式中的每个表达式映射到一个或更多个符合集体特性的关系，其中所述关系中的每个关系提供管控所述表达式表示的模板。

9.如权利要求1所述的方法，其特征在于，所述表达式中的一个或更多个表达式具有声明性语义。

10.如权利要求1所述的方法，其特征在于，所述具有指定的集体特性的DCA实例中的一个或更多个DCA实例是从具有指定的集体特性的一个或更多个其他DCA派生的。

11.如权利要求1所述的方法，其特征在于，所述具有指定的集体特性的DCA实例中的一个或更多个DCA实例提供用于收听者模式的普适实现的回调接口。

12.如权利要求1所述的方法，其特征在于，所述具有指定的集体特性的DCA实例中的一个或更多个DCA实例包括对一个或更多个子类型和/或子DCA的范围内声明。