InCase

dotty.tools.dotc.parsing.Scanners$.InCase
case class InCase(outer: Region) extends Region

Attributes

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

Members list

Concise view

Value members

Inherited methods

Attributes

Inherited from:
Region
protected 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

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

Inherited fields

Attributes

Inherited from:
Region

Attributes

Inherited from:
Region