--| Copyright (c) 1993-2006 University of Southern California and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. class TEST1 [I -> INTEGER, R -> REAL, D -> DOUBLE] feature int_to_int (x: I): I is do print (x.out); io.new_line Result := x end real_to_real (x: R): R is do print (x.out); io.new_line Result := x end double_to_double (x: D): D is do print (x.out); io.new_line Result := x end end