EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Special objects: homogeneous sequences of values, used to represent arrays and strings";
status: "See notice at end of class";
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
class SPECIAL [T]
inherit
ANY
redefine
conforms_to, c_standard_clone, c_standard_is_equal, c_standard_copy
end
feature -- Access
item (i: INTEGER): T is
-- Item at i-th position
-- (indices begin at 0)
require
index_big_enough: i >= 0;
index_small_enough: i < count
do
end;
conforms_to (other: SPECIAL [T]): BOOLEAN is
-- Does special object conform to other?
do
Result := other.count = count
end;
feature -- Measurement
count: INTEGER is
-- Count of the special area
do
Result := sp_count ($Current)
end;
feature -- Element change
put (v: T; i: INTEGER) is
-- Replace i-th item by v.
-- (Indices begin at 0.)
require
index_big_enough: i >= 0;
index_small_enough: i < count
do
end;
feature -- Removal
clear_all is
-- Reset all items to default values.
do
spclearall ($Current)
end;
feature {NONE} -- Implementation
sp_count (sp_obj: POINTER): INTEGER is
-- Count of the special object
external
"C | %"eif_plug.h%""
end;
spclearall (p: POINTER) is
-- Reset all items to default value.
external
"C | %"eif_copy.h%""
end;
c_standard_is_equal (source, target: POINTER): BOOLEAN is
-- Is source equal to target ?
-- Returns True if source and target have the same count
-- and the same entries.
external
"C | %"eif_equal.h%""
alias
"spequal"
end;
c_standard_copy (source, target: POINTER) is
-- Copy entries of target into source.
external
"C | %"eif_copy.h%""
alias
"spcopy"
end;
c_standard_clone (other: POINTER): SPECIAL [T] is
-- New special object of size count
external
"C | %"eif_copy.h%""
alias
"spclone"
end;
end -- class SPECIAL
|
