Dotty Documentation


@Child @Child sealed trait Plugin
extends Object

[-] Constructors

[-] Members

[+] val optionsHelp : Option [ String ]

A description of this plugin's options, suitable as a response to the -help command-line option. Conventionally, the options should be listed with the -P:plugname: part included.

[+] def description : String

A one-line description of the plugin

[+] def isResearch : Boolean

Is this plugin a research plugin?

Research plugin receives a phase plan and return a new phase plan, while non-research plugin returns a list of phases to be inserted.

[+] def name : String

The name of this plugin