Property definitions

markdown $ TestBlockDecorator :: defaultinit
class TestBlockDecorator
	super HTMLDecorator

	var stack: Array[String]

	redef fun add_headline(v, block) do
		super
		check_res(block)
	end

	redef fun add_listitem(v, block) do
		super
		check_res(block)
	end

	redef fun add_blockquote(v, block) do
		super
		check_res(block)
	end

	redef fun add_code(v, block) do
		super
		check_res(block)
	end

	fun check_res(block: Block) do
		var res = "{block.class_name}: {block.block.location}"
		var exp = stack.shift
		assert res == exp
	end
end
lib/markdown/test_markdown.nit:2887,1--2917,3