getPipelineExecutablePropertiesKHR :: MonadIO io=> Devicedeviceis the device that created the pipeline.-> PipelineInfoKHRpPipelineInfodescribes the pipeline being queried.-> io (Result,"properties"
::: Vector PipelineExecutablePropertiesKHR)
vkGetPipelineExecutablePropertiesKHR - Get the executables associated with a pipeline
Description
If pProperties is NULL, then the number of pipeline executables
associated with the pipeline is returned in pExecutableCount.
Otherwise, pExecutableCount must point to a variable set by the
application to the number of elements in the pProperties array, and on
return the variable is overwritten with the number of structures
actually written to pProperties. If pExecutableCount is less than
the number of pipeline executables associated with the pipeline, at most
pExecutableCount structures will be written, and
INCOMPLETE will be returned instead of
SUCCESS, to indicate that not all the
available properties were returned.
Valid Usage
The pipelineExecutableInfo feature must be enabled
The
pipelinemember ofpPipelineInfomust have been created withdevice
Valid Usage (Implicit)
devicemust be a valid Device handle
pPipelineInfomust be a valid pointer to a valid PipelineInfoKHR structurepExecutableCountmust be a valid pointer to auint32_tvalueIf the value referenced by
pExecutableCountis not0, andpPropertiesis notNULL,pPropertiesmust be a valid pointer to an array ofpExecutableCountPipelineExecutablePropertiesKHR structures
Return Codes
See Also
VK_KHR_pipeline_executable_properties, Device, PipelineExecutablePropertiesKHR, PipelineInfoKHR