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

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

The phases returned must be freshly constructed (not reused and returned again on subsequent calls).

Value parameters

options

commandline options to the plugin.

Attributes

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
def name: String

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