Type Members

1.  case class BuildTarget(name: String) extends ErrorReportsGroup with Product with Serializable
2.  case class DeprecatedRemovedSbtVersion(sbtVersion: String, scalaVersion: String) extends ScalaProblem with Product with Serializable
3.  case class DeprecatedRemovedScalaVersion(version: String) extends ScalaProblem with Product with Serializable
4.  case class DeprecatedSbtVersion(sbtVersion: String, scalaVersion: String) extends ScalaProblem with Product with Serializable
5.  case class DeprecatedScalaVersion(version: String) extends ScalaProblem with Product with Serializable
6.  final class Doctor extends TargetsInfoProvider

   Helps the user figure out what is mis-configured in the build through the "Run doctor" command.

   Helps the user figure out what is mis-configured in the build through the "Run doctor" command.

   At the moment, the doctor only validates that SemanticDB is enabled for all projects.

7.  sealed trait DoctorExplanation extends AnyRef

   Various explanations to help explain the various sections of a Build Target in the Doctor.

8.  final case class DoctorFolderHeader(projectsJavaInfo: Option[String], buildTool: Option[String], buildServer: String, importBuildStatus: Option[String], isBuildServerResponsive: Option[Boolean]) extends Product with Serializable
   projectsJavaInfo

   information about java used for project

   buildTool

   if Metals detected multiple build tools, this specifies the one the user has chosen

   buildServer

   the build server that is being used

   importBuildStatus

   if the user has turned the import prompt off, this will include a message on how to get it back.

9.  final case class DoctorFolderResults(folder: String, header: DoctorFolderHeader, messages: Option[List[DoctorMessage]], targets: Option[Seq[DoctorTargetInfo]], explanations: List[Obj], errorReports: List[ErrorReportInfo]) extends Product with Serializable
10.  final case class DoctorHeader(jdkInfo: Option[String], serverInfo: String, buildTargetDescription: String) extends Product with Serializable
    jdkInfo

    java version and location information

    serverInfo

    the version of the server that is being used

    buildTargetDescription

    small description on what a build target is

11.  final case class DoctorMessage(title: String, recommendations: List[String]) extends Product with Serializable
12.  final case class DoctorResults(title: String, header: DoctorHeader, folders: List[DoctorFolderResults]) extends Product with Serializable
13.  sealed case class DoctorStatus(explanation: String, isCorrect: Boolean) extends Product with Serializable
14.  final case class DoctorTargetInfo(name: String, gotoCommand: String, dataKind: String, baseDirectory: Option[String], targetType: String, compilationStatus: DoctorStatus, diagnosticsStatus: DoctorStatus, interactiveStatus: DoctorStatus, indexesStatus: DoctorStatus, debuggingStatus: DoctorStatus, javaStatus: DoctorStatus, recommenedFix: String) extends Product with Serializable
15.  case class DoctorVisibilityDidChangeParams(visible: Boolean) extends Product with Serializable
16.  final case class ErrorReportInfo(name: String, timestamp: Long, uri: String, buildTarget: Option[String], shortSummary: String, errorReportType: String) extends Product with Serializable

    Information about an error report.

    Information about an error report.

    name

    display name of the error

    timestamp

    date and time timestamp of the report

    uri

    error report file uri

    buildTarget

    optional build target that error is associated with

    shortSummary

    short error summary

    errorReportType

    one of "metals", "metals-full", "bloop"

17.  sealed trait ErrorReportsGroup extends AnyRef
18.  case class FutureScalaVersion(version: String) extends ScalaProblem with Product with Serializable
19.  class HeadDoctor extends AnyRef
20.  sealed abstract class JavaProblem extends AnyRef

    Class describing different issues that a build target can have that might influence features available to a user.

    Class describing different issues that a build target can have that might influence features available to a user. For example without the semanticdb option "find references" feature will not work. Those problems will be reported to a user with an explanation on how to fix it.

21.  case class JavaSemanticDBDisabled(bloopVersion: String, unsupportedBloopVersion: Boolean) extends JavaProblem with Product with Serializable
22.  sealed trait MetalsServiceInfo extends AnyRef
23.  case class MissingJavaSourceRoot(sourcerootOption: String) extends JavaProblem with Product with Serializable
24.  case class MissingJavaTargetRoot(targetrootOption: String) extends JavaProblem with Product with Serializable
25.  case class MissingJdkSources(candidates: List[io.AbsolutePath]) extends ScalaProblem with Product with Serializable
26.  case class MissingSourceRoot(sourcerootOption: String) extends ScalaProblem with Product with Serializable
27.  class ProblemResolver extends AnyRef
28.  sealed abstract class ScalaProblem extends AnyRef

    Class describing different issues that a build target can have that might influence features available to a user.

    Class describing different issues that a build target can have that might influence features available to a user. For example without the semanticdb option "find references" feature will not work. Those problems will be reported to a user with an explanation on how to fix it.

29.  case class SemanticDBDisabled(scalaVersion: String, bloopVersion: String, unsupportedBloopVersion: Boolean) extends ScalaProblem with Product with Serializable
30.  trait TargetsInfoProvider extends AnyRef
31.  case class UnsupportedScalaVersion(version: String) extends ScalaProblem with Product with Serializable
32.  case class WrongJavaReleaseVersion(current: String, needed: String) extends JavaProblem with Product with Serializable