README.TXT SUPPORT FOR COMPILABLE ASSERTIONS IN ADA ======================================== THIS DIRECTORY CONTAINS THE FOLLOWING FILES: README.TXT ! this file ADA_EDIT_ASSERTIONS.LSE ! documented source code to support assertion ! coding conventions with modified Ada Token ! and Placeholder templates for DEC Language ! Sensitive Editor (LSE) *** ADA_EDIT_ASSERTIONS.TPU ! documented source code augmenting DEC ! Extensible VAX Editor (EVE) to support ! checking/expanding Ada source code before ! compilation to meet Ada assertion conventions ! *** CHECK_.ADA ! source code for specification of CHECK ! package which enables run time checking of ! assertions. CHECK.ADA ! source code for body of CHECK package NOCHECK_.ADA ! source code for specification of NOCHECK ! package which disables run time checking of ! assertions NOCHECK.ADA ! source code for body of NOCHECK package LOGIN.COM ! sample LOGIN file, illustrating commands ! necessary to use assertion support ADA_INIT.EVE ! sample initialization file for EVE SAMPLE.ADA ! sample Ada procedure with assertions in ! abbreviated form SAMPLE_EXPANDED.ADA ! sample Ada procedure with assertions as ! expanded by augmented EVE in accordance ! with assertion coding conventions REPORT.TXT ! Report on the need for compilable ! assertions, Ada packages supporting them, ! coding conventions, and tools which ! support these conventions *** NOTE: These two files contain their respective installation and usage documentation as comments.