indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	CLASS_DEBUG_CONTEXT

inherit
	FORMAT_CONTEXT

create
	make, make_for_case

end -- class CLASS_DEBUG_CONTEXT