| { |
| "$schema": "http://json-schema.org/draft-04/schema#", |
| "description": "See https://fuchsia.dev/fuchsia-src/development/languages/fidl/reference/json-ir.md", |
| "type": "object", |
| "required": [ |
| "version", |
| "name", |
| "bits_declarations", |
| "const_declarations", |
| "enum_declarations", |
| "experimental_resource_declarations", |
| "interface_declarations", |
| "service_declarations", |
| "struct_declarations", |
| "table_declarations", |
| "union_declarations", |
| "type_alias_declarations", |
| "declaration_order", |
| "declarations", |
| "library_dependencies" |
| ], |
| "properties": { |
| "version": { |
| "description": "Version of the JSON IR schema", |
| "$ref": "#/definitions/version" |
| }, |
| "name": { |
| "description": "Name of the library", |
| "$ref": "#/definitions/library-identifier" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the library", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "bits_declarations": { |
| "description": "List of bits declarations", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/bits" |
| } |
| }, |
| "const_declarations": { |
| "description": "List of constants", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/const" |
| } |
| }, |
| "enum_declarations": { |
| "description": "List of enumerations", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/enum" |
| } |
| }, |
| "experimental_resource_declarations": { |
| "description": "List of resources", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/resource" |
| } |
| }, |
| "interface_declarations": { |
| "description": "List of interfaces", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/interface" |
| } |
| }, |
| "service_declarations": { |
| "description": "List of services", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/service" |
| } |
| }, |
| "struct_declarations": { |
| "description": "List of structures", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/struct" |
| } |
| }, |
| "table_declarations": { |
| "description": "List of tables", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/table" |
| } |
| }, |
| "union_declarations": { |
| "description": "List of unions", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/union" |
| } |
| }, |
| "type_alias_declarations": { |
| "description": "List of type aliases", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/type_alias" |
| } |
| }, |
| "declaration_order": { |
| "description": "List of declarations in declaration order", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/compound-identifier" |
| } |
| }, |
| "declarations": { |
| "description": "List of declarations and their types", |
| "$ref": "#/definitions/declarations-map" |
| }, |
| "library_dependencies": { |
| "description": "List of dependencies on other libraries", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/library" |
| } |
| } |
| }, |
| "definitions": { |
| "bits": { |
| "description": "Definition of a bits declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "type", |
| "mask", |
| "members", |
| "strict" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the bits declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Fully qualified name of the bits", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "type": { |
| "description": "Type of the bits", |
| "$ref": "#/definitions/type" |
| }, |
| "mask": { |
| "description": "Mask of all members", |
| "type": "string" |
| }, |
| "members": { |
| "description": "List of bits members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/bits-member" |
| } |
| }, |
| "strict": { |
| "description": "Strictness of the bits", |
| "type": "boolean" |
| } |
| } |
| }, |
| "bits-member": { |
| "description": "Definition of an bits member", |
| "type": "object", |
| "required": [ |
| "name", |
| "value" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of the bits member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the bits member", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "value": { |
| "description": "Value of the bits member", |
| "$ref": "#/definitions/constant" |
| } |
| } |
| }, |
| "const": { |
| "description": "Definition of a constant declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "type", |
| "value" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the constant declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Fully qualified name of the constant", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "type": { |
| "description": "Type of the constant", |
| "$ref": "#/definitions/type" |
| }, |
| "value": { |
| "description": "Value of the constant", |
| "$ref": "#/definitions/constant" |
| } |
| } |
| }, |
| "enum": { |
| "description": "Definition of an enum declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "type", |
| "members", |
| "strict" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the enum declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Fully qualified name of the enum", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "type": { |
| "description": "Type of the enum", |
| "$ref": "#/definitions/integer-type" |
| }, |
| "members": { |
| "description": "List of enum members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/enum-member" |
| } |
| }, |
| "strict": { |
| "description": "Strictness of the enum", |
| "type": "boolean" |
| }, |
| "maybe_unknown_value": { |
| "description": "Unknown member value (present for flexible enums only)", |
| "type": "integer" |
| } |
| } |
| }, |
| "enum-member": { |
| "description": "Definition of an enum member", |
| "type": "object", |
| "required": [ |
| "name", |
| "value" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of the enum member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the enum member", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "value": { |
| "description": "Value of the enum member", |
| "$ref": "#/definitions/constant" |
| } |
| } |
| }, |
| "fieldshape": { |
| "description": "Definition of a field shape", |
| "type": "object", |
| "required": [ |
| "offset", |
| "padding" |
| ], |
| "properties": { |
| "offset": { |
| "description": "Offset in bytes at which a member starts", |
| "$ref": "#/definitions/count" |
| }, |
| "padding": { |
| "description": "Padding in bytes which follows a member", |
| "$ref": "#/definitions/count" |
| } |
| } |
| }, |
| "interface": { |
| "description": "Definition of an interface declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "methods" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the interface declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Name of the interface", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "methods": { |
| "description": "List of methods and events", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/interface-method" |
| } |
| } |
| } |
| }, |
| "interface-method": { |
| "description": "Definition of a method or event", |
| "type": "object", |
| "required": [ |
| "ordinal", |
| "name", |
| "has_request", |
| "has_response", |
| "is_composed" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the method or event", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "ordinal": { |
| "description": "Ordinal number of the interface method", |
| "$ref": "#/definitions/ordinal" |
| }, |
| "name": { |
| "description": "Name of the interface method", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "has_request": { |
| "description": "Flag indicating that interface method has a request component", |
| "type": "boolean" |
| }, |
| "maybe_request": { |
| "description": "Optional list of interface method request parameters", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/interface-method-parameter" |
| } |
| }, |
| "maybe_request_type_shape_v1": { |
| "description": "Type shape of this declaration", |
| "$ref": "#/definitions/typeshape" |
| }, |
| "has_response": { |
| "description": "Flag indicating that interface method has a response component", |
| "type": "boolean" |
| }, |
| "maybe_response": { |
| "description": "Optional list of interface method response parameters", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/interface-method-parameter" |
| } |
| }, |
| "maybe_response_type_shape_v1": { |
| "description": "Type shape of this declaration", |
| "$ref": "#/definitions/typeshape" |
| }, |
| "is_composed": { |
| "description": "Flag indicating whether method was composed into this protocol", |
| "type": "boolean" |
| } |
| } |
| }, |
| "interface-method-parameter": { |
| "description": "Definition of parameter or return of a method or event", |
| "type": "object", |
| "required": [ |
| "type", |
| "name", |
| "field_shape_v1" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the method or event parameter", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "type": { |
| "description": "Type of the parameter or return", |
| "$ref": "#/definitions/type" |
| }, |
| "name": { |
| "description": "Name of the parameter or return", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "field_shape_v1": { |
| "description": "Field shape", |
| "$ref": "#/definitions/fieldshape" |
| } |
| } |
| }, |
| "resource": { |
| "description": "Definition of a resource declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "location", |
| "type" |
| ], |
| "properties": { |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the resource declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Fully qualified name of the resource", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "type": { |
| "description": "Type of the resource", |
| "$ref": "#/definitions/type" |
| }, |
| "properties": { |
| "description": "List of properties", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/resource-property" |
| } |
| } |
| } |
| }, |
| "resource-property": { |
| "description": "Definition of a resource property", |
| "type": "object", |
| "required": [ |
| "type", |
| "name" |
| ], |
| "properties": { |
| "type": { |
| "description": "Type of the resource property", |
| "$ref": "#/definitions/type" |
| }, |
| "name": { |
| "description": "Name of the property", |
| "$ref": "#/definitions/identifier" |
| } |
| } |
| }, |
| "service": { |
| "description": "Definition of a service declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "location", |
| "members" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of service", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "members": { |
| "description": "List of service members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/service-member" |
| } |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the service declaration", |
| "$ref": "#/definitions/attributes-list" |
| } |
| } |
| }, |
| "service-member": { |
| "description": "Definition of a service member", |
| "type": "object", |
| "required": [ |
| "type", |
| "name", |
| "location" |
| ], |
| "properties": { |
| "type": { |
| "description": "Type of the service member", |
| "$ref": "#/definitions/type" |
| }, |
| "name": { |
| "description": "Name of the service member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of service member attributes", |
| "$ref": "#/definitions/attributes-list" |
| } |
| } |
| }, |
| "struct": { |
| "description": "Definition of a struct declaration", |
| "type": "object", |
| "required": [ |
| "name", |
| "members", |
| "resource", |
| "type_shape_v1" |
| ], |
| "properties": { |
| "max_handles": { |
| "description": "Maximum number of handles present in the struct", |
| "$ref": "#/definitions/count" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of attributes of the struct declaration", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Name of struct", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "anonymous": { |
| "description": "Flag indicating that struct is anonymous", |
| "type": "boolean" |
| }, |
| "members": { |
| "description": "List of struct members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/struct-member" |
| } |
| }, |
| "resource": { |
| "description": "True if the struct is a resource type (declared to contain handles)", |
| "type": "boolean" |
| }, |
| "type_shape_v1": { |
| "description": "Type shape of this declaration", |
| "$ref": "#/definitions/typeshape" |
| } |
| } |
| }, |
| "struct-member": { |
| "description": "Definition of a struct member", |
| "type": "object", |
| "required": [ |
| "type", |
| "name", |
| "field_shape_v1" |
| ], |
| "properties": { |
| "type": { |
| "description": "Type of the struct member", |
| "$ref": "#/definitions/type" |
| }, |
| "name": { |
| "description": "Name of struct member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "field_shape_v1": { |
| "description": "Field shape", |
| "$ref": "#/definitions/fieldshape" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of struct member attributes", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "maybe_default_value": { |
| "description": "Optional default value for struct member", |
| "$ref": "#/definitions/constant" |
| } |
| } |
| }, |
| "table": { |
| "description": "Definition of a table", |
| "type": "object", |
| "required": [ |
| "name", |
| "members", |
| "type_shape_v1", |
| "strict", |
| "resource" |
| ], |
| "properties": { |
| "max_handles": { |
| "description": "Maximum number of handles present in the table", |
| "$ref": "#/definitions/count" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of table attributes", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Name of table", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "members": { |
| "description": "List of table members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/table-member" |
| } |
| }, |
| "strict": { |
| "description": "Strictness of table", |
| "type": "boolean" |
| }, |
| "resource": { |
| "description": "True if the table is a resource type (may contain handles)", |
| "type": "boolean" |
| }, |
| "type_shape_v1": { |
| "description": "Type shape of this declaration", |
| "$ref": "#/definitions/typeshape" |
| } |
| } |
| }, |
| "table-member": { |
| "description": "Definition of a table member", |
| "type": "object", |
| "required": [ |
| "ordinal", |
| "reserved" |
| ], |
| "properties": { |
| "reserved": { |
| "description": "Flag indicating that field is reserved", |
| "type": "boolean" |
| }, |
| "type": { |
| "description": "Type of table member", |
| "$ref": "#/definitions/type" |
| }, |
| "name": { |
| "description": "Name of table member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "ordinal": { |
| "description": "Ordinal value of table member", |
| "$ref": "#/definitions/ordinal" |
| }, |
| "size": { |
| "description": "Size of table member", |
| "$ref": "#/definitions/count" |
| }, |
| "max_out_of_line": { |
| "description": "Maximum size of the out-of-line payload", |
| "$ref": "#/definitions/count" |
| }, |
| "alignment": { |
| "description": "Alignment of table member", |
| "$ref": "#/definitions/count" |
| }, |
| "offset": { |
| "description": "Offset of table member", |
| "$ref": "#/definitions/count" |
| }, |
| "maybe_default_value": { |
| "description": "Optional default value for table member", |
| "$ref": "#/definitions/constant" |
| } |
| } |
| }, |
| "typeshape": { |
| "description": "Definition of a type shape", |
| "type": "object", |
| "required": [ |
| "inline_size", |
| "alignment", |
| "depth", |
| "max_handles", |
| "max_out_of_line", |
| "has_padding", |
| "has_flexible_envelope" |
| ], |
| "properties": { |
| "inline_size": { |
| "description": "Size of bytes in the inline portion of this declaration", |
| "$ref": "#/definitions/count" |
| }, |
| "alignment": { |
| "description": "Alignment of this declaration", |
| "$ref": "#/definitions/count" |
| }, |
| "depth": { |
| "description": "Maximum depth of this declaration", |
| "$ref": "#/definitions/count" |
| }, |
| "max_handles": { |
| "description": "Maximum number of handles this declaration can hold", |
| "$ref": "#/definitions/count" |
| }, |
| "max_out_of_line": { |
| "description": "Maximum number of bytes in the out-of-line portion of this declaration", |
| "$ref": "#/definitions/count" |
| }, |
| "has_padding": { |
| "description": "Flag indicating if there could be padding bytes in this declaration", |
| "type": "boolean" |
| }, |
| "has_flexible_envelope": { |
| "description": "Flag indicating if this declaration contains flexible envelopes (in unions or tables)", |
| "type": "boolean" |
| } |
| } |
| }, |
| "union": { |
| "description": "Definition of an extensible union", |
| "type": "object", |
| "required": [ |
| "name", |
| "members", |
| "type_shape_v1", |
| "strict", |
| "resource" |
| ], |
| "properties": { |
| "max_handles": { |
| "description": "Maximum number of handles present in the extensible union", |
| "$ref": "#/definitions/count" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of extensible union attributes", |
| "$ref": "#/definitions/attributes-list" |
| }, |
| "name": { |
| "description": "Name of extensible union", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "members": { |
| "description": "List of extensible union members", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/union-member" |
| } |
| }, |
| "strict": { |
| "description": "Strictness of extensible union", |
| "type": "boolean" |
| }, |
| "resource": { |
| "description": "True if the union is a resource type (may contain handles)", |
| "type": "boolean" |
| }, |
| "type_shape_v1": { |
| "description": "Type shape of this declaration", |
| "$ref": "#/definitions/typeshape" |
| } |
| } |
| }, |
| "union-member": { |
| "description": "Definition of an extensible union member", |
| "type": "object", |
| "required": [ |
| "ordinal", |
| "reserved" |
| ], |
| "properties": { |
| "ordinal": { |
| "description": "Ordinal value of extensible union member", |
| "$ref": "#/definitions/ordinal" |
| }, |
| "reserved": { |
| "description": "Flag indicating that the member is reserved", |
| "type": "boolean" |
| }, |
| "name": { |
| "description": "Name of extensible union member", |
| "$ref": "#/definitions/identifier" |
| }, |
| "type": { |
| "description": "Type of extensible union member", |
| "$ref": "#/definitions/type" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "max_out_of_line": { |
| "description": "Maximum size of the out-of-line payload", |
| "$ref": "#/definitions/count" |
| }, |
| "offset": { |
| "description": "Offset of extensible union member", |
| "$ref": "#/definitions/count" |
| }, |
| "maybe_attributes": { |
| "description": "Optional list of extensible union member attributes", |
| "$ref": "#/definitions/attributes-list" |
| } |
| } |
| }, |
| "type_alias": { |
| "description": "Definition of a type alias", |
| "type": "object", |
| "required": [ |
| "name", |
| "location", |
| "partial_type_ctor" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of a type alias, i.e. the alias", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "location": { |
| "description": "Source location of the declaration", |
| "$ref": "#/definitions/location" |
| }, |
| "partial_type_ctor": { |
| "description": "Type constructor being aliased, possibly partial", |
| "$ref": "#/definitions/type-constructor" |
| } |
| } |
| }, |
| "type-constructor": { |
| "description": "Definition of a type constructor", |
| "type": "object", |
| "required": [ |
| "name", |
| "args", |
| "nullable" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of the type constructor", |
| "type": "string" |
| }, |
| "args": { |
| "description": "List of arguments", |
| "type": "array", |
| "items": { |
| "$ref": "#/definitions/type-constructor" |
| } |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability", |
| "type": "boolean" |
| }, |
| "maybe_size": { |
| "description": "Optional number of maximum elements", |
| "$ref": "#/definitions/constant" |
| }, |
| "maybe_handle_subtype": { |
| "description": "Optional handle subtype", |
| "$ref": "#/definitions/handle-subtype" |
| } |
| } |
| }, |
| "declarations-map": { |
| "description": "Definition of declarations of a library", |
| "type": "object", |
| "patternProperties": { |
| ".*": { |
| "type": "string", |
| "enum": [ |
| "bits", |
| "const", |
| "enum", |
| "interface", |
| "service", |
| "experimental_resource", |
| "struct", |
| "table", |
| "union", |
| "type_alias" |
| ] |
| } |
| } |
| }, |
| "external-declarations-map": { |
| "description": "Definition of declarations of an external library", |
| "type": "object", |
| "patternProperties": { |
| ".*": { |
| "oneOf": [ |
| { |
| "type": "object", |
| "required": [ |
| "kind", |
| "resource" |
| ], |
| "properties": { |
| "kind": { |
| "type": "string", |
| "enum": [ |
| "struct", |
| "table", |
| "union" |
| ] |
| }, |
| "resource": { |
| "type": "boolean" |
| } |
| } |
| }, |
| { |
| "type": "object", |
| "required": [ |
| "kind" |
| ], |
| "properties": { |
| "kind": { |
| "type": "string", |
| "enum": [ |
| "bits", |
| "const", |
| "enum", |
| "interface", |
| "service", |
| "experimental_resource", |
| "type_alias" |
| ] |
| } |
| } |
| } |
| ] |
| } |
| } |
| }, |
| "library": { |
| "description": "Definition of library", |
| "type": "object", |
| "required": [ |
| "name", |
| "declarations" |
| ], |
| "properties": { |
| "name": { |
| "description": "Name of library", |
| "$ref": "#/definitions/library-identifier" |
| }, |
| "declarations": { |
| "description": "Declarations of library", |
| "$ref": "#/definitions/external-declarations-map" |
| } |
| } |
| }, |
| "type": { |
| "description": "Definition of type", |
| "oneOf": [ |
| { |
| "description": "Selection of array type", |
| "$ref": "#/definitions/array-type" |
| }, |
| { |
| "description": "Selection of vector type", |
| "$ref": "#/definitions/vector-type" |
| }, |
| { |
| "description": "Selection of string type", |
| "$ref": "#/definitions/string-type" |
| }, |
| { |
| "description": "Selection of handle type", |
| "$ref": "#/definitions/handle-type" |
| }, |
| { |
| "description": "Selection of request type", |
| "$ref": "#/definitions/request-type" |
| }, |
| { |
| "description": "Selection of primitive type", |
| "$ref": "#/definitions/primitive-type" |
| }, |
| { |
| "description": "Selection of identifier type", |
| "$ref": "#/definitions/identifier-type" |
| } |
| ] |
| }, |
| "array-type": { |
| "description": "Definition of array type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "element_type", |
| "element_count" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as array type", |
| "type": "string", |
| "enum": [ |
| "array" |
| ] |
| }, |
| "element_type": { |
| "description": "Element type of array type", |
| "$ref": "#/definitions/type" |
| }, |
| "element_count": { |
| "description": "Number of elements in array type", |
| "$ref": "#/definitions/count" |
| } |
| } |
| }, |
| "vector-type": { |
| "description": "Definition of vector type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "element_type", |
| "nullable" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as vector type", |
| "type": "string", |
| "enum": [ |
| "vector" |
| ] |
| }, |
| "element_type": { |
| "description": "Element type of vector type", |
| "$ref": "#/definitions/type" |
| }, |
| "maybe_element_count": { |
| "description": "Optional number of maximum elements in vector type", |
| "$ref": "#/definitions/count" |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability of vector type", |
| "type": "boolean" |
| } |
| } |
| }, |
| "string-type": { |
| "description": "Definition of string type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "nullable" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as string type", |
| "type": "string", |
| "enum": [ |
| "string" |
| ] |
| }, |
| "maybe_element_count": { |
| "description": "Optional size of string, in bytes", |
| "$ref": "#/definitions/count" |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability of string type", |
| "type": "boolean" |
| } |
| } |
| }, |
| "handle-type": { |
| "description": "Definition of a handle type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "subtype", |
| "rights", |
| "nullable" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as handle type", |
| "type": "string", |
| "enum": [ |
| "handle" |
| ] |
| }, |
| "subtype": { |
| "description": "Sub-type of handle type", |
| "$ref": "#/definitions/handle-subtype" |
| }, |
| "rights": { |
| "description": "Rights that must be present on a handle", |
| "type": "integer" |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability of handle type", |
| "type": "boolean" |
| } |
| } |
| }, |
| "request-type": { |
| "description": "Definition of a request type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "subtype", |
| "nullable" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as request type", |
| "type": "string", |
| "enum": [ |
| "request" |
| ] |
| }, |
| "subtype": { |
| "description": "Interface name of request type", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability of request type", |
| "type": "boolean" |
| } |
| } |
| }, |
| "attributes-list": { |
| "description": "Definition of an attribute list", |
| "type": "array", |
| "items": { |
| "description": "List of attributes", |
| "$ref": "#/definitions/attribute" |
| } |
| }, |
| "attribute": { |
| "description": "Definition of an attribute list element", |
| "type": "object", |
| "required": [ |
| "name", |
| "value" |
| ], |
| "properties": { |
| "name": { |
| "description": "Attribute name", |
| "type": "string" |
| }, |
| "value": { |
| "description": "Attribute value", |
| "type": "string" |
| } |
| } |
| }, |
| "primitive-type": { |
| "description": "Definition of primitive type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "subtype" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as primitive type", |
| "type": "string", |
| "enum": [ |
| "primitive" |
| ] |
| }, |
| "subtype": { |
| "description": "Sub-type of the primitive type", |
| "$ref": "#/definitions/primitive-subtype" |
| } |
| } |
| }, |
| "identifier-type": { |
| "description": "Definition of an identifier type", |
| "type": "object", |
| "required": [ |
| "kind", |
| "identifier", |
| "nullable" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of base type as identifier type", |
| "type": "string", |
| "enum": [ |
| "identifier" |
| ] |
| }, |
| "identifier": { |
| "description": "Identifier type name", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "nullable": { |
| "description": "Flag indicating nullability of identifier type", |
| "type": "boolean" |
| } |
| } |
| }, |
| "constant": { |
| "description": "Definition of a constant value", |
| "oneOf": [ |
| { |
| "description": "Selection of a constant value (using an identifier)", |
| "$ref": "#/definitions/identifier-constant" |
| }, |
| { |
| "description": "Selection of a constant value (using a literal)", |
| "$ref": "#/definitions/literal-constant" |
| }, |
| { |
| "description": "Selection of a constant value (using a binary operator)", |
| "$ref": "#/definitions/binary-operator-constant" |
| } |
| ] |
| }, |
| "identifier-constant": { |
| "description": "Definition of a constant value (using an identifier)", |
| "type": "object", |
| "required": [ |
| "kind", |
| "identifier", |
| "value", |
| "expression" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of constant value using an identifier", |
| "type": "string", |
| "enum": [ |
| "identifier" |
| ] |
| }, |
| "identifier": { |
| "description": "Identifier used as constant value", |
| "$ref": "#/definitions/compound-identifier" |
| }, |
| "value": { |
| "description": "Evaluated value of the constant", |
| "type": "string" |
| }, |
| "expression": { |
| "description": "Expression used in source code to define the constant", |
| "type": "string" |
| } |
| } |
| }, |
| "binary-operator-constant": { |
| "description": "Definition of a constant value (using a binary operator)", |
| "type": "object", |
| "required": [ |
| "kind", |
| "value", |
| "expression" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of constant value using a literal", |
| "type": "string", |
| "enum": [ |
| "binary_operator" |
| ] |
| }, |
| "value": { |
| "description": "Evaluated value of the constant", |
| "type": "string" |
| }, |
| "expression": { |
| "description": "Expression used in source code to define the constant", |
| "type": "string" |
| } |
| } |
| }, |
| "literal-constant": { |
| "description": "Definition of a constant value (using a literal)", |
| "type": "object", |
| "required": [ |
| "kind", |
| "literal", |
| "value", |
| "expression" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of constant value using a literal", |
| "type": "string", |
| "enum": [ |
| "literal" |
| ] |
| }, |
| "literal": { |
| "description": "Literal used as constant value", |
| "$ref": "#/definitions/literal-value" |
| }, |
| "value": { |
| "description": "Evaluated value of the constant", |
| "type": "string" |
| }, |
| "expression": { |
| "description": "Expression used in source code to define the constant", |
| "type": "string" |
| } |
| } |
| }, |
| "literal-value": { |
| "description": "Definition of a literal constant value", |
| "type": "object", |
| "required": [ |
| "kind", |
| "value", |
| "expression" |
| ], |
| "properties": { |
| "kind": { |
| "description": "Selection of string literal type", |
| "type": "string", |
| "enum": [ |
| "string", |
| "numeric", |
| "true", |
| "false" |
| ] |
| }, |
| "value": { |
| "description": "Resolved constant value", |
| "type": "string" |
| }, |
| "expression": { |
| "description": "Original in source constant value, may be a const expression.", |
| "type": "string" |
| } |
| } |
| }, |
| "location": { |
| "type": "object", |
| "required": [ |
| "filename", |
| "line", |
| "column", |
| "length" |
| ], |
| "properties": { |
| "filename": { |
| "type": "string" |
| }, |
| "line": { |
| "type": "integer", |
| "minimum": 1, |
| "maximum": 4294967295 |
| }, |
| "column": { |
| "type": "integer", |
| "minimum": 1, |
| "maximum": 4294967295 |
| }, |
| "length": { |
| "type": "integer", |
| "minimum": 0, |
| "maximum": 4294967295 |
| } |
| } |
| }, |
| "handle-subtype": { |
| "description": "Definition of handle sub-type", |
| "type": "string", |
| "enum": [ |
| "handle", |
| "bti", |
| "channel", |
| "clock", |
| "debuglog", |
| "event", |
| "eventpair", |
| "exception", |
| "fifo", |
| "guest", |
| "interrupt", |
| "iommu", |
| "job", |
| "pager", |
| "pcidevice", |
| "pmt", |
| "port", |
| "process", |
| "profile", |
| "resource", |
| "socket", |
| "stream", |
| "suspendtoken", |
| "thread", |
| "timer", |
| "vcpu", |
| "vmar", |
| "vmo" |
| ] |
| }, |
| "primitive-subtype": { |
| "description": "Definition of primitive sub-type", |
| "oneOf": [ |
| { |
| "description": "Selection of non-integer primitive sub-type", |
| "type": "string", |
| "enum": [ |
| "bool", |
| "float32", |
| "float64" |
| ] |
| }, |
| { |
| "description": "Selection of integer primitive sub-type", |
| "$ref": "#/definitions/integer-type" |
| } |
| ] |
| }, |
| "integer-type": { |
| "description": "Definition of integer primitive sub-type", |
| "type": "string", |
| "enum": [ |
| "int8", |
| "int16", |
| "int32", |
| "int64", |
| "uint8", |
| "uint16", |
| "uint32", |
| "uint64" |
| ] |
| }, |
| "ordinal": { |
| "description": "Definition of ordinal", |
| "type": "integer", |
| "minimum": 1, |
| "maximum": 9223372036854775807 |
| }, |
| "count": { |
| "description": "Definition of count", |
| "type": "integer", |
| "minimum": 0, |
| "maximum": 4294967295 |
| }, |
| "compound-identifier": { |
| "description": "Definition of compound identifier", |
| "type": "string", |
| "pattern": "([_A-Za-z][_A-Za-z0-9]*-)*[_A-Za-z][_A-Za-z0-9]*/[_A-Za-z][_A-Za-z0-9]*" |
| }, |
| "identifier": { |
| "description": "Definition of identifier", |
| "type": "string", |
| "pattern": "^[A-Za-z]([_A-Za-z0-9]*[A-Za-z0-9])?$" |
| }, |
| "library-identifier": { |
| "description": "Definition of library identifier", |
| "type": "string", |
| "pattern": "^[a-z][a-z0-9]*(\\.[a-z][a-z0-9]*)*$" |
| }, |
| "version": { |
| "description": "Definition of version regex", |
| "type": "string", |
| "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+$" |
| } |
| }, |
| "additionalProperties": false |
| } |
