org.semanticweb.HermiT.debugger

Class Printing

java.lang.Object

org.semanticweb.HermiT.debugger.Printing

public class Printing
extends Object

Printing.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Printing.ConceptComparator ConceptComparator
static class	Printing.DataRangeComparator
static class	Printing.FactComparator FactComparator.

Constructor Summary

Constructors

Constructor and Description
Printing()

Method Summary

Modifier and Type	Method and Description
static <T> void	diffCollections(String in1NotIn2, String in2NotIn1, PrintWriter writer, Collection<T> c1, Collection<T> c2)
static <T> void	printCollection(Collection<T> collection, PrintWriter writer)
static void	printNodeData(Debugger debugger, Node node, PrintWriter writer)
static void	printPadded(PrintWriter writer, int number, int size)
static void	printPadded(PrintWriter writer, String string, int size)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Printing

public Printing()

Method Detail

printPadded

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

Parameters:

writer - writer

number - number

size - size

printPadded

public static void printPadded(PrintWriter writer,
                               String string,
                               int size)

Parameters:

writer - writer

string - string

size - size

printCollection

public static <T> void printCollection(Collection<T> collection,
                                       PrintWriter writer)

diffCollections

public static <T> void diffCollections(String in1NotIn2,
                                       String in2NotIn1,
                                       PrintWriter writer,
                                       Collection<T> c1,
                                       Collection<T> c2)

printNodeData

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