Methods for accessing and manipulating the names of the parameters.
| 288 | |
| 289 | // Methods for accessing and manipulating the names of the parameters. |
| 290 | int parameter_names_size() const { return parameter_names_.size(); } |
| 291 | const string& parameter_names(int index) const { |
| 292 | return parameter_names_.at(index); |
| 293 | } |