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

dotty.tools.dotc.reporting

package dotty.tools.dotc.reporting

Members list

Concise view

Type members

Classlikes

class AbstractMemberMayNotHaveModifier(sym: Symbol, flag: FlagSet)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class AbstractOverrideOnlyInTraits(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class AbstractReporter extends Reporter with UniqueMessagePositions with HideNonSensicalMessages with MessageRendering

This class mixes in a few standard traits, so that it is easier to extend from Java.

This class mixes in a few standard traits, so that it is easier to extend from Java.

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
Known subtypes
enum Action

Attributes

Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any
class ActiveProfile(details: Int) extends Profile

Attributes

Graph
Supertypes
class Profile
class Object
trait Matchable
class Any
class AlreadyDefined(name: Name, owner: Symbol, conflicting: Symbol)(using x$4: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class AmbiguousOverload(tree: Tree, val alternatives: List[SingleDenotation], pt: Type, addendum: String)(implicit ctx: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class AmbiguousReference(name: Name, newPrec: BindingPrec, prevPrec: BindingPrec, prevCtx: Context)(using x$5: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class AnonymousFunctionMissingParamType(param: ValDef, tree: Function, pt: Type)(using x$4: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class AnonymousInstanceCannotBeEmpty(impl: Template)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class AuxConstructorNeedsNonImplicitParameter()(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class BadSymbolicReference(denot: SymDenotation)(using x$2: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class ByNameParameterNotSupported(tpe: Tree)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CannotExtendAnyVal(sym: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CannotExtendContextFunction(sym: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CannotExtendJavaEnum(sym: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CannotHaveSameNameAs(sym: Symbol, cls: Symbol, reason: Reason)(using x$4: Context) extends SyntaxMsg

Attributes

Companion:
object
Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
object CannotHaveSameNameAs

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class CantInstantiateAbstractClassOrTrait(cls: Symbol, isTrait: Boolean)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class CaseClassInInlinedCode(tree: Tree)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CaseClassMissingNonImplicitParamList(cdef: TypeDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class CaseClassMissingParamList(cdef: TypeDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ClassAndCompanionNameClash(cls: Symbol, other: Symbol)(using x$3: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class ClassCannotExtendEnum(cls: Symbol, parent: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ConsoleReporter(reader: BufferedReader, writer: PrintWriter) extends AbstractConsoleReporter

This class implements a Reporter that displays messages on a text console

This class implements a Reporter that displays messages on a text console

Attributes

Companion:
object
Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
object ConsoleReporter

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class CyclicInheritance(symbol: Symbol, addendum: => String)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class CyclicMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class CyclicReferenceInvolving(denot: SymDenotation)(using x$2: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
class CyclicReferenceInvolvingImplicit(cycleSym: Symbol)(using x$2: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
abstract class DeclarationMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class DeprecatedWithOperator()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
object Diagnostic

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class Diagnostic(val msg: Message, val pos: SourcePosition, val level: Int) extends Exception with Diagnostic

Attributes

Companion:
object
Graph
Supertypes
trait Diagnostic
class Exception
class Throwable
class Object
trait Matchable
class Any
Known subtypes
class Error
class Info
class Warning
class DoesNotConformToBound(tpe: Type, which: String, bound: Type)(using x$4: Context) extends TypeMismatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class DoesNotConformToSelfType(category: String, selfType: Type, cls: Symbol, otherSelf: Type, relation: String, other: Symbol)(implicit ctx: Context) extends TypeMismatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class DoesNotConformToSelfTypeCantBeInstantiated(tp: Type, selfType: Type)(implicit ctx: Context) extends TypeMismatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class DoubleDefinition(decl: Symbol, previousDecl: Symbol, base: Symbol)(using x$4: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class DuplicateBind(bind: Bind, tree: CaseDef)(using x$3: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class DuplicateNamedTypeParameter(name: Name)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class DuplicatePrivateProtectedQualifier()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class EarlyDefinitionsNotSupported()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class EmptyCatchAndFinallyBlock(tryBody: Tree)(using x$2: Context) extends EmptyCatchOrFinallyBlock

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class EmptyCatchBlock(tryBody: Tree)(using x$2: Context) extends EmptyCatchOrFinallyBlock

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class EmptyCatchOrFinallyBlock(tryBody: Tree, errNo: ErrorMessageID)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
Known subtypes
class EnumerationsShouldNotBeEmpty(cdef: TypeDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ErasedTypesCanOnlyBeFunctionTypes()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
enum ErrorMessageID(val isActive: Boolean) extends Enum[ErrorMessageID]

Unique IDs identifying the messages, this will be used to reference documentation online.

Unique IDs identifying the messages, this will be used to reference documentation online.

Attributes

isActive

Whether or not the compile still emits this ErrorMessageID

Companion:
object
Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any
object ErrorMessageID

Attributes

Companion:
enum
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
class ExistentialTypesNoLongerSupported()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExpectedStartOfTopLevelDefinition()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExpectedTokenButFound(expected: Token, found: Token)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExpectedTypeBoundOrEquals(found: Token)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExploringReporter extends StoreReporter

A re-usable Reporter used in Contexts#test

A re-usable Reporter used in Contexts#test

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
class ExtendFinalClass(clazz: Symbol, finalClazz: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExtensionCanOnlyHaveDefs(mdef: Tree)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ExtensionMethodCannotHaveTypeParams(mdef: DefDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class FailureToEliminateExistential(tp: Type, tp1: Type, tp2: Type, boundSyms: List[Symbol], classRoot: Symbol)(using x$6: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class ForwardReferenceExtendsOverDefinition(value: Symbol, definition: Symbol)(using x$3: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
trait HideNonSensicalMessages extends Reporter

This trait implements isHidden so that we avoid reporting non-sensical messages.

This trait implements isHidden so that we avoid reporting non-sensical messages.

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
Known subtypes
class IdentifierExpected(identifier: String)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalCyclicTypeReference(sym: Symbol, where: String, lastChecked: Type)(using x$4: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
class IllegalLiteral()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalParameterInit(found: Type, expected: Type, param: Symbol, cls: Symbol)(using x$5: Context) extends TypeMismatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class IllegalRedefinitionOfStandardKind(kindType: String, name: Name)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalStartOfSimplePattern()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalStartOfStatement(what: String, isModifier: Boolean, isStat: Boolean)(using x$4: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalStartSimpleExpr(illegalToken: String)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class IllegalSuperAccessor(base: Symbol, memberName: Name, targetName: Name, acc: Symbol, accTp: Type, other: Symbol, otherTp: Type)(using x$8: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class IllegalVariableInPatternAlternative(name: Name)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ImplicitCaseClass(cdef: TypeDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ImplicitClassPrimaryConstructorArity()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ImplicitSearchTooLargeWarning(limit: Int, openSearchPairs: List[(Candidate, Type)])(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class ImportRenamedTwice(ident: Ident)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class InterpolatedStringError()(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class InvalidReferenceInImplicitNotFoundAnnotation(typeVar: String, owner: String)(using x$3: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class JavaEnumParentArgs(parent: Type)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class JavaSymbolIsNotAValue(symbol: Symbol)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class LazyStaticField()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class LossyWideningConstantConversion(sourceType: Type, targetType: Type)(using x$3: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class MatchCaseOnlyNullWarning()(using x$1: Context) extends PatternMatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class MatchCaseUnreachable()(using x$1: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class MatchableWarning(tp: Type, pattern: Boolean)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class MemberWithSameNameAsStatic()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
object Message

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Message.type
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.

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 NamingMsg
class SyntaxMsg
class TypeMsg
class NotAPath
Self type
enum MessageFilter

Attributes

Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any
enum MessageKind

Message kinds that can be used in a Message. NOTE: Keep in mind that if you have a new message or a new ErrorMessageID that doesn't fit well into an existing kind, create a new one.

Message kinds that can be used in a Message. NOTE: Keep in mind that if you have a new message or a new ErrorMessageID that doesn't fit well into an existing kind, create a new one.

Attributes

Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any
trait MessageRendering

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MethodDoesNotTakeParameters(tree: Tree)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class MissingArgument(pname: Name, methString: String)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class MissingCompanionForStatic(member: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class MissingEmptyArgumentList(method: String)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class MissingIdent(tree: Ident, treeKind: String, val name: Name)(using x$4: Context) extends NotFoundMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class MissingReturnType()(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class MissingReturnTypeWithReturnStatement(method: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class MissingTypeParameterFor(tpe: Type)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class MissingTypeParameterInTypeApp(tpe: Type)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class MixedLeftAndRightAssociativeOps(op1: Name, op2: Name, op2LeftAssoc: Boolean)(using x$4: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ModifierNotAllowedForDefinition(flag: Flag)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class NamingMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class NativeMembersMayNotHaveImplementation(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class NoExplanation(msgFn: => String) extends Message

The fallback Message containing no explanation and having no kind

The fallback Message containing no explanation and having no kind

Attributes

Companion:
object
Graph
Supertypes
class Message
class Object
trait Matchable
class Any
object NoExplanation

The extractor for NoExplanation can be used to check whether any error lacks an explanation

The extractor for NoExplanation can be used to check whether any error lacks an explanation

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class NoExtensionMethodAllowed(mdef: DefDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class NoMatchingOverload(val alternatives: List[SingleDenotation], pt: Type)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
object NoProfile extends Profile

Attributes

Graph
Supertypes
class Profile
class Object
trait Matchable
class Any
Self type
class NoReturnFromInlineable(owner: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class NotAMember(site: Type, val name: Name, selected: String, addendum: => String)(using x$5: Context) extends NotFoundMsg with ShowMatchTrace

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class NotAPath(tp: Type, usage: String)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class NotAnExtractor(tree: Tree)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class NotClassType(tp: Type)(using x$2: Context) extends TypeMsg with ShowMatchTrace

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
abstract class NotFoundMsg(errorId: ErrorMessageID) extends Message

A simple not found message (either for idents, or member selection. Messages of this class are sometimes dropped in favor of other, more specific messages.

A simple not found message (either for idents, or member selection. Messages of this class are sometimes dropped in favor of other, more specific messages.

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class ObjectMayNotHaveSelfType(mdef: ModuleDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class OnlyClassesCanBeAbstract(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class OnlyClassesCanHaveDeclaredButUndefinedMembers(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class OnlyFunctionsCanBeFollowedByUnderscore(tp: Type)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class OverloadInRefinement(rsym: Symbol)(using x$2: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class OverloadedOrRecursiveMethodNeedsResultType(cycleSym: Symbol)(using x$2: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
class OverrideError(val msg: String) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class OverrideTypeMismatchError(val msg: String, memberTp: Type, otherTp: Type)(using x$4: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class OverridesNothing(member: Symbol)(using x$2: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class OverridesNothingButNameExists(member: Symbol, existing: List[SingleDenotation])(using x$3: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class PackageNameAlreadyDefined(pkg: Symbol)(using x$2: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class ParamsNoInline(owner: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class PatternMatchExhaustivity(uncoveredFn: => String, hasMore: Boolean)(using x$3: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
abstract class PatternMatchMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class PkgDuplicateSymbol(existing: Symbol)(using x$2: Context) extends NamingMsg

Attributes

Graph
Supertypes
class NamingMsg
class Message
class Object
trait Matchable
class Any
class PolymorphicMethodMissingTypeInParent(rsym: Symbol, parentSym: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class Profile

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoProfile.type
object Profile

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Profile.type
class ProperDefinitionNotFound()(using x$1: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class PureExpressionInStatementPosition(stat: Tree, val exprOwner: Symbol)(using x$3: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class ReassignmentToVal(name: Name)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class RecursiveValueNeedsResultType(cycleSym: Symbol)(using x$2: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
class RedundantModifier(flag: Flag)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class ReferenceMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class RepeatedModifier(modifier: String)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
object Reporter

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class Reporter extends ReporterResult

This interface provides methods to issue information, warning and error messages.

This interface provides methods to issue information, warning and error messages.

Attributes

Companion:
object
Graph
Supertypes
trait ReporterResult
class Object
trait Matchable
class Any
Known subtypes
object NoReporter.type
class ReturnOutsideMethodDefinition(owner: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class SeqWildcardPatternPos()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
trait ShowMatchTrace(tps: Type*)(using x$2: Context) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class SkolemInInferred(tree: Tree, pt: Type, argument: Tree)(using x$4: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class StableIdentPattern(tree: Tree, pt: Type)(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class StaticFieldsOnlyAllowedInObjects(member: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class StaticFieldsShouldPrecedeNonStatic(member: Symbol, defns: List[Tree])(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class StaticOverridingNonStaticMembers()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class StoreReporter(outer: Reporter | Null, fromTyperState: Boolean) extends Reporter

This class implements a Reporter that stores all messages

This class implements a Reporter that stores all messages

Beware that this reporter can leak memory, and force messages in two scenarios:

  • During debugging config.Printers.typr is set from noPrinter to new Printer, which forces the message
  • The reporter is not flushed and the message containers capture a Context (about 4MB)

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
Known subtypes
class SuperCallsNotAllowedInlineable(symbol: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class SuperQualMustBeParent(qual: Ident, cls: ClassSymbol)(using x$3: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class Suppression(val annotPos: SourcePosition, filters: List[MessageFilter], val start: Int, end: Int, val verbose: Boolean)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class SymbolChangedSemanticsInVersion(symbol: Symbol, migrationVersion: ScalaVersion, migrationMessage: String)(using x$4: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class SymbolHasUnparsableVersionNumber(symbol: Symbol, errorMessage: String)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
abstract class SyntaxMsg(errorId: ErrorMessageID) extends Message

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:

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 TailrecNotApplicable(symbol: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TargetNameOnTopLevelClass(symbol: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TermMemberNeedsResultTypeForImplicitSearch(cycleSym: Symbol)(using x$2: Context) extends CyclicMsg

Attributes

Graph
Supertypes
class CyclicMsg
class Message
class Object
trait Matchable
class Any
class TestingReporter extends StoreReporter

A re-usable Reporter used in Contexts#test

A re-usable Reporter used in Contexts#test

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
class ThrowingReporter(reportInfo: Reporter) extends Reporter

This class implements a Reporter that throws all errors and sends warnings and other info to the underlying reporter.

This class implements a Reporter that throws all errors and sends warnings and other info to the underlying reporter.

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
class TopLevelImplicitClass(cdef: TypeDef)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
trait TraceSyntax

This module is carefully optimized to give zero overhead if Config.tracingEnabled is false. The trace operation is called in various hotspots, so every tiny bit of overhead is unacceptable: boxing, closures, additional method calls are all out.

This module is carefully optimized to give zero overhead if Config.tracingEnabled is false. The trace operation is called in various hotspots, so every tiny bit of overhead is unacceptable: boxing, closures, additional method calls are all out.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object force.type
object log.type
object trace.type
class TraitCompanionWithMutableStatic()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TraitIsExpected(symbol: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TraitMayNotDefineNativeMethod(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TraitParameterUsedAsParentPrefix(cls: Symbol)(using x$2: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class TraitRedefinedFinalMethodFromAnyRef(method: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TraitsMayNotBeFinal(sym: Symbol)(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TypeDoesNotTakeParameters(tpe: Type, params: List[Tree[Untyped]])(using x$3: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class TypeMismatch(found: Type, expected: Type, inTree: Option[Tree], addenda: => String*)(using x$5: Context) extends TypeMismatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
abstract class TypeMismatchMsg(found: Type, expected: Type)(errorId: ErrorMessageID)(using x$4: Context) extends Message with ShowMatchTrace

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
abstract class TypeMsg(errorId: ErrorMessageID) extends Message

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
Known subtypes
class NotAPath
class TypeTestAlwaysDiverges(scrutTp: Type, testTp: Type)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TypedCaseDoesNotExplicitlyExtendTypedEnum(enumDef: Symbol, caseDef: TypeDef)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class TypesAndTraitsCantBeImplicit()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnableToEmitSwitch()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnableToExtendSealedClass(pclazz: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnapplyInvalidNumberOfArguments(qual: Tree, argTypes: List[Type])(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnapplyInvalidReturnType(unapplyResult: Type, unapplyName: Name)(using x$3: Context) extends DeclarationMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class UnboundPlaceholderParameter()(implicit ctx: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnboundWildcardType()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UncheckedTypePattern(msgFn: => String)(using x$2: Context) extends PatternMatchMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class UndefinedNamedTypeParameter(undefinedName: Name, definedNames: List[Name])(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class UnexpectedPatternForSummonFrom(tree: Tree[_])(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
trait UniqueMessagePositions extends Reporter

This trait implements isHidden so that multiple messages per position are suppressed, unless they are of increasing severity.

This trait implements isHidden so that multiple messages per position are suppressed, unless they are of increasing severity.

Attributes

Graph
Supertypes
class Reporter
trait ReporterResult
class Object
trait Matchable
class Any
Known subtypes
class UnknownNamedEnclosingClassOrObject(name: TypeName)(using x$2: Context) extends ReferenceMsg

Attributes

Graph
Supertypes
class Message
class Object
trait Matchable
class Any
class UnreducibleApplication(tycon: Type)(using x$2: Context) extends TypeMsg

Attributes

Graph
Supertypes
class TypeMsg
class Message
class Object
trait Matchable
class Any
class ValueClassNeedsOneValParam(valueClass: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassParameterMayNotBeAVar(valueClass: Symbol, param: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassParameterMayNotBeCallByName(valueClass: Symbol, param: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotBeAbstract(valueClass: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotBeContainted(valueClass: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotContainInitalization(valueClass: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotDefineASecondaryConstructor(valueClass: Symbol, constructor: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotDefineInner(valueClass: Symbol, inner: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotDefineNonParameterField(valueClass: Symbol, field: Symbol)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class ValueClassesMayNotWrapAnotherValueClass(valueClass: Symbol)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class VarArgsParamMustComeLast()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class VarValParametersMayNotBeCallByName(name: TermName, mutable: Boolean)(using x$3: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
final case class WConf(confs: List[(List[MessageFilter], Action)])

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object WConf

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
WConf.type
class WildcardOnTypeArgumentNotAllowedOnNew()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class WrongNumberOfParameters(expected: Int)(using x$2: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class WrongNumberOfTypeArgs(fntpe: Type, expectedArgs: List[ParamInfo], actual: List[Tree])(using x$4: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
class YieldOrDoExpectedInForComprehension()(using x$1: Context) extends SyntaxMsg

Attributes

Graph
Supertypes
class SyntaxMsg
class Message
class Object
trait Matchable
class Any
object trace extends TraceSyntax

Exposes the

Exposes the

 trace("question") { op }

syntax.

Traced operations will print indented messages if enabled. Tracing depends on Config.tracingEnabled and dotty.tools.dotc.config.ScalaSettings.Ylog. Tracing can be forced by replacing trace with trace.force or trace.log (see below).

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trace.type
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL