An auxiliary derived type which holds the pointer to the mapped data file window and performs the mapping and unmapping on call to init
or final
.
More...
|
type(c_ptr) | addr = c_null_ptr |
| Internal page-aligned pointer needed for finalization. More...
|
|
type(c_ptr) | ptr = c_null_ptr |
| Pointer pointing to the requested location in file. More...
|
|
integer(c_size_t) | length = 0 |
| Length of the mapped window. More...
|
|
An auxiliary derived type which holds the pointer to the mapped data file window and performs the mapping and unmapping on call to init
or final
.
◆ final()
procedure file_mapping_gbl::file_mapping::final |
◆ init()
procedure file_mapping_gbl::file_mapping::init |
◆ addr
type(c_ptr) file_mapping_gbl::file_mapping::addr = c_null_ptr |
Internal page-aligned pointer needed for finalization.
◆ length
integer(c_size_t) file_mapping_gbl::file_mapping::length = 0 |
Length of the mapped window.
◆ ptr
type(c_ptr) file_mapping_gbl::file_mapping::ptr = c_null_ptr |
Pointer pointing to the requested location in file.
The documentation for this type was generated from the following file:
- /home/jacob/Work/codes/UKRmol/gitlab/ukrmol-in/source/gbtolib/source/file_mapping.f90