1 |
|
//---PACKAGE DECLARATION--- |
2 |
|
|
3 |
|
//---IMPORTS--- |
4 |
< |
import core.*; |
4 |
> |
import uk.ac.ukc.iscream.core.*; |
5 |
|
import java.util.*; |
6 |
|
import java.io.*; |
7 |
|
|
71 |
|
} |
72 |
|
|
73 |
|
/** |
74 |
< |
* Overrides the {@link #java.lang.Object.toString() Object.toString()} |
74 |
> |
* Overrides the {@link java.lang.Object#toString() Object.toString()} |
75 |
|
* method to provide clean logging (every class should have this). |
76 |
|
* |
77 |
|
* @return the name of this class and its CVS revision |
78 |
|
*/ |
79 |
|
public String toString() { |
80 |
< |
return this.getClass().getName() + ":" + REVISION; |
80 |
> |
return this.getClass().getName() + "(" + REVISION.substring(11, REVISION.length() - 2) + ")"; |
81 |
|
} |
82 |
|
|
83 |
|
//---PRIVATE METHODS--- |