class TEST

create
	make

feature {NONE} -- Creation

	make
		do
			Current.func := Current
			Current.extn := True
			Current.attr := Current
			-- Not supported: ;+ Current := Current
			-- Not supported: ;- Current := Current
			-- Not supported: Current + Current := Current
			-- Not supported: Current - Current := Current
			Current [Current] := Current
			-- Not supported: item (Current) := Current
			{TEST}.extn := True
		end

feature {TEST} -- Access

	func: TEST assign put
			-- An obsolete function.
		obsolete "Internal. [$(YESTERDAY)]"
		do
			Result := Current
		end

	extn: BOOLEAN assign put_boolean
			-- An obsolete function.
		obsolete "External. [$(YESTERDAY)]"
		external "C inline"
			alias "return 1;"
		ensure
			is_class: class
		end

	attr: TEST assign put
			-- An obsolete attribute.
		obsolete "Attribute. [$(YESTERDAY)]"
		attribute
			Result := Current
		end

	identity alias "+": TEST assign put
			-- An obsolete prefix feature.
		obsolete "Prefix. [$(YESTERDAY)]"
		do
			Result := Current
		end

	plus alias "+" (other: TEST): TEST assign put_to
			-- An obsolete infix feature.
		obsolete "Infix. [$(YESTERDAY)]"
		do
			Result := Current
		end

	negation alias "-": TEST assign put
			-- An obsolete unary feature.
		obsolete "Unary. [$(YESTERDAY)]"
		do
			Result := Current
		end

	difference alias "-" (other: TEST): TEST assign put_to
			-- An obsolete binary feature.
		obsolete "Binary. [$(YESTERDAY)]"
		do
			Result := Current
		end

	access alias "[]" (other: TEST): TEST assign put_to
			-- An obsolete bracket feature.
		obsolete "Bracket. [$(YESTERDAY)]"
		do
			Result := Current
		end

	call alias "()" (other: TEST): TEST assign put_to
			-- An obsolete parenthesis feature.
		obsolete "Parenthesis. [$(YESTERDAY)]"
		do
			Result := Current
		end

	item: TEST assign put
			-- Current object.
		do
			Result := Current
		end

feature {TEST} -- Modification

	put_boolean (b: BOOLEAN)
		do
		ensure
			is_class: class
		end

	put (t: TEST)
		do
		end

	put_to (t1, t2: TEST)
		do
		end

end