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

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