StandardPlugin

dotty.tools.dotc.plugins.StandardPlugin
trait StandardPlugin extends Plugin

A standard plugin can be inserted into the normal compilation pipeline

Attributes

Graph
Supertypes
trait Plugin
class Object
trait Matchable
class Any

Members list

Concise view

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

Attributes

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

A one-line description of the plugin

A one-line description of the plugin

Attributes

Inherited from:
Plugin

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.

Attributes

Inherited from:
Plugin

The name of this plugin

The name of this plugin

Attributes

Inherited from:
Plugin

Inherited fields

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.

Attributes

Inherited from:
Plugin