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: 6.0.6.7079 GPL Edition

Confidential: No

Status: Open

Responsible:

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

Description

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