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