6 import java.io.BufferedReader;
7 import java.io.PrintWriter;
8 import java.io.IOException;
15 public SFTime(
double value) {
19 public double getValue() {
24 public void setValue(
double value) {
31 sfTime.__updateRead();
36 public void setValue(
SFTime sfTime) {
37 sfTime.__updateRead();
43 public String toString() {
45 return String.valueOf(value);
48 public void __fromPerl(BufferedReader in)
throws IOException {
51 value = Double.parseDouble(in.readLine());
54 public void __toPerl(PrintWriter out)
throws IOException {