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'。