Class IndexPrinter


  • public class IndexPrinter
    extends java.lang.Object
    Prints the model spec of an index.
    Author:
    harald
    • Method Summary

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

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • IndexPrinter

        public IndexPrinter​(Index index,
                            PrintConfiguration configuration)
        Creates an index printer.
        Parameters:
        index - the index
        configuration - the printing configuration
    • Method Detail

      • print

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