org.semanticweb.HermiT.debugger
Class Printing

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.Printing

public class Printing
extends java.lang.Object


Nested Class Summary
static class Printing.ConceptComparator
           
static class Printing.DataRangeComparator
           
static class Printing.FactComparator
           
protected static class Printing.NodeComparator
           
protected static class Printing.RoleComparator
           
 
Constructor Summary
Printing()
           
 
Method Summary
static
<T> void
diffCollections(java.lang.String in1NotIn2, java.lang.String in2NotIn1, java.io.PrintWriter writer, java.util.Collection<T> c1, java.util.Collection<T> c2)
           
protected static java.lang.String formatBlockingStatus(Node node)
           
static
<T> void
printCollection(java.util.Collection<T> collection, java.io.PrintWriter writer)
           
protected static void printConceptLabel(Debugger debugger, Node node, java.io.PrintWriter writer)
           
protected static void printConcepts(Debugger debugger, java.util.Set<? extends Concept> set, java.util.Collection<? extends Concept> markedElements, java.io.PrintWriter writer, int numberInRow)
           
protected static void printDataRanges(Debugger debugger, java.util.Set<? extends DataRange> set, java.io.PrintWriter writer, int numberInRow)
           
protected static void printEdgeMap(Debugger debugger, java.util.Map<Node,java.util.Set<AtomicRole>> map, java.io.PrintWriter writer)
           
protected static void printEdges(Debugger debugger, Node node, java.io.PrintWriter writer)
           
static void printNodeData(Debugger debugger, Node node, java.io.PrintWriter writer)
           
static void printPadded(java.io.PrintWriter writer, int number, int size)
           
static void printPadded(java.io.PrintWriter writer, java.lang.String string, int size)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Printing

public Printing()
Method Detail

printPadded

public static void printPadded(java.io.PrintWriter writer,
                               int number,
                               int size)

printPadded

public static void printPadded(java.io.PrintWriter writer,
                               java.lang.String string,
                               int size)

printCollection

public static <T> void printCollection(java.util.Collection<T> collection,
                                       java.io.PrintWriter writer)

diffCollections

public static <T> void diffCollections(java.lang.String in1NotIn2,
                                       java.lang.String in2NotIn1,
                                       java.io.PrintWriter writer,
                                       java.util.Collection<T> c1,
                                       java.util.Collection<T> c2)

printNodeData

public static void printNodeData(Debugger debugger,
                                 Node node,
                                 java.io.PrintWriter writer)

formatBlockingStatus

protected static java.lang.String formatBlockingStatus(Node node)

printConceptLabel

protected static void printConceptLabel(Debugger debugger,
                                        Node node,
                                        java.io.PrintWriter writer)

printEdges

protected static void printEdges(Debugger debugger,
                                 Node node,
                                 java.io.PrintWriter writer)

printConcepts

protected static void printConcepts(Debugger debugger,
                                    java.util.Set<? extends Concept> set,
                                    java.util.Collection<? extends Concept> markedElements,
                                    java.io.PrintWriter writer,
                                    int numberInRow)

printDataRanges

protected static void printDataRanges(Debugger debugger,
                                      java.util.Set<? extends DataRange> set,
                                      java.io.PrintWriter writer,
                                      int numberInRow)

printEdgeMap

protected static void printEdgeMap(Debugger debugger,
                                   java.util.Map<Node,java.util.Set<AtomicRole>> map,
                                   java.io.PrintWriter writer)