# A card about the linearization of a MEntity
class CardLinearizationList
	super CardMEntity

	# Linearization cards contained in this list
	var cards = new Array[CardLinearizationDef] is writable

	redef var id = "lin_{super}" is lazy
	redef var title = "Linearization" is lazy

	redef fun rendering do
		if cards.is_empty then return

		addn "<div id='{id}'>"
		for card in cards do
			addn card
			if card == cards.last then break
			addn "<h4 class='text-muted text-center'>"
			addn " <span class='glyphicon glyphicon-chevron-up'></span>"
			addn "</h4>"
		end
		addn "</div>"
	end
end