INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Integer values."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
expanded class INTEGER
inherit

INTEGER_REF
end
invariant

sign_times_abs: equal (sign * abs, Current)
end -- class INTEGER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES