(float[] val)
| 885 | } |
| 886 | |
| 887 | public final void readFloatArray(float[] val) { |
| 888 | int N = readInt(); |
| 889 | if (N == val.length) { |
| 890 | for (int i=0; i<N; i++) { |
| 891 | val[i] = readFloat(); |
| 892 | } |
| 893 | } else { |
| 894 | throw new RuntimeException("bad array lengths"); |
| 895 | } |
| 896 | } |
| 897 | |
| 898 | public final void writeDoubleArray(double[] val) { |
| 899 | if (val != null) { |