()
| 6499 | } |
| 6500 | |
| 6501 | Variable[] copyArray() { |
| 6502 | interp.getLeftParen(); |
| 6503 | Variable[] a = getArray(); |
| 6504 | interp.getRightParen(); |
| 6505 | return duplicate(a); |
| 6506 | } |
| 6507 | |
| 6508 | Variable[] duplicate(Variable[] a1) { |
| 6509 | Variable[] a2 = new Variable[a1.length]; |
no test coverage detected