equal
deleted
inserted
replaced
21 case class T_NUM(n: Int) extends Token |
21 case class T_NUM(n: Int) extends Token |
22 case class T_KWD(s: String) extends Token |
22 case class T_KWD(s: String) extends Token |
23 case class T_STR(s: String) extends Token |
23 case class T_STR(s: String) extends Token |
24 |
24 |
25 def deserialise[T](fname: String) : Try[T] = { |
25 def deserialise[T](fname: String) : Try[T] = { |
26 import scala.util.Using |
26 //import scala.util.Using |
27 Using(new ObjectInputStream(new FileInputStream(fname))) { |
27 //Using(new ObjectInputStream(new FileInputStream(fname))) { |
|
28 // in => in.readObject.asInstanceOf[T] |
|
29 //} |
|
30 Try(new ObjectInputStream(new FileInputStream(fname))).get { |
28 in => in.readObject.asInstanceOf[T] |
31 in => in.readObject.asInstanceOf[T] |
29 } |
32 } |
30 } |
33 } |
31 |
34 |
32 def main(args: Array[String]) = { |
35 def main(args: Array[String]) = { |