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

kernel.support

Class KL_CELL


Known direct descendants

KL_LINKABLE

Creation

Features

Invariants

indexing

description

Cells containing an item

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 17:05:10 $

revision

$Revision: 1.6 $

class

KL_CELL [G]

create

make (v: G)

-- Insert v in cell.

ensure
inserted: item = v

feature -- Access

item: G

-- Content of cell

feature -- Element change

make (v: G)

-- Insert v in cell.

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

-- Insert v in cell.

ensure
inserted: item = v

invariant

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

end