METHOD FOR SEMANTIC VERIFICATION OF SUPPORTING PROGRAMMING ARTEFACTS

摘要

A semantic verification feature of a programmer editor in a software development tool provides semantic verification of supporting programming artefacts. Suc h supporting programming artefacts include 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.