ArgsSummary

dotty.tools.dotc.config.Settings.ArgsSummary
case class ArgsSummary(sstate: SettingsState, arguments: List[String], errors: List[String], warnings: List[String])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def deprecated(msg: String, altArgs: List[String], args: List[String]): ArgsSummary
Extension method from Settings

Warn and skip, prepending the alternative arguments as substitution.

Warn and skip, prepending the alternative arguments as substitution.

Attributes

def fail(msg: String, arguments: List[String]): ArgsSummary
Extension method from Settings

Error and update arguments

Error and update arguments

Attributes

def fail(msg: String): ArgsSummary
Extension method from Settings

Error without updating arguments

Error without updating arguments

Attributes

def shifted(arguments: List[String]): ArgsSummary
Extension method from Settings

Only shift arguments

Only shift arguments

Attributes

def updated(sstate: SettingsState, arguments: List[String]): ArgsSummary
Extension method from Settings

Update state and shift arguments

Update state and shift arguments

Attributes

def warn(msg: String, arguments: List[String]): ArgsSummary
Extension method from Settings

Warn and update arguments

Warn and update arguments

Attributes

def warn(msg: String): ArgsSummary
Extension method from Settings

Warn without updating arguments

Warn without updating arguments

Attributes

Inherited methods

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product