scala3-compiler-bootstrapped/dotty.tools.dotc.reporting/Message

Message

abstract class Message(val errorId: ErrorMessageID)

A Message contains all semantic information necessary to easily comprehend what caused the message to be logged. Each message can be turned into a Diagnostic which contains the log level and can later be consumed by a subclass of Reporter. However, the error position is only part of Diagnostic, not Message.

NOTE: you should not persist a message directly, because most messages take an implicit Context and these contexts weigh in at about 4mb per instance. Therefore, persisting these will result in a memory leak.

Instead use the persist method to create an instance that does not keep a reference to these contexts.

Value Params

errorId: a unique id identifying the message, this will later be used to reference documentation online

Companion

object

class Object

trait Matchable

class Any

class CyclicMsg

class CyclicReferenceInvolving

class CyclicReferenceInvolvingImplicit

class IllegalCyclicTypeReference

class OverloadedOrRecursiveMethodNeedsResultType

class RecursiveValueNeedsResultType

class TermMemberNeedsResultTypeForImplicitSearch

class DeclarationMsg

class IllegalSuperAccessor

class OverloadInRefinement

class OverrideError

class OverrideTypeMismatchError

class OverridesNothing

class OverridesNothingButNameExists

class TraitParameterUsedAsParentPrefix

class UnapplyInvalidReturnType

class FailureToEliminateExistential

class MatchCaseUnreachable

class NamingMsg

class AlreadyDefined

class ClassAndCompanionNameClash

class DoubleDefinition

class DuplicateBind

class PackageNameAlreadyDefined

class PkgDuplicateSymbol

class NoExplanation

class NotFoundMsg

class MissingIdent

class NotAMember

class PatternMatchExhaustivity

class PatternMatchMsg

class MatchCaseOnlyNullWarning

class UncheckedTypePattern

class ProperDefinitionNotFound

class PureExpressionInStatementPosition

class ReferenceMsg

class AmbiguousOverload

class AmbiguousReference

class BadSymbolicReference

class ForwardReferenceExtendsOverDefinition

class InvalidReferenceInImplicitNotFoundAnnotation

class SuperQualMustBeParent

class UnknownNamedEnclosingClassOrObject

trait ShowMatchTrace

class TypeMismatchMsg

class DoesNotConformToBound

class DoesNotConformToSelfType

class DoesNotConformToSelfTypeCantBeInstantiated

class IllegalParameterInit

class TypeMismatch

class SyntaxMsg

class AbstractMemberMayNotHaveModifier

class AbstractOverrideOnlyInTraits

class AnonymousInstanceCannotBeEmpty

class AuxConstructorNeedsNonImplicitParameter

class ByNameParameterNotSupported

class CannotExtendAnyVal

class CannotExtendContextFunction

class CannotExtendJavaEnum

class CannotHaveSameNameAs

class CaseClassInInlinedCode

class CaseClassMissingNonImplicitParamList

class CaseClassMissingParamList

class ClassCannotExtendEnum

class CyclicInheritance

class DanglingThisInPath

class DeprecatedWithOperator

class DuplicateNamedTypeParameter

class DuplicatePrivateProtectedQualifier

class EarlyDefinitionsNotSupported

class EmptyCatchOrFinallyBlock

class EmptyCatchAndFinallyBlock

class EmptyCatchBlock

class EnumerationsShouldNotBeEmpty

class ErasedTypesCanOnlyBeFunctionTypes

class ExistentialTypesNoLongerSupported

class ExpectedStartOfTopLevelDefinition

class ExpectedTokenButFound

class ExpectedToplevelDef

class ExpectedTypeBoundOrEquals

class ExtendFinalClass

class ExtensionCanOnlyHaveDefs

class ExtensionMethodCannotHaveTypeParams

class IdentifierExpected

class IllegalLiteral

class IllegalRedefinitionOfStandardKind

class IllegalStartOfSimplePattern

class IllegalStartOfStatement

class IllegalStartSimpleExpr

class IllegalVariableInPatternAlternative

class ImplicitCaseClass

class ImplicitClassPrimaryConstructorArity

class ImportRenamedTwice

class InterpolatedStringError

class LazyStaticField

class MemberWithSameNameAsStatic

class MissingCompanionForStatic

class MissingEmptyArgumentList

class MissingReturnType

class MissingReturnTypeWithReturnStatement

class MissingTypeParameterFor

class MixedLeftAndRightAssociativeOps

class ModifierNotAllowedForDefinition

class NativeMembersMayNotHaveImplementation

class NoExtensionMethodAllowed

class NoReturnFromInlineable

class NotAnExtractor

class ObjectMayNotHaveSelfType

class OnlyCaseClassOrCaseObjectAllowed

class OnlyClassesCanBeAbstract

class OnlyClassesCanHaveDeclaredButUndefinedMembers

class OnlyFunctionsCanBeFollowedByUnderscore

class ParamsNoInline

class PolymorphicMethodMissingTypeInParent

class RedundantModifier

class RepeatedModifier

class ReturnOutsideMethodDefinition

class SeqWildcardPatternPos

class StaticFieldsOnlyAllowedInObjects

class StaticFieldsShouldPrecedeNonStatic

class StaticOverridingNonStaticMembers

class SuperCallsNotAllowedInlineable

class SymbolChangedSemanticsInVersion

class SymbolHasUnparsableVersionNumber

class TailrecNotApplicable

class TopLevelCantBeImplicit

class TopLevelImplicitClass

class TraitCompanionWithMutableStatic

class TraitIsExpected

class TraitMayNotDefineNativeMethod

class TraitRedefinedFinalMethodFromAnyRef

class TraitsMayNotBeFinal

class TypeSpliceInValPattern

class TypeTestAlwaysSucceeds

class TypedCaseDoesNotExplicitlyExtendTypedEnum

class TypesAndTraitsCantBeImplicit

class UnableToEmitSwitch

class UnableToExtendSealedClass

class UnapplyInvalidNumberOfArguments

class UnboundPlaceholderParameter

class UnboundWildcardType

class UndefinedNamedTypeParameter

class UnexpectedPatternForSummonFrom

class ValueClassNeedsOneValParam

class ValueClassParameterMayNotBeAVar

class ValueClassParameterMayNotBeCallByName

class ValueClassesMayNotBeAbstract

class ValueClassesMayNotBeContainted

class ValueClassesMayNotContainInitalization

class ValueClassesMayNotDefineASecondaryConstructor

class ValueClassesMayNotDefineInner

class ValueClassesMayNotDefineNonParameterField

class ValueClassesMayNotWrapAnotherValueClass

class VarArgsParamMustComeLast

class VarValParametersMayNotBeCallByName

class WildcardOnTypeArgumentNotAllowedOnNew

class WrongNumberOfParameters

class WrongNumberOfTypeArgs

class YieldOrDoExpectedInForComprehension

class TypeMsg

class AnonymousFunctionMissingParamType

class CantInstantiateAbstractClassOrTrait

class JavaEnumParentArgs

class JavaSymbolIsNotAValue

class MatchableWarning

class MethodDoesNotTakeParameters

class MissingTypeParameterInTypeApp

class NoMatchingOverload

class NotAPath

class ParameterizedTypeLacksArguments

class ReassignmentToVal

class SkolemInInferred

class StableIdentPattern

class TypeDoesNotTakeParameters

class UnreducibleApplication

Value members

Abstract methods

The kind of the error message, e.g. "Syntax" or "Type Mismatch". This will be printed as "$kind Error", "$kind Warning", etc, on the first line of the message.

Concrete methods

Does this message have an explanation? This is normally the same as explain.nonEmpty but can be overridden if we need a way to return true without actually calling the explain method.

A message is non-sensical if it contains references to tags. Such tags are inserted by the error diagnostic framework if a message contains references to internally generated error types. Normally we want to suppress error messages referring to types like this because they look weird and are normally follow-up errors to something that was diagnosed before.

The implicit Context in messages is a large thing that we don't want persisted. This method gets around that by duplicating the message, forcing its msg and explanation vals and dropping the implicit context that was captured in the original message.

Message

Value members

Abstract methods

Concrete methods

Concrete fields