ArgumentFlag Bool deprecated forbidden ignored TEMPORARY_STRING_LENGTH

deprecated() void pism::options::deprecated ( const std::string &  old_name, const std::string &  new_name  ) Stop if an option old_name is set, printing a message that new_name should be used instead. Definition at line 246 of file options.cc. References ALLOW_EMPTY, pism::RuntimeError::formatted(), pism::options::Option< T >::is_set(), and PISM_ERROR_LOCATION.