PR# 12460 Wrong precondition naming in INI_DOCUMENT_READER

Problem Report Summary
Submitter: naryoril
Category: EiffelBase
Priority: Low
Date: 2007/04/10
Class: Documentation
Severity: Non-critical
Number: 12460
Release: GPL Edition
Confidential: No
Status: Open
Environment: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; .NET CLR 1.1.4322; .NET CLR 2.0.50727)
Synopsis: Wrong precondition naming in INI_DOCUMENT_READER

in the class INI_DOCUMENT_READER two preconditions of the feature read_from_file have wrong names

a_file_opened_for_writing: a_file.is_open_read
a_file_writable: a_file.readable

this doesn't make much sense this way :)
To Reproduce

Problem Report Interactions