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.FactComparator FactComparator.

Constructor Summary

Constructors

Constructor and Description
Printing()

Method Summary

Modifier and Type	Method and Description
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

printNodeData

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

Parameters:

debugger - debugger

node - node

writer - writer