Class DS_RESIZABLE

indexing

description:

    "Bounded data structures that can be resized"

library:    "Gobo Eiffel Structure Library"
author:     "Eric Bezault <ericb@gobosoft.com>"
copyright:  "Copyright (c) 1999-2001, Eric Bezault and others"
license:    "Eiffel Forum Freeware License v1 (see forum.txt)"

deferred class interface

DS_RESIZABLE [G]

inherit

DS_CONTAINER [G]

feature {NONE} -- Initialization

make_default
        -- Create an empty container and allocate memory
        -- space for at least default_capacity items.
        -- (From DS_CONTAINER.)
    deferred
    ensure
        empty: is_empty
        capacity_set: capacity = default_capacity

feature -- Measurement

count: INTEGER
        -- Number of items in container
        -- (From DS_CONTAINER.)
    deferred

capacity: INTEGER
        -- Maximum number of items in container
    deferred

default_capacity: INTEGER
        -- Initial capacity in make_default
        -- (
color="#008000">.)
    require
        a_comparator_not_void: a_comparator /= Void