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.