()
| 5122 | } |
| 5123 | |
| 5124 | String doString() { |
| 5125 | interp.getToken(); |
| 5126 | if (interp.token!='.') |
| 5127 | interp.error("'.' expected"); |
| 5128 | interp.getToken(); |
| 5129 | if (!(interp.token==WORD||interp.token==STRING_FUNCTION)) |
| 5130 | interp.error("Function name expected: "); |
| 5131 | String name = interp.tokenString; |
| 5132 | if (name.equals("append")) |
| 5133 | return appendToBuffer(); |
| 5134 | else if (name.equals("copy")) |
| 5135 | return copyStringToClipboard(); |
| 5136 | else if (name.equals("copyResults")) |
| 5137 | return copyResults(); |
| 5138 | else if (name.equals("getResultsHeadings")) |
| 5139 | return getResultsHeadings(); |
| 5140 | else if (name.equals("paste")) |
| 5141 | return getClipboardContents(); |
| 5142 | else if (name.equals("resetBuffer")) |
| 5143 | return resetBuffer(); |
| 5144 | else if (name.equals("buffer")) |
| 5145 | return getBuffer(); |
| 5146 | else if (name.equals("show")) |
| 5147 | return showString(); |
| 5148 | else if (name.equals("join")) |
| 5149 | return join(); |
| 5150 | else if (name.equals("trim")) |
| 5151 | return getStringArg().trim(); |
| 5152 | else if (name.equals("pad")) |
| 5153 | return pad(); |
| 5154 | else if (name.equals("format")) |
| 5155 | return format(); |
| 5156 | else if (name.equals("setFontSize")) { |
| 5157 | getProcessor().setFontSize((int)getArg()); |
| 5158 | return null; |
| 5159 | } else |
| 5160 | interp.error("Unrecognized String function"); |
| 5161 | return null; |
| 5162 | } |
| 5163 | |
| 5164 | private String format() { |
| 5165 | try { |
no test coverage detected