* @brief The constructor for a `FrameHeader` that initializes all fields to default values. * * See the documentation for `FrameHeader` in "buffer/buffer_pool_manager.h" for more information. * * @param frame_id The frame ID / index of the frame we are creating a header for. */
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected