Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DIFF_LINE_ADD General cluster: diff description: "Represents a line that must be added in source to get to the destination." create: make Ancestors DIFF_LINE* 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