Runtime support for role types that extend underlying types
US12079595B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 29, 2022 |
| Grant date | Sep 3, 2024 |
| Priority date | — |
| Expiry date | Jun 29, 2042 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/315
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Utilizing role types that extend underlying types. Within a program definition, a computer system identifies a statement assigning an object of an underlying type to a role type that extends the underlying type. The underlying type implements a first interface, and the role type implements a second interface. Based on the role type extending the underlying type, the computer system assigns the object of the underlying type to the role type. Based on assigning the object of the underlying type to the role type, the role type is usable to interact with the object of the underlying type using both the first interface and the second interface.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.