PR# 15505 valid_cursor_index in CIRCULAR

Problem Report Summary

Submitter: nadya_kenguru

Category: EiffelBase

Priority: Low

Date: 2009/03/13

Class: Bug

Severity: Non-critical

Number: 15505

Release: rev 243

Confidential: No

Status: Open

Responsible:

Environment: OS Windows

Synopsis: valid_cursor_index in CIRCULAR

Description

Feature "valid_cursor_index" in CIRCULAR has incompatible implementation and postcondition with the postcondition of its precursor from CHAIN.

To Reproduce

	execute is
			-- Run application.
		local
			lc: LINKED_CIRCULAR [INTEGER]
			b: BOOLEAN
		do
			create lc.make
			lc.extend (1)
			b := lc.valid_cursor_index (2)
		end

Problem Report Interactions