![]() |
Method writeDouble(double val)
Return type: void
Member of: java.io.ObjectOutputStream
[api documentation
] [ main menu] |
Examples of how the element is used (one line per example):
[add your own example]
| 1 | objectOutputStream.writeDouble ( x ); |
| 2 | out.writeDouble(_data[i]); |
| 3 | objectOutputStream.writeDouble ( x ); |
| 4 | out.writeDouble(((Double) value).doubleValue()); |