Indented

case class Indented(width: IndentWidth, prefix: Token, outer: Region | Null) extends Region

A class describing an indentation region.

Value parameters:
prefix

The token before the initial of the region

width

The principal indendation width

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

Value members

Concrete methods

override def coversIndent(w: IndentWidth): Boolean
Definition Classes

Inherited methods

Inherited from:
Region

The enclosing region, which is required to exist

The enclosing region, which is required to exist

Inherited from:
Region

The indentation width, Zero if not known

The indentation width, Zero if not known

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.

Inherited from:
Region

Is this region the outermost region?

Is this region the outermost region?

Inherited from:
Region
Inherited from:
Product
def proposeKnownWidth(width: IndentWidth, lastToken: Token): Unit
Inherited from:
Region
Inherited from:
Region
override def toString: String
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

Inherited from:
Region
inline def withCommasExpected[T](inline op: => T): T
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

Inherited fields

Inherited from:
Region
Inherited from:
Region