dotty.tools.dotc.reporting
Members list
Type members
Classlikes
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
- trait MessageRenderingtrait HideNonSensicalMessagestrait UniqueMessagePositionsclass Reportertrait ReporterResultclass Objecttrait Matchableclass Any
- Known subtypes
- class AbstractConsoleReporterclass ConsoleReporter
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- CannotHaveSameNameAs.type
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 AbstractConsoleReporterclass AbstractReportertrait MessageRenderingtrait HideNonSensicalMessagestrait UniqueMessagePositionsclass Reportertrait ReporterResultclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- ConsoleReporter.type
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class IllegalSuperAccessorclass OverloadInRefinementclass OverrideErrorclass OverridesNothingclass UnapplyInvalidReturnType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- Diagnostic.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Diagnosticclass Exceptionclass Throwabletrait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
- class Errorclass StickyErrorclass Infoclass Warningclass ConditionalWarningclass DeprecationWarningclass FeatureWarningclass UncheckedWarningclass MigrationWarning
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class EmptyCatchBlock
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 Enumtrait Producttrait Equalsclass Enum[ErrorMessageID]trait Serializabletrait Comparable[ErrorMessageID]class Objecttrait Matchableclass Any
Attributes
- Companion:
- enum
- Graph
- Supertypes
- Self type
- ErrorMessageID.type
A re-usable Reporter used in Contexts#test
A re-usable Reporter used in Contexts#test
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
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
- Known subtypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
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
- Known subtypes
- class CyclicMsgclass CyclicReferenceInvolvingclass DeclarationMsgclass IllegalSuperAccessorclass OverloadInRefinementclass OverrideErrorclass OverridesNothingclass UnapplyInvalidReturnTypeclass MatchCaseUnreachableclass NamingMsgclass AlreadyDefinedclass DoubleDefinitionclass DuplicateBindclass PkgDuplicateSymbolclass NoExplanationclass NotFoundMsgclass MissingIdentclass NotAMemberclass PatternMatchExhaustivityclass PatternMatchMsgclass MatchCaseOnlyNullWarningclass UncheckedTypePatternclass ProperDefinitionNotFoundclass ReferenceMsgclass AmbiguousOverloadclass AmbiguousReferenceclass BadSymbolicReferenceclass SuperQualMustBeParenttrait ShowMatchTraceclass NotClassTypeclass TypeMismatchMsgclass DoesNotConformToBoundclass DoesNotConformToSelfTypeclass IllegalParameterInitclass TypeMismatchclass SyntaxMsgclass CannotExtendAnyValclass CannotExtendJavaEnumclass CannotHaveSameNameAsclass CaseClassInInlinedCodeclass ClassCannotExtendEnumclass CyclicInheritanceclass DeprecatedWithOperatorclass EmptyCatchOrFinallyBlockclass EmptyCatchBlockclass ExpectedTokenButFoundclass ExtendFinalClassclass ExtensionCanOnlyHaveDefsclass IdentifierExpectedclass IllegalLiteralclass IllegalStartOfStatementclass IllegalStartSimpleExprclass ImplicitCaseClassclass ImportRenamedTwiceclass InterpolatedStringErrorclass LazyStaticFieldclass MissingEmptyArgumentListclass MissingReturnTypeclass MissingTypeParameterForclass NoExtensionMethodAllowedclass NoReturnFromInlineableclass NotAnExtractorclass ObjectMayNotHaveSelfTypeclass OnlyClassesCanBeAbstractclass ParamsNoInlineclass RedundantModifierclass RepeatedModifierclass SeqWildcardPatternPosclass TailrecNotApplicableclass TopLevelImplicitClassclass TraitIsExpectedclass TraitsMayNotBeFinalclass TypeTestAlwaysDivergesclass UnableToEmitSwitchclass UnboundWildcardTypeclass VarArgsParamMustComeLastclass WrongNumberOfParametersclass WrongNumberOfTypeArgsclass TypeMsgclass JavaEnumParentArgsclass JavaSymbolIsNotAValueclass MatchableWarningclass MissingArgumentclass NoMatchingOverloadclass NotAPathclass ReassignmentToValclass SkolemInInferredclass StableIdentPatternclass UnreducibleApplication
- Self type
Attributes
- Graph
- Supertypes
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
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
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
- Self type
- NoExplanation.type
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
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
- Known subtypes
- class MissingIdentclass NotAMember
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class MatchCaseOnlyNullWarningclass UncheckedTypePattern
Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- class ActiveProfileobject NoProfile.type
Attributes
- Graph
- Supertypes
- Known subtypes
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
- Known subtypes
- class AbstractReporterclass AbstractConsoleReporterclass ConsoleReportertrait HideNonSensicalMessagesobject NoReporter.typeclass StoreReporterclass ExploringReporterclass TestingReporterclass ThrowingReportertrait UniqueMessagePositions
Attributes
- Graph
- Supertypes
- Known subtypes
- class NotAMemberclass NotClassTypeclass TypeMismatchMsgclass DoesNotConformToBoundclass DoesNotConformToSelfTypeclass IllegalParameterInitclass TypeMismatch
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 fromnoPrinter
tonew Printer
, which forces the message - The reporter is not flushed and the message containers capture a
Context
(about 4MB)
Attributes
- Graph
- Supertypes
- Known subtypes
- class ExploringReporterclass TestingReporter
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
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
- Known subtypes
- class CannotExtendAnyValclass CannotExtendJavaEnumclass CannotHaveSameNameAsclass CaseClassInInlinedCodeclass ClassCannotExtendEnumclass CyclicInheritanceclass DeprecatedWithOperatorclass EmptyCatchOrFinallyBlockclass EmptyCatchBlockclass ExpectedTokenButFoundclass ExtendFinalClassclass ExtensionCanOnlyHaveDefsclass IdentifierExpectedclass IllegalLiteralclass IllegalStartOfStatementclass IllegalStartSimpleExprclass ImplicitCaseClassclass ImportRenamedTwiceclass InterpolatedStringErrorclass LazyStaticFieldclass MissingEmptyArgumentListclass MissingReturnTypeclass MissingTypeParameterForclass NoExtensionMethodAllowedclass NoReturnFromInlineableclass NotAnExtractorclass ObjectMayNotHaveSelfTypeclass OnlyClassesCanBeAbstractclass ParamsNoInlineclass RedundantModifierclass RepeatedModifierclass SeqWildcardPatternPosclass TailrecNotApplicableclass TopLevelImplicitClassclass TraitIsExpectedclass TraitsMayNotBeFinalclass TypeTestAlwaysDivergesclass UnableToEmitSwitchclass UnboundWildcardTypeclass VarArgsParamMustComeLastclass WrongNumberOfParametersclass WrongNumberOfTypeArgs
A re-usable Reporter used in Contexts#test
A re-usable Reporter used in Contexts#test
Attributes
- Graph
- Supertypes
This class implements a Reporter that throws all errors and sends warnings and other info to the underlying reporter.
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
- Known subtypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class DoesNotConformToBoundclass DoesNotConformToSelfTypeclass IllegalParameterInitclass TypeMismatch
Attributes
- Graph
- Supertypes
- Known subtypes
- class JavaEnumParentArgsclass JavaSymbolIsNotAValueclass MatchableWarningclass MissingArgumentclass NoMatchingOverloadclass NotAPathclass NotClassTypeclass ReassignmentToValclass SkolemInInferredclass StableIdentPatternclass UnreducibleApplication
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
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
- Known subtypes
Attributes
- Graph
- Supertypes
Attributes
- Companion:
- object
- Graph
- Supertypes
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
- Self type
- trace.type