Indented

dotty.tools.dotc.parsing.Scanners$.Indented
case class Indented(width: IndentWidth, prefix: Token, outer: Region | Null) extends Region

A class describing an indentation region.

Attributes

prefix

The token before the initial of the region

width

The principal indendation width

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

Members list

Concise view

Value members

Concrete methods

override def coversIndent(w: IndentWidth): Boolean

A region "covers" an indentation with width if it has width as known indentation width (either as primary, or in case of an Indent region as alternate width).

A region "covers" an indentation with width if it has width as known indentation width (either as primary, or in case of an Indent region as alternate width).

Attributes

Definition Classes

Inherited methods

Attributes

Inherited from:
Region

The enclosing region, which is required to exist

The enclosing region, which is required to exist

Attributes

Inherited from:
Region

The indentation width, Zero if not known

The indentation width, Zero if not known

Attributes

Inherited from:
Region

Does width represent an undent of an enclosing indentation region? This is the case if there is an indentation region that goes deeper than width and that is enclosed in a region that contains width as an indentation width.

Does width represent an undent of an enclosing indentation region? This is the case if there is an indentation region that goes deeper than width and that is enclosed in a region that contains width as an indentation width.

Attributes

Inherited from:
Region

Is this region the outermost region?

Is this region the outermost region?

Attributes

Inherited from:
Region

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
def proposeKnownWidth(width: IndentWidth, lastToken: Token): Unit

Attributes

Inherited from:
Region

Attributes

Inherited from:
Region
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Region -> Any
Inherited from:
Region

Show open regions as list of lines with decreasing indentations

Show open regions as list of lines with decreasing indentations

Attributes

Inherited from:
Region
inline def withCommasExpected[T](inline op: => T): T

Attributes

Inherited from:
Region

Concrete fields

Other indendation widths > width of lines in the same region

Other indendation widths > width of lines in the same region

Attributes

Inherited fields

Attributes

Inherited from:
Region

Attributes

Inherited from:
Region