Skip to content
Browse files

Fixed comment and contracts.

  • Loading branch information...
1 parent eb98162 commit ae1d2c6a181fb412cf8f20e4e2a77e24af431a21 Darren Hiebert committed Jul 26, 2003
Showing with 6 additions and 2 deletions.
  1. +6 −2 Eiffel/tag_file.e
View
8 Eiffel/tag_file.e
@@ -107,8 +107,8 @@ feature -- Status report
feature -- Status setting
set_sort_type (type: INTEGER) is
- -- Force valud for sort type of file if automatic detection does
- -- not work.
+ -- Force sort type of file (in case automatic detection does not
+ -- work).
require
open: open
valid_sort_type: valid_sort_type (type)
@@ -164,8 +164,12 @@ feature -- Status setting
start is
-- Move to first tag in file
+ require
+ exists: open
do
read_tag (c_tags_first (handle, string_to_c (tag_entry_struct)))
+ ensure
+ item_found: not off implies item /= Void
end
forth is

0 comments on commit ae1d2c6

Please sign in to comment.
Something went wrong with that request. Please try again.