progs/detokenise.scala
changeset 695 484b74bc057e
parent 686 05cfce0fdef7
equal deleted inserted replaced
694:b6ed836ce59b 695:484b74bc057e
    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]) = {