()
| 6838 | } |
| 6839 | |
| 6840 | double charCodeAt() { |
| 6841 | String str = getFirstString(); |
| 6842 | int index = (int)getLastArg(); |
| 6843 | checkIndex(index, 0, str.length()-1); |
| 6844 | return str.charAt(index); |
| 6845 | } |
| 6846 | |
| 6847 | void doWand() { |
| 6848 | int x = (int)getFirstArg(); |
no test coverage detected