- indexing
- title: "Universal facilities of the guide for class LIST_"
- 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 CHAIN_CORE_
- inherit
-
SIMPLE_CHAIN_CORE_
-
- redefine
- put,
- remove
- end
- invariant
-
non_positive:
out_marker <= 0
end -- class CHAIN_CORE_