indexing
	description: "Describes an assertion"

class interface
	EIFFEL_ASSERTION

creation 
	make

feature 

	code: STRING

	tag: STRING
	
invariant

	code_exists: code /= void;

end -- class EIFFEL_ASSERTION