wartremover/org.wartremover/Plugin

Plugin

class Plugin extends StandardPlugin
Companion:
object
trait StandardPlugin
trait Plugin
class Object
trait Matchable
class Any

Value members

Concrete methods

override def description: String

A one-line description of the plugin

A one-line description of the plugin

Definition Classes
Plugin
override 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, -P:plugname:opt1,opt2 becomes List(opt1, opt2)

Returns:

a list of phases to be added to the phase plan

Definition Classes
StandardPlugin
override def name: String

The name of this plugin

The name of this plugin

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.

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.

Inherited from:
Plugin