(String s)
| 3790 | } |
| 3791 | |
| 3792 | double parseDouble(String s) { |
| 3793 | if (s==null) return 0.0; |
| 3794 | s = s.trim(); |
| 3795 | if (s.indexOf(' ')!=-1) s = s.substring(0, s.indexOf(' ')); |
| 3796 | return Tools.parseDouble(s); |
| 3797 | } |
| 3798 | |
| 3799 | double parseInt() { |
| 3800 | String s = getFirstString(); |
no test coverage detected