indexing description: "Arguments used when calling commands." Id: "$Id$" Date: "$Date$" Revision: "$Revision$" class COMMAND_ARGS feature {NONE} nothing: ANY is once end First: ANY is once !!Result end Second: ANY is once !!Result end Third: ANY is once !!Result end Fourth: ANY is once !!Result end Fifth: ANY is once !!Result end Sixth: ANY is once !!Result end Seventh: ANY is once !!Result end Eighth: ANY is once !!Result end Nineth: ANY is once !!Result end end