Providing access to a dataset in a type-safe manner
AssigneeMicrosoft Corporation
InventorsIgor Ostrovsky, John Duffy
Life of this patent
Estimating the term…
Abstract
A method of providing access to a dataset in a type-safe manner includes storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating an ordering of the data elements. Each order key is associated with one of the data elements. An interface to the dataset is generated that is parameterized by an element type parameter and a key type parameter. The interface is configured to provide access to the data elements and the order keys in the dataset in a type-safe manner.
Claims20
A method of providing access to a dataset in a type-safe manner, comprising:
- storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating an ordering of the data elements, each order key associated with one of the data elements;
- and
- generating an interface to the dataset that is parameterized by an element type parameter and a key type parameter, wherein the interface is configured to provide access to the data elements and the order keys in the dataset in a type-safe manner.
The method of claim 2, and further comprising:
- performing an operation configured to operate on the dataset via the interface, wherein the operation is configured to be statically checked by a compiler to verify that accesses to the dataset by the operation are type-safe.
A computer-readable storage medium storing computer-executable instructions for performing a method comprising:
- storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating an ordering of the data elements, each order key associated with one of the data elements;
- and
- generating an interface to the dataset that is parameterized by an element type parameter and a key type parameter, wherein the interface is configured to provide access to the data elements and the order keys in the dataset in a type-safe manner.
A method of providing access to a dataset in a type-safe manner, comprising:
- storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating an ordering of the data elements, each order key associated with one of the data elements;
- generating an interface to the dataset, wherein the dataset is implemented as a generic class that is parameterized by a generic element type parameter and a generic key type parameter, and wherein the interface is configured to provide access to the data elements and the order keys in the dataset in a type-safe manner;
- and
- performing an operation configured to operate on the dataset via the interface, wherein the operation is parameterized by a generic element type parameter and a generic key type parameter and is configured to be statically checked by a compiler to verify that accesses to the dataset by the operation are type-safe.
Dependencies are inferred from the claim text.