Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.csd.uwm.edu!lll-winken!uunet!murtoa.cs.mu.oz.au!munnari.oz.au!uqcspe!batserver!batserver.cs.uq.oz!gjc From: gjc@batserver.cs.uq.oz (Cumming) Newsgroups: comp.lang.eiffel Subject: class STORABLE, violation of software reusabilty principle Message-ID: <1318@batserver.cs.uq.oz> Date: 16 Aug 89 13:56:59 GMT Sender: news@batserver.cs.uq.oz Reply-To: gjc@batserver.cs.uq.oz Organization: Computer Science Department, The University of Queensland, Brisbane, Australia Lines: 13 In class STORABLE It appears necessary to use object := object_of_same_class.retrieve("filename"); instead of object.retrieve("filename"); Surely the compiler could infer the type of object_of_same_class from the class of object, hence the requirement to use the first construct is a violation of the principle of software re-usability. Excuse me if this is an ignorant question. New to OOPS and Eiffel.