org.semanticweb.HermiT.debugger
Class Printing
java.lang.Object
org.semanticweb.HermiT.debugger.Printing
public class Printing
- extends java.lang.Object
Method Summary |
static
|
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
|
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 |
Printing
public Printing()
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)