Suppression

dotty.tools.dotc.reporting.Suppression
class Suppression(val annotPos: SourcePosition, filters: List[MessageFilter], val start: Int, end: Int, val verbose: Boolean)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def markUsed(): Unit

Concrete fields

val start: Int