()
| 7807 | } |
| 7808 | |
| 7809 | private String getTitleArg() { |
| 7810 | String title = null; |
| 7811 | if (interp.nextToken() == '(') { |
| 7812 | interp.getLeftParen(); |
| 7813 | if (interp.nextToken()!=')') |
| 7814 | title = getString(); |
| 7815 | interp.getRightParen(); |
| 7816 | } |
| 7817 | return title; |
| 7818 | } |
| 7819 | |
| 7820 | private ResultsTable getResultsTable(String title) { |
| 7821 | ResultsTable rt = getRT(title); |
no test coverage detected