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

Value members

Concrete methods

def markUsed(): Unit
def used: Boolean

Concrete fields

val start: Int