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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public From: mheaney@ni.net (Matthew Heaney) Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/08 Message-ID: #1/1 X-Deja-AN: 270864514 References: <33E9ADE9.4709@flash.net> <5upe9k$7he@newshub.atmnet.net> <5utag9$o6s@newshub.atmnet.net> <5v1gua$fkk@newshub.atmnet.net> Organization: Estormza Software Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-09-08T00:00:00+00:00 List-Id: In article <5v1gua$fkk@newshub.atmnet.net>, dnew@zloty.fv.com (Darren New) wrote: >Actually (following up on my own post) how does a traditional CM tool >make sure the Ada body matches the interface file? Does it actually >run some external tool at checkin time to make sure the equivalence >hasn't been broken? I mean, if I edit the return type of a function >in the body and not the spec in Ada, how does the CM tool know it won't >compile next time someone checks it out? The CM tool doesn't know anything about whether the body matches the spec; it's the compiler that does. When you compile the body, the compiler will tell you if the body doesn't match the spec. The CM tool is dumb (and presumably simpler because of that), and only treats the spec as lines of text. In a sense, a package spec really has 2 clients: the user of the package, and the package body itself. Just as there is a runtime check to make sure the user conforms to the specification, there's an analogous compile-time check to make sure the body conforms to the spec too. -------------------------------------------------------------------- Matthew Heaney Software Development Consultant (818) 985-1271