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,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: f79bb,953e1a6689d791f6 X-Google-Attributes: gidf79bb,public X-Google-Thread: fdb77,953e1a6689d791f6 X-Google-Attributes: gidfdb77,public X-Google-Thread: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,6806d4da9f37ac7c X-Google-Attributes: gid1108a1,public From: Kai.Quale@usit.uio.no (Kai Quale) Subject: Re: Eiffel and Java Date: 1996/11/25 Message-ID: #1/1 X-Deja-AN: 200698563 references: <1996Nov18.223239.21147@schbbs.mot.com> organization: USIT Univeritetet i Oslo newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.sather,comp.lang.java.advocacy,comp.object Date: 1996-11-25T00:00:00+00:00 List-Id: In article <1996Nov18.223239.21147@schbbs.mot.com>, shang@corp.mot.com wrote: > In article Kai.Quale@usit.uio.no > (Kai Quale) writes: > > How does separation of subtype from subclass help a subclass in violating > > the constraining requirement regulated by its parent ? > > Exactly by allowing subclass not being a subtype. When it violates, > it cannot be a subtype, but it still can be a subclass. A subclass has SOME supertype(s) - if nothing is given it defaults to $OB. This means it inherits INTERFACE from the supertype(s). Being a subclass, it also inherits CODE from superclass(es). The superclasses however, don't have to have the same name as the supertypes. Result: The subclass inherits TYPE constraints from its supertype(s), and other constraints from its superclass(es). It cannot violate either. Where's the problem ? kai -- Kai Quale USIT, University of Oslo email: Kai.Quale@usit.uio.no