Class RelationPrinter


  • public class RelationPrinter
    extends java.lang.Object
    Prints the model spec of a relation.
    Author:
    harald
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String print()
      Prints the relation.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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 java.lang.String print()
        Prints the relation.
        Returns:
        the pretty printed index