Compile time validation of programming code
AssigneeInternational Business Machines Corporation
InventorsHoward Mak, Mark Thomas Hamlet Taylor, Graham Bucknell, Clarissa Wisan
Life of this patent
Estimating the term…
Abstract
Validating programming code by providing a data schema including registered data types, identifying a data object as defined according to a registered data type of the schema; and checking attempts to access the data object according to the registered data types of the data schema, at compile time.
Claims20
A computer implemented method for validating programming code at compile time, the method comprising:
- providing a schema, by one or more computer processors, wherein the schema comprises registered data types with associated constraints;
- identifying, by the one or more computer processors, a data object as defined according to a data type of the schema;
- and
- validating, by the one or more computer processors, at compile time, code that attempts to access the data object according to the associated constraints of the data type of the data object.
A computer program product for validating programming code at compile time, the computer program product comprising one or more computer readable storage devices and stored program instructions on the one or more computer readable storage devices, the stored program instructions comprising:
- programmed instructions for providing a schema, wherein the schema comprises registered data types with associated constraints;
- program instructions for identifying a data object as defined according to a data type of the schema;
- and
- program instructions for validating at compile time, code that attempts to access the data object according to the associated constraints of the data type of the data object.
A computer system for validating programming code at compile time, the computer system comprising:
- one or more computer processors;
- one or more computer readable storage devices;
- and
- stored program instructions on the one or more computer readable storage devices for execution by the one or more computer processors, the stored program instructions comprising:
- programmed instructions for providing a schema, wherein the schema comprises registered data types with associated constraints;
- program instructions for identifying a data object as defined according to a data type of the schema;
- and
- program instructions for validating at compile time, code that attempts to access the data object according to the associated constraints of the data type of the data object.
Dependencies are inferred from the claim text.