Indented
A class describing an indentation region.
Attributes
- prefix
The token before the initial
of the region - width
The principal indendation width
- Graph
- Supertypes
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