import scala.util.parsing.json.JSON._
import scala.io.Source
val js_file="pspldata.area%s_tableMapping.json".format(1)
val js_source = Source.fromFile(js_file)
val js_str = js_source.mkString
js_source.close()
val jsonS = parseFull(js_str)
2021-07-22 11:13:20
import scala.util.parsing.json.JSON._
import scala.io.Source
val js_file="pspldata.area%s_tableMapping.json".format(1)
val js_source = Source.fromFile(js_file)
val js_str = js_source.mkString
js_source.close()
val jsonS = parseFull(js_str)