Vocabularyprettyprint.sectionsClass descriptionA piece of prettyprinter output. Instances of this class are not used directly, instead one instantiates various subclasses of this class:
Instances of this class have the following slots:
• | start - the start of the section, measured in characters from the beginning of the prettyprinted output |
• | end - the end of the section, measured in characters from the beginning of the prettyprinted output |
• | start-group? - see start-group |
• | end-group? - see end-group |
• | style - character and/or paragraph styles to use when outputting this section. See Text styles |
• | overhang - number of columns which must be left blank before the wrap margin for the prettyprinter to consider emitting this section as a short-section. Avoids lone hanging closing brackets |
DefinitionMethods