Property definitions

nitc $ CmdAllProps :: defaultinit
# TODO remove once the filters/sorters are merged
class CmdAllProps
	super CmdInheritance

	redef fun init_results do
		if results != null then return new CmdSuccess

		var res = super
		if not res isa CmdSuccess then return res
		var mentity = self.mentity.as(not null)

		if mentity isa MClass then
			results = mentity.collect_accessible_mproperties(mainmodule, filter).to_a
		else
			return new WarningNoFeatures(mentity)
		end
		return res
	end
end
src/doc/commands/commands_model.nit:387,1--405,3