class
	TEST

inherit
	ANY
		redefine
			is_equal
		end

create
	make

feature -- Initialization

	make is
			-- Tests
		local
			atta: ANY
			deta: detachable ANY
			i: INTEGER
		do
			agent_f := agent f
			if attached deta then print ("1%N") end
			i := 1
			if attached {INTEGER_32} i then print ("2%N") end
			if attached {INTEGER_32}.max_value then print ("3%N") end

			if attached deta as y then print ("4%N") end
			i := 2
			if attached {INTEGER_32} i as y then print ("5%N") end
			if attached {INTEGER_32}.max_value as y then print ("6%N") end

			if attached {STRING} deta then print ("7%N") end
			if attached {STRING} deta as w then print ("8%N") end
			i := 1
			if attached {STRING} i as w then print ("9%N") end

			i := {INTEGER_32} 1
			if attached {STRING} i as w then print ("10%N") end
			if attached {STRING} {INTEGER_32}.max_value as w then print ("11%N") end

			deta := f

			if attached deta then print ("12%N") end
			if attached {PATH_NAME} deta then print ("13%N") end
			if attached {STRING} deta then print ("14%N") end
			if attached {PATH_NAME} deta as y then print ("15 - " + y + "%N") end
			if attached {STRING} deta as y then print ("16 - " + y + "%N") end
			if attached deta as y then print ("17 - " + y.out + "%N") end
			if attached deta as w then print ("18 - " + w.out + "%N") end
		end

	agent_f: ROUTINE [ANY, TUPLE]

	is_equal (o: like Current): BOOLEAN
		do
			Result := attached Precursor (o)
			Result := attached Precursor (o) as p
			Result := attached {STRING} Precursor (o)
			Result := attached {STRING} Precursor (o) as p
		end

	f: detachable STRING
		do
			create Result.make (10)
			Result.append ("TEST")
		end

	g (o: ANY; u: STRING; i: INTEGER; b: BOOLEAN): ANY
		do
			Result := ""
		ensure
			e1: attached o
			e2: attached o as x2
			e3: attached {STRING} o
			e4: attached {STRING} o as x4
			e5: attached old o
			e6: attached old o as x6
			e7: attached {STRING} old o
			e7: attached {STRING} old o as x7

			e1: attached (o)
			e2: attached (o) as y2
			e3: attached {STRING} (o)
			e4: attached {STRING} (o) as y4
			e5: attached (old o)
			e6: attached (old o) as y6
			e7: attached {STRING} (old o)
			e7: attached {STRING} (old o) as y7

$COMMENT			e1: attached u + u
$COMMENT			e3: attached {STRING} u + u
			e1: attached (u + u)
			e2: attached (u + u) as w2
			e3: attached {STRING} (u + u)
			e4: attached {STRING} (u + u) as w4

$COMMENT			e1: attached old u + u
$COMMENT			e3: attached {STRING} old u + u
$COMMENT			e1: attached old u + old u
$COMMENT			e3: attached {STRING} old u + old u
			e1: attached old (u + u)
			e2: attached old (u + u) as v2
			e3: attached {STRING} old (u + u)
			e4: attached {STRING} old (u + u) as v4

			e1: attached -i
			e2: attached -i as j2
			e3: attached {STRING} -i
			e4: attached {STRING} -i as j4
			e5: attached old -i
			e6: attached old -i as j6
			e7: attached {STRING} old -i
			e7: attached {STRING} old -i as j7

			e1: attached not b
			e1: attached not b as c1
			e1: attached {STRING} not b
			e1: attached {STRING} not b as c2
			e1: attached old not b
			e1: attached old not b as c6
			e1: attached {STRING} old not b
			e1: attached {STRING} old not b as c7

			e1: attached o = u
			e1: attached o ~ u
			e1: attached o /= u
			e1: attached o /~ u
			e1: attached {STRING} o = u
			e1: attached {STRING} o ~ u
			e1: attached {STRING} o /= u
			e1: attached {STRING} o /~ u

			a1: attached agent_f
			a1: attached agent_f as p1
			a1: attached {STRING} agent_f
			a1: attached {STRING} agent_f as p2

			e1: attached g ([attached o, attached u, attached i, attached b], "", 4, True)
			e1: attached g ([attached o, attached u, attached i, attached b], "", 4, True) as bool1
			e1: attached {STRING} g ([attached o, attached u, attached i, attached b], "", 4, True)
			e1: attached {STRING} g ([attached o, attached u, attached i, attached b], "", 4, True) as bool2

			e1: attached g (<<attached o, attached u, attached i, attached b>>, "", 4, True)
			e1: attached g (<<attached o, attached u, attached i, attached b>>, "", 4, True) as bool3
			e1: attached {STRING} g (<<attached o, attached u, attached i, attached b>>, "", 4, True)
			e1: attached {STRING} g (<<attached o, attached u, attached i, attached b>>, "", 4, True) as bool4

			b1: attached u [1]
			b1: attached u [1] as d1
			b1: attached {STRING} u [1]
			b1: attached {STRING} u [1] as d2

			c1: attached Current
			c1: attached Current as cur1
			c1: attached {STRING} Current
			c1: attached {STRING} Current as cur2

			c1: attached Current.f
			c1: attached Current.f as cur3
			c1: attached {STRING} Current.f
			c1: attached {STRING} Current.f as cur4

			e1: attached u implies u.is_empty
			e1: attached u as w implies w.is_empty
			e1: attached {STRING} u implies u.is_empty
			e1: attached {STRING} u as w implies w.is_empty

			e1: attached u and then u.is_empty
			e1: attached u as wa and then wa.is_empty
			e1: attached {STRING} u and then u.is_empty
			e1: attached {STRING} u as wb and then wb.is_empty

			e1: not attached u or else u.is_empty
			e1: not attached u as wc or else wc.is_empty
			e1: not attached {STRING} u or else u.is_empty
			e1: not attached {STRING} u as wd or else wd.is_empty
		end

end