pragma类 final

对工具的提示。

与Dart程序一起工作的工具可以接受提示以指导其行为，作为声明上的pragma注释。每个工具决定它接受哪些提示，它们的意思，以及它们是否以及如何应用于被注释实体的子部分。

识别pragma提示的工具应选择一个pragma前缀来识别该工具。它们应识别任何以它们的前缀开头后跟:的提示，就像它是为该工具设计的。具有另一个工具前缀的提示应被忽略（除非与其他工具的兼容性是一个目标）。

如果工具会识别带有其前缀的该名称，则工具还可以识别未加前缀的名称。

如果提示可以参数化，则还可以添加额外的options对象。

例如

@pragma('Tool:pragma-name', [param1, param2, ...])
class Foo { }

@pragma('OtherTool:other-pragma')
void foo() { }

在此示例中，类Foo被注解为特定于工具的pragma 'pragma-name'，函数foo被注解为特定于OtherTool的pragma 'other-pragma'。