| 1799 | |
| 1800 | public: |
| 1801 | FileInputStreamReader(std::FILE *file, const std::string &name) : file(file), name(name), line(1) { |
| 1802 | // No operations. |
| 1803 | } |
| 1804 | |
| 1805 | void setTestCase(int testCase) { |
| 1806 | if (testCase < 0 || testCase > __TESTLIB_MAX_TEST_CASE) |
nothing calls this directly
no outgoing calls
no test coverage detected