1note
2
3	description: "Try everything"
4
5deferred class UBER_CLASS [G -> CONSTRAINT] obsolete "message"
6
7inherit
8
9	ANY
10		rename
11			generator as my_generator,
12			generating_type as my_generating_type,
13			infix "/" as infix "//"
14		export
15			{NONE} my_generator, my_generating_type;
16			{ANY} same_type
17		undefine
18			is_equal
19		redefine
20			conforms_to
21		select
22			consitent
23		end
24
25	LINKED_LIST [G]
26		export {NONE}
27			all
28		end
29
30create
31
32	make, make2
33
34create {SOMETHING}
35
36	make3
37
38feature -- Initialization
39
40	make
41		do
42		end
43
44	make2
45		do
46		end
47
48	make3
49		do
50		end
51
52feature {ANY, NONE} -- Feature clause comment
53
54	procedure_full
55		require else
56		local
57		do
58		ensure then
59		rescue
60		end
61
62	guard: INTEGER
63
64invariant
65
66	label: condition
67
68note
69
70	license: "May not be used for any purpose"
71
72end
73