Beispiel #1
0
 void junk_file_pointer() {
   int_field_put(file_pointer_offset(), -1);       
 }
Beispiel #2
0
void BufferedFile::set_file_pointer(OsFile_Handle val) {
  int_field_put(file_pointer_offset(), (int)val);
}
Beispiel #3
0
 OsFile_Handle file_pointer() {
   return (OsFile_Handle)int_field(file_pointer_offset());
 }