scala3-compiler-bootstrapped/dotty.tools.dotc.plugins/StandardPlugin

StandardPlugin

trait StandardPlugin extends Plugin

A standard plugin can be inserted into the normal compilation pipeline

trait Plugin
class Object
trait Matchable
class Any

Value members

Abstract methods

def init(options: List[String]): List[PluginPhase]

Non-research plugins should override this method to return the phases

Non-research plugins should override this method to return the phases

Value parameters:
options:

commandline options to the plugin, -P:plugname:opt1,opt2 becomes List(opt1, opt2)

Returns:

a list of phases to be added to the phase plan

Inherited methods

def description: String

A one-line description of the plugin

A one-line description of the plugin

Inherited from:
Plugin
def isResearch: Boolean

Is this plugin a research plugin?

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.

Inherited from:
Plugin
def name: String

The name of this plugin

The name of this plugin

Inherited from:
Plugin

Inherited fields

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.

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.

Inherited from:
Plugin