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

SyntaxMsg

dotty.tools.dotc.reporting.SyntaxMsg

abstract class SyntaxMsg(errorId: ErrorMessageID)(using x$2: Context) extends Message

Messages

The role of messages is to provide the necessary details for a simple to understand diagnostic event. Each message can be turned into a message container (one of the above) by calling the appropriate method on them. For instance:

EmptyCatchBlock(tree).error(pos)   // res: Error
EmptyCatchBlock(tree).warning(pos) // res: Warning

Attributes

Graph
Supertypes: class Message

class Object

trait Matchable

class Any
Known subtypes: class AbstractMemberMayNotHaveModifier

class AbstractOverrideOnlyInTraits

class AnonymousInstanceCannotBeEmpty

class AuxConstructorNeedsNonImplicitParameter

class ByNameParameterNotSupported

class CannotExtendAnyVal

class CannotExtendContextFunction

class CannotExtendJavaEnum

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 InlineGivenShouldNotBeFunction

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
Show all

Members list

Value members

Concrete 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

Inherited methods

Attributes

Inherited from:: Message

Attributes

Inherited from:: Message

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

Inherited from:: Message

A message is non-sensical if it 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

Inherited from:: Message

Attributes

Inherited from:: Message

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

Inherited from:: Message

Attributes

Inherited from:: Message

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

Inherited from:: Message

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Definition Classes: Message -> Any
Inherited from:: Message

Attributes

Inherited from:: Message

Inherited fields

The explanation to report. tags are filtered out

Attributes

Inherited from:: Message

The message to report. tags are filtered out

Attributes

Inherited from:: Message

In this article

Generated with