Property definitions

nitc $ WarningNoLinearization :: defaultinit
# No linearization computed for `mentity`.
class WarningNoLinearization
	super CmdWarning

	# MEntity provided
	var mentity: MEntity

	redef fun to_s do return "No linearization for `{mentity.full_name}`"
end
src/doc/commands/commands_model.nit:249,1--257,3