Static inheritance systems and methods
AssigneeMicrosoft Corporation
InventorsHenricus Meijer, Sergey Dubinets, Yan Leshinsky, Evgeny Veselov
Life of this patent
Estimating the term…
Loading patent…
AssigneeMicrosoft Corporation
InventorsHenricus Meijer, Sergey Dubinets, Yan Leshinsky, Evgeny Veselov
Estimating the term…
The subject invention pertains to a system and method of extending programming languages to enable static inheritance. In particular, static subclasses can be defined which extend class functionality and/or behaviors without extending base class state. The subclasses can be specified to include static fields as well as static or instance methods and/or properties that provide a more specific interpretation of an object without extending the state thereof. Furthermore, a static subclass can be specified to provide for type aliasing. Casting is also enabled in both directions between base class type and derived class type in a convenient manner without run-time performance penalties. According to one aspect of the invention, the disclosed systems and methods can be employed to create specific programmatic context, for instance for accessing, manipulating, and type checking external data (e.g., XML).
A class extension system comprising:
A class extension system comprising:
A data interaction system comprising:
A class extension system comprising:
A computer readable medium having stored thereon data structures comprising:
A type check system for extended classes comprising:
A class extension method comprising:
A method of extending a programming language to support XML data queries for particular schemas comprising:
Dependencies are inferred from the claim text.