public class TextAreaPrinter extends Object implements RavenPrinter
JTextArea
.Modifier and Type | Method and Description |
---|---|
static TextAreaPrinter |
getPrinter(JTextArea textarea)
Returns a printer for printing to the
JTextArea textarea . |
void |
print(Cospan cospan)
Prints a cospan to this printer.
|
void |
print(CospanDecomposition decomposition)
Prints a cospan decomposition to this printer.
|
void |
print(Graph graph)
Prints a graph to this printer.
|
void |
print(GraphDecomposition decomposition)
Prints a graph decomposition to this printer.
|
void |
print(Object object)
Prints the object
object to the printer |
void |
print(RavenBDD bdd)
Prints a BDD to this printer.
|
void |
print(Signature signature)
Prints a signature to this printer.
|
void |
print(String string)
Prints the string
string to the printer. |
void |
printAutomaton(Automaton automaton)
Prints an automaton to this printer.
|
void |
println()
Terminates the current line by writing the line separator string.
|
void |
println(Object object)
Prints the object
object to the printer and then terminates the line. |
void |
println(String string)
Prints the string
string to the printer and then
terminates the line. |
public static TextAreaPrinter getPrinter(JTextArea textarea)
JTextArea
textarea
.textarea
- the JTextArea
which is used for printing the outputpublic void print(String string)
RavenPrinter
string
to the printer.print
in interface RavenPrinter
string
- the string to be printedpublic void print(Object object)
RavenPrinter
object
to the printerprint
in interface RavenPrinter
object
- the object to be printedpublic void println(String string)
RavenPrinter
string
to the printer and then
terminates the line.println
in interface RavenPrinter
string
- the string to be printedpublic void println(Object object)
RavenPrinter
object
to the printer and then terminates the line.println
in interface RavenPrinter
object
- the object to be printedpublic void println()
RavenPrinter
println
in interface RavenPrinter
public void printAutomaton(Automaton automaton)
AutomatonPrinter
printAutomaton
in interface AutomatonPrinter
automaton
- the automaton to be printedpublic void print(RavenBDD bdd)
BDDPrinter
print
in interface BDDPrinter
bdd
- the bdd to be printedpublic void print(Cospan cospan)
CospanPrinter
print
in interface CospanPrinter
cospan
- the cospan to be printedpublic void print(CospanDecomposition decomposition)
DecompositionPrinter
print
in interface DecompositionPrinter
decomposition
- the cospan decomposition to be printedpublic void print(GraphDecomposition decomposition)
DecompositionPrinter
print
in interface DecompositionPrinter
decomposition
- the graph decomposition to be printedpublic void print(Graph graph)
GraphPrinter
print
in interface GraphPrinter
graph
- the graph to be printedpublic void print(Signature signature)
SignaturePrinter
print
in interface SignaturePrinter
signature
- the signature to be printed