public class ProgressReport
extends java.lang.Object
Constructor and Description |
---|
ProgressReport()
This creates a version without a TaskTableModel or logArea so
the output is effectly suppressed.
|
ProgressReport(MonitorPanel panel) |
ProgressReport(TaskTableModel taskTableModel,
javax.swing.JTextArea logArea) |
Modifier and Type | Method and Description |
---|---|
void |
addEndingLine(java.lang.String line) |
void |
addLine(java.lang.String line) |
void |
addStartLine(java.lang.String line) |
void |
appendToLogArea(java.lang.String s) |
java.lang.String |
getDescription() |
java.util.List<java.lang.String> |
getLogLines() |
int |
getPass() |
int |
getPassSize() |
int |
getSize() |
TaskTableModel |
getTaskTableModel() |
java.lang.String |
getTimeLeft() |
java.lang.String |
getTimeNext() |
AlgebraWithGeneratingVector |
getWitnessAlgebra() |
void |
printEnd(java.lang.String s) |
void |
printlnToLog(java.lang.String s) |
void |
printStart(java.lang.String s) |
void |
reset() |
void |
setDescFieldText(java.lang.String s) |
void |
setDescription(java.lang.String v) |
void |
setLogLines(java.util.List<java.lang.String> v) |
void |
setPass(int v) |
void |
setPassFieldText(java.lang.String s) |
void |
setPassSize(int v) |
void |
setPassSizeFieldText(java.lang.String s) |
void |
setSize(int v) |
void |
setSizeFieldText(java.lang.String s) |
void |
setTimeLeft(java.lang.String time) |
void |
setTimeNext(java.lang.String time) |
void |
setWitnessAlgebra(AlgebraWithGeneratingVector alg) |
public ProgressReport(TaskTableModel taskTableModel, javax.swing.JTextArea logArea)
public ProgressReport()
public ProgressReport(MonitorPanel panel)
public AlgebraWithGeneratingVector getWitnessAlgebra()
public void setWitnessAlgebra(AlgebraWithGeneratingVector alg)
public TaskTableModel getTaskTableModel()
public java.lang.String getTimeLeft()
public void setTimeLeft(java.lang.String time)
public java.lang.String getTimeNext()
public void setTimeNext(java.lang.String time)
public int getPass()
public void setPass(int v)
public int getPassSize()
public void setPassSize(int v)
public int getSize()
public void setSize(int v)
public java.lang.String getDescription()
public void setDescription(java.lang.String v)
public java.util.List<java.lang.String> getLogLines()
public void setLogLines(java.util.List<java.lang.String> v)
public void addLine(java.lang.String line)
public void addStartLine(java.lang.String line)
public void addEndingLine(java.lang.String line)
public void reset()
public void printlnToLog(java.lang.String s)
public void printStart(java.lang.String s)
public void printEnd(java.lang.String s)
public void setDescFieldText(java.lang.String s)
public void setPassFieldText(java.lang.String s)
public void setPassSizeFieldText(java.lang.String s)
public void setSizeFieldText(java.lang.String s)
public void appendToLogArea(java.lang.String s)
Copyright 2003 Ralph Freese. All Rights Reserved.