Method for semantic verification of supporting programming artefacts

• US 20030226131A1
• Filed: 10/31/2002
• Published: 12/04/2003
• Est. Priority Date: 05/29/2002
• Status: Abandoned Application

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Li, Jin
• Application Number:
  US10/285,989
• Publication Number:
  US 20030226131A1
• Time in Patent Office: Days
• US Class Current: 717/110
• CPC Class Codes: G06F 8/33 Intelligent editors

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.

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.

2. The method of claim 1 wherein said emphasizing comprises underscoring a display of said supporting programming artefact with a squiggle.

3. The method of claim 2 further comprising, where said editor for program code is displayed in a window in a windowing environment, further emphasizing said supporting programming artefact, where said further emphasizing comprises displaying an icon in a margin of said window displaying said program code.

4. The method of claim 3 wherein said further emphasizing is responsive to a saving of said program code to a source file.

5. The method of claim 3 further comprising:

determining a class of said error in said semantics of said supporting programming artefact;

determining a correspondence between said class of said error and a severity condition; and

assigning a visual appearance to said icon based on said severity condition.

6. The method of claim 5 wherein said class of said error corresponds to a low severity condition and said visual appearance of said icon relates to a warning.

7. The method of claim 5 wherein said class of said error corresponds to a high severity condition and said visual appearance of said icon relates to an error.

8. The method of claim 1 wherein said error in said semantics of said supporting programming artefact is a spelling error.

9. The method of claim 1 wherein said error in said semantics of said supporting programming artefact is a grammatical error.

10. The method of claim 1 wherein said error in said semantics of said supporting programming artefact is a structural error.

11. The method of claim 1 wherein said error in said semantics of said supporting programming artefact is an inconsistency between documentation comments and program code.

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.

16. The method of claim 15 wherein said semantic verification of said supporting programming artefacts comprises:

recognizing said supporting programming artefacts;

verifying semantics of said supporting programming artefacts; and

where said semantics of said supporting programming artefacts are in error, emphasizing a display of said supporting programming artefacts.