| 936 | void Context::applyCommandLine(int, const char* const*) {} |
| 937 | void Context::addFilter(const char*, const char*) {} |
| 938 | void Context::clearFilters() {} |
| 939 | void Context::setOption(const char*, bool) {} |
| 940 | void Context::setOption(const char*, int) {} |
| 941 | void Context::setOption(const char*, const char*) {} |