Class RelationPrinter


  • public class RelationPrinter
    extends Object
    Prints the model spec of a relation.
    Author:
    harald
    • Constructor Detail

      • RelationPrinter

        public RelationPrinter​(Relation relation,
                               PrintConfiguration configuration)
        Creates a relation printer.
        Parameters:
        relation - the relation
        configuration - the printing configuration
    • Method Detail

      • print

        public String print()
        Prints the relation.
        Returns:
        the pretty printed index