Highlighting

dotty.tools.dotc.printing.Highlighting$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case class Black(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class BlackB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Blue(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class BlueB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Bold(text: String) extends Modifier

Attributes

Graph
Supertypes
trait Product
trait Equals
class Modifier
class Highlight
class Object
trait Matchable
class Any
case class Cyan(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class CyanB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Green(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class GreenB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
abstract class Highlight(highlight: String)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Black
class BlackB
class Blue
class BlueB
class Cyan
class CyanB
class Green
class GreenB
class Magenta
class MagentaB
class Modifier
class Bold
class NoColor
class Red
class RedB
class White
class WhiteB
class Yellow
class YellowB
case class HighlightBuffer(hl: Highlight)(using x$2: Context)

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Magenta(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class MagentaB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
abstract class Modifier(mod: String, text: String) extends Highlight

Attributes

Graph
Supertypes
class Highlight
class Object
trait Matchable
class Any
Known subtypes
class Bold
case class NoColor(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Red(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class RedB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Underlined(text: String) extends Modifier

Attributes

Graph
Supertypes
trait Product
trait Equals
class Modifier
class Highlight
class Object
trait Matchable
class Any
case class White(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class WhiteB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class Yellow(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any
case class YellowB(text: String) extends Highlight

Attributes

Graph
Supertypes
trait Product
trait Equals
class Highlight
class Object
trait Matchable
class Any