The name of the main Plugin class.
A short name of the plugin, used to identify it in various contexts.
A short name of the plugin, used to identify it in various contexts. The phase defined by the plugin should have the same name.
An XML representation of this description.
An XML representation of this description. It can be
read back using PluginDescription.fromXML
.
It should be stored inside the jar archive file.
(pluginDescription: StringAdd).self
(pluginDescription: StringFormat).self
(pluginDescription: ArrowAssoc[PluginDescription]).x
(Since version 2.10.0) Use leftOfArrow
instead
(pluginDescription: Ensuring[PluginDescription]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A description of a compiler plugin, suitable for serialization to XML for inclusion in the plugin's .jar file.
A short name of the plugin, used to identify it in various contexts. The phase defined by the plugin should have the same name.
The name of the main Plugin class.
1.0, 2007-5-21