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