动态运行时间环境中使用标签化类型的系统和方法

摘要

本发明涉及促进在受管理的代码环境中动态编程语言执行的系统和方法。提供了类组件，它宣称一个继承层次，用于一个或多个关联于动态编程语言的标签化值。在标签化值的执行期间，规则组件减轻了从标签化值继承或导出属性的用户定义类型，以便支持类型安全运行时间环境。提供了分叉的类树，它在树的一边定义了非标签化类型元素，而标签化类型元素值定义在树的另一分支上。规则组件分析运行时间扩展，所述扩展帮助防止来自树的一个组件的数据从树的另一组件导出或继承属性。运行时间扩展包括这样的方面，如强制转换类扩展、测试类扩展、和用于将数据类型从一个类子类型转换成另一个的类子类型的转换类扩展。

主权项

1. 促进在受管理的对象环境中动态代码的执行的系统，包括：用于宣称一继承层次结构的装置，所述继承层次结构用于一个或多个与动态编程语言相关联的标签化值；以及用于执行防止用户定义的类型继承标签化值的规则的装置；其中所述继承层次结构包括代表不透明的、自然大小值的抽象根类型；其中所述规则包括元数据确认规则，以促使用户定义类型不从抽象根类型和标签化值导出。