scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.semanticdb/Diagnostic/Severity

Severity

dotty.tools.dotc.semanticdb.Diagnostic$.Severity$
See theSeverity companion class
object Severity

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case object ERROR extends Severity with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
ERROR.type
case object HINT extends Severity with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
HINT.type
case object INFORMATION extends Severity with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
sealed trait Recognized extends Severity

Attributes

Graph
Supertypes
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
object ERROR.type
object HINT.type
object INFORMATION.type
object UNKNOWN_SEVERITY.type
object WARNING.type
case object UNKNOWN_SEVERITY extends Severity with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
final case class Unrecognized(unrecognizedValue: Int) extends Severity with SemanticdbUnrecognizedEnum

Attributes

Graph
Supertypes
trait SemanticdbUnrecognizedEnum
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
case object WARNING extends Severity with Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
class Severity
trait SemanticdbGeneratedEnum
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
WARNING.type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def fromValue(`__value`: Int): Severity

Concrete fields

lazy val values: Seq[Recognized]

Givens

Givens

Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL