INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: synchronization
deferred class SYNCHRONIZATION_OBJECT
feature -- Queries

is_open: BOOLEAN
end -- class SYNCHRONIZATION_OBJECT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES