EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Integer values";
status: "See notice at end of class";
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
expanded class INTEGER
inherit
INTEGER_REF
redefine
infix "/", infix "^"
end
feature -- Basic operations
infix "/" (other: like Current): DOUBLE is
-- Division by other
do
end;
infix "^" (other: NUMERIC): DOUBLE is
-- Integer power of Current by other
do
end;
end -- class INTEGER
|
