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: 103376,5992229ab824d8f7 X-Google-Attributes: gid103376,public From: stt@henning.camb.inmet.com (Tucker Taft) Subject: Re: Q: on redefinition of "= Date: 1996/04/01 Message-ID: #1/1 X-Deja-AN: 145239883 sender: news@inmet.camb.inmet.com (USENET news) x-nntp-posting-host: henning.camb.inmet.com references: <4jkj5sINN8d3@aleutian.cis.ohio-state.edu> organization: Intermetrics, Inc. newsgroups: comp.lang.ada Date: 1996-04-01T00:00:00+00:00 List-Id: david scott gibson (dgibson@aleutian.cis.ohio-state.edu) wrote: : Hi. I'm overloading the = operation to return a non-boolean value for : a non-limited private type. Is there any way in Ada95 to "hide" the : automatically defined = returning a boolean value? Redefining = : returning a boolean type in the private section didn't seem to help. Presuming your private type is not a tagged type, you could override the predefined "=" operator with one declared as "abstract." For tagged types, this is only allowed if the type is itself abstract. But for untagged types, you can use "abstract" as a way of overriding a primitive operation in a way that makes it illegal to call it. On the other hand, it might be simpler to provide some definition for "=" that returns Boolean, perhaps in terms of the one that returns the non-boolean value (are you using tri-state logic?). : Dave : -- : dgibson@cis.ohio-state.edu -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ Intermetrics, Inc. Cambridge, MA USA