Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class DOCUMENT_ITEM General cluster: document description: "Document Item" Ancestors ANY Queries is_equal (other: [like Current] DOCUMENT_ITEM): BOOLEAN name: STRING_8 next: [like Current] DOCUMENT_ITEM previous: [like Current] DOCUMENT_ITEM Commands set_next (a_next: [like next] [like Current] DOCUMENT_ITEM) set_previous (a_prev: [like previous] [like Current] DOCUMENT_ITEM)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org