- 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