org.semanticweb.HermiT.debugger

Class Printing

java.lang.Object

org.semanticweb.HermiT.debugger.Printing

public class Printing
extends Object

Printing.

Constructor Summary

Constructors

Constructor and Description
Printing()

Method Summary

Modifier and Type	Method and Description
static int	conceptCompare(Concept c1, Concept c2)
static int	dataRangeCompare(DataRange c1, DataRange c2)
static <T> void	diffCollections(String in1NotIn2, String in2NotIn1, PrintWriter writer, Collection<T> c1, Collection<T> c2)
static int	factCompare(Object[] o1, Object[] o2)
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)

Type Parameters:

T - type

Parameters:

collection - collection

writer - writer

diffCollections

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

Type Parameters:

T - type

Parameters:

in1NotIn2 - label 1

in2NotIn1 - label 2

writer - writer

c1 - first collection

c2 - second collection

printNodeData

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

Parameters:

debugger - debugger

node - node

writer - writer

conceptCompare

public static int conceptCompare(Concept c1,
                                 Concept c2)

Parameters:

c1 - c1

c2 - c2

Returns:

comparison

dataRangeCompare

public static int dataRangeCompare(DataRange c1,
                                   DataRange c2)

Parameters:

c1 - c1

c2 - c2

Returns:

comparison

factCompare

public static int factCompare(Object[] o1,
                              Object[] o2)

Parameters:

o1 - o1

o2 - o2

Returns:

comparison