Record Class VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR

java.lang.Object
java.lang.Record
club.doki7.vulkan.datatype.VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR
All Implemented Interfaces:
IPointer, IVkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR

@ValueBasedCandidate @UnsafeConstructor public record VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR(@NotNull MemorySegment segment) extends Record implements IVkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR

Represents a pointer to a VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR structure in native memory.

Structure

typedef struct VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR {
    VkStructureType sType;
    void* pNext; // optional
    VkBool32 pipelineExecutableInfo;
} VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR;

Auto initialization

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

  • sType = VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_EXECUTABLE_PROPERTIES_FEATURES_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

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: