scala3profile
API
Generated with
scala3profile/scala3profile/Scala3Profile

Scala3Profile

scala3profile.Scala3Profile
class Scala3Profile extends ResearchPlugin

Attributes

Graph
Supertypes
trait ResearchPlugin
trait Plugin
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def description: String

A one-line description of the plugin

A one-line description of the plugin

Attributes

Definition Classes
Plugin
override def init(options: List[String], phasesList: List[List[Phase]])(using c: Context): List[List[Phase]]

Research plugins should override this method to return the new phase plan

Research plugins should override this method to return the new phase plan

Any plugin phases included in the plan must be freshly constructed (not reused and returned again on subsequent calls).

Value parameters

options

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

plan

the given phase plan

Attributes

Returns

the new phase plan

Definition Classes
ResearchPlugin
override def name: String

The name of this plugin

The name of this plugin

Attributes

Definition Classes
Plugin

Inherited methods

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.

Attributes

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.

Attributes

Inherited from:
Plugin
Generated with