[WIP] schema: refactoring to improve checking

[christophe-lunarg]

Done:

• This refactoring allows not defining a structure without the version or extension related to this structure.
• Add VK_KHR_surface query, this would not be taken into account by the API library but could be implemented by the layer (I think)

TODO:

• Investigating whether we can prevent using an extension when requiring a version which made this extension a core capability.
• Handling partial vs full profiles

[ci-tester-lunarg]

CI VulkanProfiles build # 1671 running.

[ci-tester-lunarg]

CI VulkanProfiles build # 1671 failed.

[christophe-lunarg]

• Add extensions and version requirements checking.
  • Eg: VK_KHR_device_group requires VK_KHR_device_group_creation

Schema Implementation:

{
	"type": "object",
	"additionalProperties": false,
	"properties": {
		"VK_KHR_device_group": {
			"type": "object"
		},
		"VK_KHR_device_group_creation": {
			"type": "object"
		}
	},
	"dependentRequired": {
		"VK_KHR_device_group": [ "VK_KHR_device_group_creation" ]
	}
}

JSON file example (if VK_KHR_device_group_creation is removed, then we get an error):

{
    "VK_KHR_device_group": {
      
    },
    "VK_KHR_device_group_creation": {
      
    }  
}

[christophe-lunarg]

We could implement exclusion of extension vs core version like this:
schema:

{
	"type": "object",
	"additionalProperties": {
		"type": "object",
		"oneOf": [
			{
				"additionalProperties": false,
				"properties": {
					"VK_VERSION_1_1": {
						"type": "object"
					}
				}
			},
			{
				"additionalProperties": false,
				"properties": {
					"VK_KHR_device_group": {
						"type": "object"
					},
					"VK_KHR_device_group_creation": {
						"type": "object"
					}
				},
				"dependentRequired": {
					"VK_KHR_device_group": [ "VK_KHR_device_group_creation" ]
				}
			}
		]
	}
}

JSON files (if VK_VERSION_1_1 is defined, we get errors):

{
	"baseline": {
		"VK_KHR_device_group": {

		},
		"VK_KHR_device_group_creation": {

		}
	}
}

This said, a device profiles will have both the core and the extension defined so we should somehow make this a mode.

[ziga-lunarg]

Looks good to me. If I see this correctly this would also fix the problem where we had structs from extensions used, but the extension itself was not listed, correct?

[christophe-lunarg]

Looks good to me. If I see this correctly this would also fix the problem where we had structs from extensions used, but the extension itself was not listed, correct?

Yes, and ensure the extension dependencies are resolved.

[christophe-lunarg]

Similarly we could prevent a profile file to specify both the bundle and the core structure with oneOf.

[christophe-lunarg]

Moved to future version 2.0 issue: #310