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: 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 X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public From: mheaney@ni.net (Matthew Heaney) Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/09 Message-ID: #1/1 X-Deja-AN: 270922981 References: <33E9ADE9.4709@flash.net> Organization: Estormza Software Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-09-09T00:00:00+00:00 List-Id: In article , doylep@ecf.toronto.edu (Patrick Doyle) wrote: >This may, of course, just reflect my misunderstanding of Ada. I >have presumed that spec files are similar to header files in C++. The Ada paradigm is that modules and types are orthogonal features. The Ada programmer naturally thinks along 2 different dimensions. (This orthogonally is deliberate, as a module can serve purposes other than being just the interface of a type.) The Eiffel paradigm is that the module and type are the same, and furthermore, that the specification be automatically extracted from the body. Your best bet is to not try to compare Ada's modules specs to Eiffel's abstract classes. You are comparing apples and oranges. -------------------------------------------------------------------- Matthew Heaney Software Development Consultant (818) 985-1271