Indented
A class describing an indentation region.
Value parameters
- prefix
-
The token before the initial
of the region - width
-
The principal indendation width
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Regionclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
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 indentation width, Zero if not known
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?
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Region
Show open regions as list of lines with decreasing indentations
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