Method for semantic verification of supporting programming artefacts
First Claim
Patent Images
1. A method of providing a semantic verification feature in an editor for program code comprising:
- recognizing a supporting programming artefact;
verifying semantics of said supporting programming artefact; and
where said semantics of said supporting programming artefact are in error, emphasizing a display of said supporting programming artefact.
1 Assignment
0 Petitions
Accused Products
Abstract
A semantic verification feature of a programmer editor in a software development tool provides semantic verification of supporting programming artefacts. Such supporting programming artefacts program documentation and output messages. The semantic verification may include spell-checking, grammar checking and checking that the supporting programming artefacts adhere to company policies related to format and structure. Additionally, the feature may isolate and identify an inconsistency between documentation comments and program code.
48 Citations
16 Claims
-
1. A method of providing a semantic verification feature in an editor for program code comprising:
-
recognizing a supporting programming artefact;
verifying semantics of said supporting programming artefact; and
where said semantics of said supporting programming artefact are in error, emphasizing a display of said supporting programming artefact. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A software development tool comprising a program code editor with a semantic verification feature operable to:
-
recognize a supporting programming artefact;
verify semantics of said supporting programming artefact; and
where said semantics of said supporting programming artefact are in error, emphasize a display of said supporting programming artefact.
-
-
13. A system for software development comprising a processor adapted to:
-
recognize a supporting programming artefact;
verify semantics of said supporting programming artefact; and
where said semantics of said supporting programming artefact are in error, emphasize a display of said supporting programming artefact.
-
-
14. A computer readable medium containing computer-executable instructions which, when performed by a processor in a computer system for software development, cause the computer system to:
present a program code editor having a semantic verification feature operable to;
recognize a supporting programming artefact;
verify semantics of said supporting programming artefact; and
where said semantics of said supporting programming artefact are in error, emphasize a display of said supporting programming artefact.
-
15. A method of operating a program code editor comprising:
-
receiving an instruction to save a text file containing program code and supporting programming artefacts; and
responsive to receiving said instruction, initiating a semantic verification of said supporting programming artefacts. - View Dependent Claims (16)
-
Specification