INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "The project-wide universal properties: the class is an", "ancestor to the classes of The Ordering Machine (TOM) -", "the supplier of all kinds of linear orders used in USCL"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
deferred class SIMPLE_POOL_
invariant

proper_free: first_free >= 0 and then first_free <= capacity
proper_stock: stock >= 0 and then stock <= capacity
end -- class SIMPLE_POOL_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES