.cml 文件包含一个包含以下键的 json5 对象字面量。
在需要字符串值的地方,通常会记录有效值的列表。以下字符串值类型会重复使用,并且必须遵循特定规则。
.cml 文件会编译为 FIDL 线格式 (.cm) 文件。
字符串类型
姓名
功能和组件的子项都已命名。名称字符串可以由以下一个或多个字符组成:A-Z、a-z、0-9、_、.、-。其长度不得超过 255 个字符,且不得以 . 或 - 开头。
路径
路径是一系列由 / 字符分隔的名称。路径的长度不得超过 4095 个字符。在整个文档中,
- 相对路径不能以
/字符开头。 - 命名空间和传出目录路径必须以
/字符开头。
参考文档
引用字符串采用 #<name> 的形式,其中 <name> 是指子项的名称:
顶级键
include
string 数组(可选)
可选的 include 属性用于描述要合并到此组件清单中的零个或多个其他组件清单文件。例如:
include: [ "syslog/client.shard.cml" ]
在上面的示例中,组件清单包含 syslog 库提供的清单分片中的内容,从而确保组件在运行时尝试写入 syslog 时能够正常运行。按照惯例,此类文件称为“清单分片”,并以 .shard.cml 结尾。
以 // 开头的 include 路径相对于 Fuchsia 检出源代码的根目录。不过,未以 // 开头的 include 路径(如上例所示)会从导出组件清单分片的 Fuchsia SDK 库 (//sdk/lib) 解析。
请注意,在 Fuchsia 检出目录中,这两个包含路径是等效的:
syslog/client.shard.cml//sdk/lib/syslog/client.shard.cml
您可以通过调用以下命令,查看将所有包含文件合并到组件清单文件中的结果:
fx cmc include cml_file --includeroot $FUCHSIA_DIR --includepath $FUCHSIA_DIR/sdk/lib
包含功能可处理引用同一 capability 的多余 use、offer、expose 或 capabilities 声明,前提是这些声明的属性相同。例如:
// my_component.cml
include: [ "syslog.client.shard.cml" ]
use: [
{
protocol: [
"fuchsia.posix.socket.Provider",
"fuchsia.logger.LogSink",
],
},
],
// syslog.client.shard.cml
use: [
{ protocol: "fuchsia.logger.LogSink" },
],
在此示例中,合并后的文件的内容将与 my_component.cml 相同,因为 fuchsia.logger.LogSink 已被删除重复项。
不过,这会导致编译失败:
// my_component.cml
include: [ "syslog.client.shard.cml" ]
use: [
{
protocol: "fuchsia.logger.LogSink",
// properties for fuchsia.logger.LogSink don't match
from: "#archivist",
},
],
// syslog.client.shard.cml
use: [
{ protocol: "fuchsia.logger.LogSink" },
],
availability 属性是此限制的例外情况。如果两个路由声明完全相同,并且其中一个可用性更强,则系统会将可用性“提升”为更强的值(如果缺少 availability,则默认为 required)。例如:
// my_component.cml
include: [ "syslog.client.shard.cml" ]
use: [
{
protocol: [
"fuchsia.posix.socket.Provider",
"fuchsia.logger.LogSink",
],
availability: "optional",
},
],
// syslog.client.shard.cml
use: [
{
protocol: "fuchsia.logger.LogSink
availability: "required", // This is the default
},
],
会变为:
use: [
{
protocol: "fuchsia.posix.socket.Provider",
availability: "optional",
},
{
protocol: "fuchsia.logger.LogSink",
availability: "required",
},
],
包含关系是传递性的,这意味着分片可以有自己的包含关系。
包含路径可以有菱形依赖项。例如,以下是有效的:A 包含 B、A 包含 C、B 包含 D、C 包含 D。在这种情况下,A 将传递性地包含 B、C、D。
包含路径不能有循环。例如,以下情况无效:A 包含 B,B 包含 A。上述循环会导致编译时错误。
program
object(可选)
可执行的组件包含 program 部分。program 部分必须设置 runner 属性,以选择用于运行组件的运行程序。program 部分其余内容的格式由该特定运行程序决定。
ELF 运行程序
如果组件使用 ELF 运行程序,program 必须至少包含以下属性:
runner:必须设置为"elf"binary:可执行二进制文件的软件包相对路径args(可选):参数列表
示例:
program: {
runner: "elf",
binary: "bin/hippo",
args: [ "Hello", "hippos!" ],
},
如需查看完整的属性列表,请参阅:ELF 运行程序
其他跑者
如果组件使用自定义运行程序,则 program 诗节中除 runner 之外的值是特定于运行程序的。运行程序会将参数作为键值对的字典接收。请参阅所使用的具体运行程序,以确定它预计会收到哪些键以及如何解读这些键。
children
object 数组(可选)
children 部分声明子组件实例,如子组件实例中所述。
name:(string)子组件实例的名称,是一个由以下一个或多个字符组成的字符串:a-z、0-9、_、.、-。此名称用于在引用中标识此组件。url:(string)子组件实例的组件网址。startup:(string)组件实例的启动模式。以下各项中的一项:lazy(默认):仅当其他组件实例绑定到该组件实例时启动该组件实例。eager:在其父级启动后立即启动组件实例。
on_terminate:(可选string)用于确定在此组件终止时要应用的故障恢复政策。none(默认):不执行任何操作。reboot:如果组件因优雅退出以外的任何原因而终止,则优雅重启系统。这是一项特殊功能,仅供一小部分组件使用;如需了解详情,请参阅终止政策。
environment:(可选string)如果存在,则为要分配给子组件实例的环境的名称,即environments之一。如果省略,子组件将继承分配给此组件的相同环境。
示例:
children: [
{
name: "logger",
url: "fuchsia-pkg://fuchsia.com/logger#logger.cm",
},
{
name: "pkg_cache",
url: "fuchsia-pkg://fuchsia.com/pkg_cache#meta/pkg_cache.cm",
startup: "eager",
},
{
name: "child",
url: "#meta/child.cm",
}
],
collections
object 数组(可选)
collections 部分声明了集合,如组件集合中所述。
name:(string)组件集合的名称,是一个由以下一个或多个字符组成的字符串:a-z、0-9、_、.、-。此名称用于在引用中标识此集合。durability:(string)集合中子组件实例的持续时间。transient:实例会一直存在,直到其父级停止或被显式销毁。single_run:实例在创建时启动,在停止时销毁。
environment:(可选string)如果存在,则为要分配给此集合中实例的环境,即environments之一。如果省略,此集合中的实例将继承分配给此组件的相同环境。allowed_offers:(可选string)定位到此集合中的组件的动态商品的约束条件。在调用fuchsia.component.Realm/CreateChild时指定动态商品。static_only:仅限此.cml文件中指定的值。没有动态优惠。 这是默认值。static_and_dynamic:允许使用静态优惠和使用CreateChild在运行时指定的优惠。
allow_long_names:(可选bool)允许子级名称的长度最多为 1024 个字符,而不是通常的 255 个字符限制。 默认值为 false。persistent_storage:(可选bool)如果设置为true,动态子实例及其后代使用的隔离存储区中的数据将在实例被销毁后保留。使用相同名称创建的新子实例将与之前的实例共用相同的存储路径。
示例:
collections: [
{
name: "tests",
durability: "transient",
},
],
environments
object 数组(可选)
environments 部分声明环境,如环境中所述。
name:(string)环境名称,是一个字符串,其中包含一个或多个以下字符:a-z、0-9、_、.、-。此名称用于在引用中标识此环境。extends:(可选string)环境应如何扩展此领域的环境。realm:继承此组件的环境中的所有属性。none:从空环境开始,不继承任何内容。
runners:(可选的object数组)在环境中注册的运行程序。一个对象数组,具有以下属性:resolvers:(可选的object数组)在环境中注册的解析器。一个对象数组,具有以下属性:debug:(可选的object数组)可供通过use from debug获取的此环境中的任何组件使用的调试协议。protocol:(可选string or array of strings)要提供的协议的名称。from:(string)功能的来源,可以是以下任一项:parent:组件的父级。self:此组件。#<child-name>:对子组件实例的引用。
as:(可选string)如果指定,则为protocol中的 capability 提供给客户端的名称。如果protocol是数组,则不得使用。
__stop_timeout_ms:(可选number)在通知此环境中的组件应终止后,等待强制终止该组件之前的等待时间(以毫秒为单位)。如果环境从none扩展,则此字段为必填字段。
示例:
environments: [
{
name: "test-env",
extends: "realm",
runners: [
{
runner: "gtest-runner",
from: "#gtest",
},
],
resolvers: [
{
resolver: "full-resolver",
from: "parent",
scheme: "fuchsia-pkg",
},
],
},
],
capabilities
object 数组(可选)
capabilities 部分定义了此组件提供的功能。必须在此处声明 self 提供或公开的功能。
功能字段
它支持以下 capability 键。必须设置其中一个:
protocol:(可选string or array of strings)service:(可选string or array of strings)directory:(可选string)storage:(可选string)runner:(可选string)resolver:(可选string)event_stream:(可选string or array of strings)dictionary:(可选string)config:(可选string)
其他字段
此格式支持以下额外字段:
path:(可选string)组件程序的传出目录中用于获取 capability 的路径。对于
protocol和service,默认为/svc/${protocol};否则为必需项。对于
protocol,路径的目标必须是通道,该通道通常使用与此 capability 名称匹配的协议。对于
service、directory,路径的目标必须是目录。对于
runner,路径的目标必须是通道,并且必须使用协议fuchsia.component.runner.ComponentRunner。对于
resolver,路径的目标必须是通道,并且必须使用协议fuchsia.component.resolution.Resolver。对于
dictionary,这是可选的。如果提供,则是指程序提供的fuchsia.component.sandbox/DictionaryRouter的路径,该路径应返回fuchsia.component.sandbox/DictionaryRef,以便程序可以动态提供自身的字典。如果为dictionary设置此值,则不允许对此字典执行offer。rights:(可选array of string)(仅限directory)使用此目录时可以设置的最大目录权限。from:(可选string)(仅限storage)为此存储功能提供支持的现有目录功能的来源组件,以下各项之一:parent:组件的父级。self:此组件。#<child-name>:对子组件实例的引用。
backing_dir:(可选string)(仅限storage)用于支持存储空间的目录功能的名称。该 capability 必须可从from中引用的组件获取。subdir:(可选string)(仅限storage)backing_dir中的子目录,用于创建各个组件的隔离存储目录storage_id:(可选string)(仅限storage)用于为组件隔离存储空间的标识符,可以是以下各项之一:static_instance_id:组件 ID 索引中的实例 ID 用作组件存储空间的键。未在组件 ID 索引中列出的组件将无法使用此存储功能。static_instance_id_or_moniker:如果组件已列在组件 ID 索引中,实例 ID 将用作组件存储空间的键。否则,系统会使用存储功能中的组件标识名。
type:(可选string)(仅限configuration)配置类型,可以是以下之一:bool:布尔值类型。uint8:无符号 8 位类型。uint16:无符号 16 位类型。uint32:无符号 32 位类型。uint64:无符号 64 位类型。int8:有符号 8 位类型。int16:有符号 16 位类型。int32:有符号 32 位类型。int64:有符号 64 位类型。string:ASCII 字符串类型。vector:矢量类型。如需了解矢量中的元素类型,请参阅element。
max_size:(可选non-zero number)(仅限configuration)仅当此配置type为“字符串”时受支持。 这是字符串的大小上限。max_count:(可选non-zero number)(仅限configuration)仅当此配置type为“vector”时受支持。 这是向量中的元素数量上限。element:(可选object)(仅限configuration)仅当此配置type为“vector”时受支持。 这是配置矢量中的元素类型。示例(简单类型):
{ type: "uint8" }示例(字符串类型):
{ type: "string", max_size: 100, }value:(可选any)(仅限configuration)配置的值。delivery:(可选string)(仅限protocol)指定在有人请求该 capability 时,框架何时从此组件的传出目录打开该协议。允许的值有:eager:(默认)框架会在某个使用方组件请求时立即打开该 capability。on_readable:当连接请求中流水线化的服务器端点变为可读时,框架会打开该 capability。
use
object 数组(可选)
对于可执行组件,在运行时在其命名空间中声明此组件所需的功能。除非另有说明,否则功能会从 parent 路由,并且每个功能都必须通过此组件和功能来源之间的所有组件具有有效的路由。
功能字段
它支持以下 capability 键。必须设置其中一个:
service:(可选string or array of strings)directory:(可选string)protocol:(可选string or array of strings)dictionary:(可选string)storage:(可选string)event_stream:(可选string or array of strings)runner:(可选string)config:(可选string)
其他字段
此格式支持以下额外字段:
from:(可选string)功能的来源。默认值为parent。以下任一项:parent:组件的父级。debug:分配给此组件的环境中的 [debug_capabilities][fidl-environment-decl] 之一。framework:组件框架运行时。self:此组件。#<capability-name>:派生所请求 capability 的另一 capability 的名称。#<child-name>:对子组件实例的引用。
[fidl-environment-decl]: /reference/fidl/fuchsia.component.decl#Environment
path:(可选string)用于在组件的命名空间中安装 capability 的路径。对于协议,默认值为/svc/${protocol}。directory和storage的必需参数。不允许为包含 capability 名称数组的声明和 runner capability 使用此属性。rights:(可选array of string)(仅限directory)要应用于组件命名空间中的目录的最大目录权限。subdir:(可选string)(仅限directory)目录功能中的子目录,用于在组件的命名空间中提供。scope:(可选)string or array of strings(仅限event_stream)定义后,事件流将仅包含与范围中定义的组件相关的事件。filter:(可选object)(仅限event_stream)请求了 capability 的事件流需要指定一个过滤条件,该过滤条件引用事件流中事件适用的协议。过滤条件的内容将是从“名称”到“协议名称”的对象映射。dependency:(可选string)来源与此组件之间的依赖项类型,可以是以下之一:strong:强依赖项,用于确定关闭顺序。组件管理器一定会在来源之前停止目标。这是默认值。weak:弱依赖项,在关闭期间会被忽略。当组件管理器停止父级令牌网域时,来源可能会在客户端之前停止。弱依赖项的客户端必须能够处理这些依赖项变得不可用的情况。不允许为运行器功能使用此属性,因为运行器功能始终是strong依赖项。
availability:(可选string)此功能的预期可用性。以下各项中的一项:required(默认):必需的依赖项,如果没有此功能,组件将无法执行其工作。optional:可选依赖项,即使没有此功能,组件也能正常运行(不过,如果此功能不可用,某些功能可能会被停用)。transitional:来源可以完全省略路由,甚至无需从void路由。用于引入新功能的软过渡。不允许为运行器功能使用此属性,因为运行器功能始终为required。
如需了解详情,请参阅可用性文档。
key:(可选string)(仅限config)此 capability 将设置的组件config块中的配置键。type:(可选string)(仅限config)配置类型,可以是以下之一:bool:布尔值类型。uint8:无符号 8 位类型。uint16:无符号 16 位类型。uint32:无符号 32 位类型。uint64:无符号 64 位类型。int8:有符号 8 位类型。int16:有符号 16 位类型。int32:有符号 32 位类型。int64:有符号 64 位类型。string:ASCII 字符串类型。vector:矢量类型。如需了解矢量中的元素类型,请参阅element
max_size:(可选non-zero number)(仅限configuration)仅当此配置type为“字符串”时受支持。 这是字符串的大小上限。max_count:(可选non-zero number)(仅限configuration)仅当此配置type为“vector”时受支持。 这是向量中的元素数量上限。element:(可选object)(仅限configuration)仅当此配置type为“vector”时受支持。 这是配置矢量中的元素类型。示例(简单类型):
{ type: "uint8" }示例(字符串类型):
{ type: "string", max_size: 100, }default:(可选any)(仅限configuration)此配置的默认值。 如果 capability 是可选的且从void路由,则使用默认值。仅当availability不是required时才支持此操作。
示例:
use: [
{
protocol: [
"fuchsia.ui.scenic.Scenic",
"fuchsia.accessibility.Manager",
]
},
{
directory: "themes",
path: "/data/themes",
rights: [ "r*" ],
},
{
storage: "persistent",
path: "/data",
},
{
event_stream: [
"started",
"stopped",
],
from: "framework",
},
{
runner: "own_test_runner".
from: "#test_runner",
},
],
expose
object 数组(可选)
声明可供父组件或框架使用的功能。从 self 或子组件 expose 是有效的。
功能字段
它支持以下 capability 键。必须设置其中一个:
service:(可选string or array of strings)protocol:(可选string or array of strings)directory:(可选string)runner:(可选string)resolver:(可选string)dictionary:(可选string)config:(可选string)
其他字段
此格式支持以下额外字段:
from:(string or array of strings)from:capability 的来源,以下各项之一:self:此组件。需要相应的capability声明。framework:组件框架运行时。#<child-name>:对子组件实例的引用。
as:(可选string)功能的名称,目标平台将会知道该名称。如果省略,则默认为原始名称。提供多个 capability 名称的数组时,无法使用as。to:(可选string)功能目标。parent或framework。默认设置为parent。rights:(可选array of string)(仅限directory)要应用于公开的目录功能的最大目录权限。subdir:(可选string)(仅限directory)要路由的来源目录 capability 中的子目录的相对路径。event_stream:(可选string or array of strings)(仅限event_stream)要公开的事件流的名称。scope:(可选string or array of strings)(仅限event_stream)要公开的事件流的范围。这用于缩小事件流引用的组件范围,使其仅引用在该作用域中定义的组件。availability:(可选string)availability(可选):此功能可用性方面的预期。会影响构建时和运行时路由验证。以下任一项:required(默认):必需的依赖项,源必须存在并提供它。当此公开的目标需要此 capability 才能正常运行时,请使用此属性。optional:可选依赖项。如果公开的目标无论是否具有此功能都能正常运行,请使用此值。目标不得对该 capability 有required依赖项。此公开的最终来源必须是void或实际组件。same_as_target:此功能的可用性预期将与目标设备一致。如果目标平台需要该 capability,则此字段会设置为required。如果目标对该 capability 有可选依赖项,则该字段会设置为optional。transitional:与optional类似,但可以容忍缺少来源。仅在多步代码更改的过渡期内使用此方法,以避免验证错误。
如需了解详情,请参阅可用性文档。
source_availability:(可选string)此商品的来源是否必须存在。以下任一项:required(默认):必须在此清单中定义来源 (from)。unknown:如果在处理包含项后,此清单中未定义此商品的来源 (from),则此商品的来源将重写为void。
示例:
expose: [
{
directory: "themes",
from: "self",
},
{
protocol: "pkg.Cache",
from: "#pkg_cache",
as: "fuchsia.pkg.PackageCache",
},
{
protocol: [
"fuchsia.ui.app.ViewProvider",
"fuchsia.fonts.Provider",
],
from: "self",
},
{
runner: "web-chromium",
from: "#web_runner",
as: "web",
},
{
resolver: "full-resolver",
from: "#full-resolver",
},
],
offer
object 数组(可选)
功能字段
它支持以下 capability 键。必须设置其中一个:
protocol:(可选string or array of strings)service:(可选string or array of strings)directory:(可选string)storage:(可选string)runner:(可选string)resolver:(可选string)event_stream:(可选string or array of strings)dictionary:(可选string)config:(可选string)
其他字段
此格式支持以下额外字段:
service:(可选string or array of strings)路由服务时,服务 capability 的名称。protocol:(可选string or array of strings)路由协议时,协议功能的名称。directory:(可选string or array of strings)路由目录时,目录 capability 的名称。runner:(可选string or array of strings)路由运行程序时,运行程序 capability 的名称。resolver:(可选string or array of strings)在路由解析器时,解析器 capability 的名称。storage:(可选string or array of strings)在路由存储空间功能时,存储空间功能的名称。dictionary:(可选string or array of strings)路由字典时,字典 capability 的名称。config:(可选string or array of strings)路由配置时,配置 capability 的名称。from:(string or array of strings)from:capability 的来源,以下各项之一:parent:组件的父级。此来源可用于所有 capability 类型。self:此组件。需要相应的capability声明。framework:组件框架运行时。#<child-name>:对子组件实例的引用。仅当提供协议、目录或运行程序功能时才能使用此来源。void:故意省略了来源。仅在availability为optional或transitional时有效。
to:(string or array of strings)功能目标。以下各项中的一项:as:(可选string)功能的显式名称,因为目标会知道该名称。如果省略,则默认为原始名称。提供包含多个名称的数组时,无法使用as。dependency:(可选string)源代码和目标之间依赖项的类型,可以是以下之一:strong:强依赖项,用于确定关闭顺序。组件管理器一定会在来源之前停止目标。这是默认值。weak:弱依赖项,在关闭期间会被忽略。当组件管理器停止父级领域时,来源可能会在客户端之前停止。弱依赖项的客户端必须能够处理这些依赖项变得不可用的情况。
rights:(可选array of string)(仅限directory)要应用于提供的目录功能的最大目录权限。subdir:(可选string)(仅限directory)要路由的来源目录 capability 中的子目录的相对路径。event_stream:(可选string or array of strings)(仅限event_stream)提供的事件串流的名称。scope:(可选string or array of strings)(仅限event_stream)定义后,事件流将仅包含与范围中定义的组件相关的事件。availability:(可选string)availability(可选):此功能可用性方面的预期。会影响构建时和运行时路由验证。以下任一项:required(默认):必需的依赖项,源必须存在并提供它。如果此优惠的目标平台需要此功能才能正常运行,请使用此属性。optional:可选依赖项。如果商品的目标对象无论是否具有此功能都能正常运行,请使用此值。目标不得对该 capability 有required依赖项。此优惠的最终来源必须是void或实际组件。same_as_target:此功能的可用性预期将与目标设备一致。如果目标平台需要该 capability,则此字段会设置为required。如果目标对该 capability 有可选依赖项,则该字段会设置为optional。transitional:与optional类似,但可以容忍缺少来源。仅在多步代码更改的过渡期间使用此属性,以避免验证错误。
如需了解详情,请参阅可用性文档。
source_availability:(可选string)此商品的来源是否必须存在。以下任一项:required(默认):必须在此清单中定义来源 (from)。unknown:如果在处理包含项后,此清单中未定义此商品的来源 (from),则此商品的来源将重写为void。
示例:
offer: [
{
protocol: "fuchsia.logger.LogSink",
from: "#logger",
to: [ "#fshost", "#pkg_cache" ],
dependency: "weak",
},
{
protocol: [
"fuchsia.ui.app.ViewProvider",
"fuchsia.fonts.Provider",
],
from: "#session",
to: [ "#ui_shell" ],
dependency: "strong",
},
{
directory: "blobfs",
from: "self",
to: [ "#pkg_cache" ],
},
{
directory: "fshost-config",
from: "parent",
to: [ "#fshost" ],
as: "config",
},
{
storage: "cache",
from: "parent",
to: [ "#logger" ],
},
{
runner: "web",
from: "parent",
to: [ "#user-shell" ],
},
{
resolver: "full-resolver",
from: "parent",
to: [ "#user-shell" ],
},
{
event_stream: "stopped",
from: "framework",
to: [ "#logger" ],
},
],
facets
object(可选)
包含组件可出于自身用途解读的元数据。组件框架不会强制执行此部分的架构,但第三方可能希望其切面遵循特定架构。
config
object(可选)
组件定义的配置架构。每个键代表架构中的一个字段。
配置字段是 JSON 对象,必须定义一个 type,该值可以是以下字符串之一:bool、uint8、int8、uint16、int16、uint32、int32、uint64、int64、string、vector
示例:
config: {
debug_mode: {
type: "bool"
},
}
默认情况下,系统会从组件的软件包中解析字段。如需在运行时更改值,则需要 mutability 说明符。
示例:
config: {
verbose: {
type: "bool",
mutability: [ "parent" ],
},
},
目前,"parent" 是唯一受支持的可变性说明符。
字符串必须将 max_size 属性定义为非零整数。
示例:
config: {
verbosity: {
type: "string",
max_size: 20,
}
}
矢量必须将 max_count 属性设为非零整数。矢量还必须将 element 属性设置为一个 JSON 对象,用于描述矢量中包含的元素。矢量可以包含布尔值、整数和字符串,但不能包含其他矢量。
示例:
config: {
tags: {
type: "vector",
max_count: 20,
element: {
type: "string",
max_size: 50,
}
}
}