| 1742 | |
| 1743 | public: |
| 1744 | FileInputStreamReader(std::FILE *file, const std::string &name) : file(file), name(name), line(1) { |
| 1745 | // No operations. |
| 1746 | } |
| 1747 | |
| 1748 | void setTestCase(int testCase) { |
| 1749 | if (testCase < 0 || testCase > __TESTLIB_MAX_TEST_CASE) |
nothing calls this directly
no outgoing calls
no test coverage detected