-- Abstract description of a non-nested call

deferred class ACCESS_AS

inherit

	CALL_AS

feature

	access_name: STRING is
		deferred
		end;

end