Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

structure.support

Class DS_LINKABLE


Direct ancestors

DS_CELL

Known direct descendants

DS_BILINKABLE

Creation

Features

Invariants

indexing

description

Linkable cells with a reference to their right neighbor

library

Gobo Eiffel Structure Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 17:54:23 $

revision

$Revision: 1.7 $

class

DS_LINKABLE [G]

inherit

DS_CELL

create

make (v: G)

-- Insert v in cell.

-- (From DS_CELL)

ensure
inserted: item = v

feature -- Access

item: G

-- Content of cell

-- (From DS_CELL)

right: like Current

-- Right neighbor

feature -- Element change

forget_right

-- Remove right neighbor.

ensure
forgotten: right = Void
make (v: G)

-- Insert v in cell.

-- (From DS_CELL)

ensure
inserted: item = v
put (v: G)

-- Insert v in cell.

-- (From DS_CELL)

ensure
inserted: item = v
put_right (other: like Current)

-- Put other to right of cell.

require
other_not_void: other /= Void
ensure
linked: right = other

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end