Package eu.bandm.tools.format


package eu.bandm.tools.format
Text layout and pretty printing. Inspired by a proposal by John Hughes ("Design of a Pretty-printing Library", in "Advanced Functional Programming", Springer 1995, LNCS 925).

See also the user documentation.

  • Class
    Description
    Realizes a data annotation.
    Prints contained sub-formats always horizontally adjacent.
    Prints its sub-formats vertically aligned one beneath the other.
    Prints all sub-formats directly adjacent, even if they are multi-line.
    Prints all sub-formats in the same line as long as possible, and starts a new line for every sub-format which would (probably) exceeded the page width.
    Variable identified by an index number, resolved by un-named arguments by counting their positions.
    Arranges all sub-formats decorated as comments.
    The base class for all formats which combine subformats.
    The different operators which combine multiple sub-formats into one compound format.
    Realizes a map of bindings for a collection of BoundVariables and FreeVariables.
    A format which prints as an empty string in any printing context.
    Base class for all kinds of format objects, and their factory class.
    Central Visitor for formatted printing.
    A map-like store for formats with serialized resource backing store and on-demand computation.
    Collection of static factory and transformation methods for Formats.
    Implementor offers to be converted to a Format.
    Variable identified by a alphanumeric name which can be bound explicitly.
    Prints all sub-formats in the same horizional line if this is possible within the page width, otherwise it prints all sub-formats in one vertical line.
    Prints its contents literally to the output.
    A store for format literals.
    Printed literally to the output, but not included in width calculation.
    Prints a format discarding all formatting.
    This format is rendered differently, according to its relative positions to ancestor formats of this class.
    General purpose Rewriter.
    Causes horizontal space (of variable width) when in the middle of a line, or one single blank line (independent of its width) when in vertical stack.
    Allows to store a context as a scope in a format tree.
    Realizes one line of a table, and prints sub-formats starting in the relative column indicated by the value of their Compound.indent(int).
    Common base class for FreeVariable and BoundVariable
    General purpose Visitor