Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class DIFF_LINE General cluster: diff description: "Base class for diff line indices." Ancestors ANY Queries dst: INTEGER_32 src: INTEGER_32 Commands make (a_src_index, a_dst_index: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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