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

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