public class ProgressWriter extends Object implements ProgressListener
PrintStream
.
Progress.getInstance().addProgressListener(new ProgressWriter(System.out));
Reading course.pl ... :
Reading altcourse.pl ... :
Reading room.pl ... :
Creating rooms ... : ................................................
Creating variables ... : ................................................
Reading students.pl ... :
Reading jenr.pl ... :
Creating jenrl constraints .: ................................................
Reading add.pl ... :
Creating group constraints .: ................................................
Creating initial assignment : ................................................
Creating dept. spread constr: ................................................
Input data loaded : ................................................
Initializing solver :
Searching for initial soluti: ................................................
Improving found solution ...: ................................................
Improving found solution ...: ................................................
Improving found solution ...: ...................................
Constructor and Description |
---|
ProgressWriter(PrintStream out) |
Modifier and Type | Method and Description |
---|---|
void |
phaseChanged(String phase)
Progress phase is changed
|
void |
progressChanged(long currentProgress,
long maxProgress)
Progress bar is changed
|
void |
progressMessagePrinted(Progress.Message msg)
Progress message is printed
|
void |
progressRestored()
Progress is restored
|
void |
progressSaved()
Progress is saved
|
void |
statusChanged(String status)
Progress status is changed
|
public ProgressWriter(PrintStream out)
public void statusChanged(String status)
ProgressListener
statusChanged
in interface ProgressListener
status
- current status namepublic void phaseChanged(String phase)
ProgressListener
phaseChanged
in interface ProgressListener
phase
- current phase namepublic void progressChanged(long currentProgress, long maxProgress)
ProgressListener
progressChanged
in interface ProgressListener
currentProgress
- current progressmaxProgress
- maximum progress in this phasepublic void progressSaved()
ProgressListener
progressSaved
in interface ProgressListener
public void progressRestored()
ProgressListener
progressRestored
in interface ProgressListener
public void progressMessagePrinted(Progress.Message msg)
ProgressListener
progressMessagePrinted
in interface ProgressListener
msg
- a message to print