scala3-compiler-bootstrapped/dotty.tools.dotc.semanticdb/Diagnostic

Diagnostic

object Diagnostic extends SemanticdbGeneratedMessageCompanion[Diagnostic]
Companion:
class
trait Product
trait Mirror
trait SemanticdbGeneratedMessageCompanion[Diagnostic]
class Object
trait Matchable
class Any

Type members

Classlikes

sealed abstract class Severity(val value: Int) extends SemanticdbGeneratedEnum
Companion:
object
object Severity
Companion:
class

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type ValueType = A
Inherited from:
SemanticdbGeneratedMessageCompanion

Value members

Concrete methods

def of(range: Option[Range], severity: Severity, message: String): Diagnostic
def parseFrom(`_input__`: SemanticdbInputStream): Diagnostic

Parses a message from a CodedInputStream.

Parses a message from a CodedInputStream.

Inherited methods

def merge(a: Diagnostic, input: SemanticdbInputStream): A

Merges the given message with the additional fields in the steam.

Merges the given message with the additional fields in the steam.

Inherited from:
SemanticdbGeneratedMessageCompanion
def parseFrom(input: Array[Byte]): A
Inherited from:
SemanticdbGeneratedMessageCompanion

Concrete fields

final val RANGE_FIELD_NUMBER: 1

Givens

Givens

Implicits

Implicits

implicit def messageCompanion: SemanticdbGeneratedMessageCompanion[Diagnostic]