Record Class VkPipelineExecutableStatisticKHR

java.lang.Object
java.lang.Record
club.doki7.vulkan.datatype.VkPipelineExecutableStatisticKHR
All Implemented Interfaces:
IPointer, IVkPipelineExecutableStatisticKHR

@ValueBasedCandidate @UnsafeConstructor public record VkPipelineExecutableStatisticKHR(@NotNull MemorySegment segment) extends Record implements IVkPipelineExecutableStatisticKHR

Represents a pointer to a VkPipelineExecutableStatisticKHR structure in native memory.

Structure Link icon

typedef struct VkPipelineExecutableStatisticKHR {
    VkStructureType sType;
    void* pNext; // optional
    char[VK_MAX_DESCRIPTION_SIZE] name;
    char[VK_MAX_DESCRIPTION_SIZE] description;
    VkPipelineExecutableStatisticFormatKHR format;
    VkPipelineExecutableStatisticValueKHR value;
} VkPipelineExecutableStatisticKHR;

Auto initialization Link icon

This structure has the following members that can be automatically initialized:

  • sType = VK_STRUCTURE_TYPE_PIPELINE_EXECUTABLE_STATISTIC_KHR

The allocate (allocate(Arena), allocate(Arena, long)) functions will automatically initialize these fields. Also, you may call autoInit() to initialize these fields manually for non-allocated instances.

Contracts Link icon

The property segment() should always be not-null (segment != NULL && !segment.equals(MemorySegment.NULL)), and properly aligned to LAYOUT.byteAlignment() bytes. To represent null pointer, you may use a Java null instead. See the documentation of IPointer.segment() for more details.

The constructor of this class is marked as UnsafeConstructor, because it does not perform any runtime check. The constructor can be useful for automatic code generators.

See Also: