KI_FILE count precondition

"Bernd Schoeller" <[email protected]> Thu, 18 Jan 2007 16:24:14 +0100

Newsgroups	gmane.comp.lang.eiffel.gobo.general
Organization	ETH Zurich
Message-ID	<[email protected]>

Can anybody motivate for me the reason of the 'is_closed' precondition in  
KI_FILE?

Bernd

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.