From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=BAYES_50,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cd5c71f09395807a X-Google-Attributes: gid103376,public From: "Adrian P. Morgan" Subject: Re: Assertions in Ada Date: 1997/08/27 Message-ID: <34036C83.4AA6@ist.flinders.edu.au>#1/1 X-Deja-AN: 269179864 References: <199708251351.PAA13197@basement.replay.com> Organization: Flinders University Newsgroups: comp.lang.ada Date: 1997-08-27T00:00:00+00:00 List-Id: I'm only a student, so I might be talking utter rubbish, but I find all this rather interesting so here goes... As an alternative to using a pragma as an assertion mechanism, would it be possible to add new attributes to subprograms such as 'Precondition? Then we could say, for P'Precondition use Boolean_Expression; for P'Postcondition use Boolean_Expression; for P'Time_Constraint use 3.0; -- alternative to select then abort If only to aid my personal understanding of what assertions are all about (IIUC they are a mechanism for conditionalising the execution of a subprogram from within the specification), I would appreciate mailed comments on the above. -- _____________________________________________ / Adrian Morgan \ ===============================================---------------------- | Studies: 2nd year BSc(Computing) at Flinders University in 1997 | | Residence: Bible College of South Australia residential community | | Interests: Science, Theology, Programming, SF, Comedy, Music, etc | | Mail: Welcome | ---------------------------------------------------------------------