摘要 |
Support for dynamic behavior is specified while reducing reliance on JIT compilation and large runtimes; semantic characteristics are selectively attached to types and type members outside source code. A directives document contains human-readable directives in a parsable format for submission to an innovative compiler. The directives specify whether a type T or type member M is required, optional, or prohibited in a runtime environment. Some reference an application, library, assembly, or namespace group, and others reference group components: type, type instantiation, method, method instantiation, field, property, or event. Some directives force a generic instantiation. Some directives indirectly reference a type through a parameter, type parameter, or generic directive. Some directives reference degrees to manage runtime activation of type instances, runtime introspection over types, reflection, and/or runtime or static serialization. Degrees may enable or disable types, instance constructors, property setters, property getters, fields, or all type members. Directives may be composed. |
主权项 |
1. A management process performed by a processor for managing runtime behavior characteristics of types and type members of a computer program in an environment, the computer program having a source code which is written in at least one data-typed programming language, the process comprising the steps of:
a management process executed by the processor obtaining from at least one digital storage device a directives document containing human-readable directives which are not interleaved with the computer program source code; and the management process executed by the processor inspecting the directives document for directives, which are in a human-readable format that is also parsable by software, and which include a plurality of runtime behavior characteristic directives selected from the following:
directives which specify that a type T of the computer program source code is a required type, an optional type, or a prohibited type in the environment,directives which specify that a type member M of the computer program source code is a required type member, an optional type member, or a prohibited type member in the environment, anddirectives which specify that a degree D is enabled or disabled for a type T or a type member M in the environment. |