(String str)
| 5825 | } |
| 5826 | |
| 5827 | double matches(String str) { |
| 5828 | str = getStringFunctionArg(str); |
| 5829 | String regex = getString(); |
| 5830 | interp.getRightParen(); |
| 5831 | try { |
| 5832 | return str.matches(regex)?1.0:0.0; |
| 5833 | } catch (Exception e) { |
| 5834 | interp.error(""+e); |
| 5835 | return 0.0; |
| 5836 | } |
| 5837 | } |
| 5838 | |
| 5839 | void waitForUser() { |
| 5840 | IJ.wait(50); |
no test coverage detected