warning_diff.rdf

Members list

Type members

Classlikes

case class Diagnostic(message: String, location: Location, severity: Option[String]) extends DiagnosticCompat

Attributes

Companion
object
Source
Diagnostic.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Diagnostic

Attributes

Companion
class
Source
Diagnostic.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Diagnostic.type

Attributes

Source
DiagnosticCompat.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Diagnostic
Self type
case class DiagnosticResult(diagnostics: Seq[Diagnostic], source: Option[Source]) extends DiagnosticResultCompat

Attributes

Companion
object
Source
DiagnosticResult.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
DiagnosticResult.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Attributes

Source
DiagnosticResultCompat.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
case class Location(path: String, range: Range) extends LocationCompat

Attributes

Companion
object
Source
Location.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Location

Attributes

Companion
class
Source
Location.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Location.type

Attributes

Source
LocationCompat.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Location
Self type
case class Position(line: Option[Int], column: Option[Int]) extends PositionCompat

Attributes

Companion
object
Source
Position.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Position

Attributes

Companion
class
Source
Position.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Position.type

Attributes

Source
PositionCompat.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Position
Self type
case class Range(start: Position, end: Position) extends RangeCompat

Attributes

Companion
object
Source
Range.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait RangeCompat
class Object
trait Matchable
class Any
Show all
object Range

Attributes

Companion
class
Source
Range.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Range.type
trait RangeCompat

Attributes

Source
RangeCompat.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Range
Self type
case class Source(name: String)

Attributes

Companion
object
Source
Source.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Source

Attributes

Companion
class
Source
Source.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Source.type