Automatic generation produced by ISE Eiffel
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) -- Generated by Eiffel Studio --
For more details: eiffel.org