# Retrieve the catalog stats
class CmdCatalogStats
	super CmdCatalog

	# Retrieved catalog statistics
	var stats: nullable CatalogStats = null is optional, writable

	redef fun init_command do
		super
		self.stats = catalog.catalog_stats
		return new CmdSuccess
	end
end