- string const getCommand() const;
- ///
- string const & getCmdName() const { return cmdname; }
- ///
- string const & getOptions() const { return options; }
- ///
- string const & getContents() const { return contents; }
- ///
- void setCmdName(string const & n) { cmdname = n; }
- ///
- void setOptions(string const & o) { options = o; }
- ///
- void setContents(string const & c) { contents = c; }
+ docstring const getCommand() const;
+ /// Return the command name
+ std::string const & getCmdName() const { return name_; }
+ /// FIXME remove
+ std::string const getOptions() const;
+ /// FIXME remove
+ std::string const getSecOptions() const;
+ /// FIXME remove
+ std::string const getContents() const;
+ /// Set the name to \p n. This must be a known name. All parameters
+ /// are cleared except those that exist also in the new command.
+ /// What matters here is the parameter name, not position.
+ void setCmdName(std::string const & n);
+ /// FIXME remove
+ void setOptions(std::string const &);
+ /// FIXME remove
+ void setSecOptions(std::string const &);
+ /// FIXME remove
+ void setContents(std::string const &);
+ /// get parameter \p name
+ docstring const & operator[](std::string const & name) const;
+ /// set parameter \p name
+ docstring & operator[](std::string const & name);