INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Memory Block Interface, shared between C and Eiffel"
copyright: "Copyright 1999 Douglas L. Pardee and others,", "see file %'forum.txt%'"
cluster: matcher
deferred class MEMORY_BLOCK
inherit

ANY
export
{NONE}
all
undefine
copy,
is_equal
end
feature -- Queries

to_c: POINTER
ensure
pointer_if_count: (count > 0) implies (Result /= default_pointer)

count: INTEGER
invariant

nonnegative_count: count >= 0
end -- class MEMORY_BLOCK

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES