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

Message

dotty.tools.dotc.reporting.Message

See theMessage companion object

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.

Attributes

errorId: a unique id identifying the message, this will be used to reference documentation online
Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: 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 LossyWideningConstantConversion
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 NotClassType
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 DeprecatedWithOperator
class DuplicateNamedTypeParameter
class DuplicatePrivateProtectedQualifier
class EarlyDefinitionsNotSupported
class EmptyCatchOrFinallyBlock
class EmptyCatchAndFinallyBlock
class EmptyCatchBlock
class EnumerationsShouldNotBeEmpty
class ErasedTypesCanOnlyBeFunctionTypes
class ExistentialTypesNoLongerSupported
class ExpectedStartOfTopLevelDefinition
class ExpectedTokenButFound
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 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 TargetNameOnTopLevelClass
class TopLevelImplicitClass
class TraitCompanionWithMutableStatic
class TraitIsExpected
class TraitMayNotDefineNativeMethod
class TraitRedefinedFinalMethodFromAnyRef
class TraitsMayNotBeFinal
class TypeTestAlwaysDiverges
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 ImplicitSearchTooLargeWarning
class JavaEnumParentArgs
class JavaSymbolIsNotAValue
class MatchableWarning
class MethodDoesNotTakeParameters
class MissingArgument
class MissingTypeParameterInTypeApp
class NoMatchingOverload
class NotAPath
class ReassignmentToVal
class SkolemInInferred
class StableIdentPattern
class TypeDoesNotTakeParameters
class UnreducibleApplication
Self type: Message

Members list

Concise view

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

The message with potential embedded tags

Attributes

Override with true for messages that should always be shown even if their position overlaps another messsage of a different class. On the other hand multiple messages of the same class with overlapping positions will lead to only a single message of that class to be issued.

Attributes

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:: a string representation of the object.
Definition Classes: Any

Concrete fields

The explanation to report. tags are filtered out

Attributes

The message to report. tags are filtered out

Attributes

Generated with