Method writeInt(int v)
Return type: void
Member of: java.io.RandomAccessFile
[api documentation
] [ main menu]
|
Method writeInt(int v)
Return type: void
Member of: java.io.RandomAccessFile
[api documentation
] [ main menu] |
Examples of how the element is used (one line per example):
[add your own example]
| 1 | writeInt(i); |
| 2 | file.writeInt(value.length); |
| 3 | file.writeInt(offsetToHeader); |
| 4 | file.writeInt(nodeSize); |
| 5 | file.writeInt(-1); // file is empty |
| 6 | intRelNbrFile.writeInt(++workNbr); |