package dbfit.environment;
import java.sql.Time;
import java.text.SimpleDateFormat;
/**
* Wrapper of Time overriding toString in order to get milliseconds
* (java.sql.Time defaults to second-level only)
*/
class MillisecondTime extends Time {
public MillisecondTime(final Time time) {
this(time.getTime());
}
public MillisecondTime(long time) {
super(time);
}
@Override
public String toString() {
return new SimpleDateFormat("HH:mm:ss.S").format(this);
}
}