| 1660 | }; |
| 1661 | |
| 1662 | class InputStreamReader { |
| 1663 | public: |
| 1664 | virtual void setTestCase(int testCase) = 0; |
| 1665 | |
| 1666 | virtual std::vector<int> getReadChars() = 0; |
| 1667 | |
| 1668 | virtual int curChar() = 0; |
| 1669 | |
| 1670 | virtual int nextChar() = 0; |
| 1671 | |
| 1672 | virtual void skipChar() = 0; |
| 1673 | |
| 1674 | virtual void unreadChar(int c) = 0; |
| 1675 | |
| 1676 | virtual std::string getName() = 0; |
| 1677 | |
| 1678 | virtual bool eof() = 0; |
| 1679 | |
| 1680 | virtual void close() = 0; |
| 1681 | |
| 1682 | virtual int getLine() = 0; |
| 1683 | |
| 1684 | virtual ~InputStreamReader() = 0; |
| 1685 | }; |
| 1686 | |
| 1687 | InputStreamReader::~InputStreamReader() { |
| 1688 | // No operations. |
nothing calls this directly
no outgoing calls
no test coverage detected