equal
deleted
inserted
replaced
18 else str |
18 else str |
19 } |
19 } |
20 |
20 |
21 sealed case class Record(fields: Any*) |
21 sealed case class Record(fields: Any*) |
22 { |
22 { |
23 override def toString: String = fields.iterator.map(print_field(_)).mkString(",") |
23 override def toString: String = fields.iterator.map(print_field).mkString(",") |
24 } |
24 } |
25 |
25 |
26 sealed case class File(name: String, header: List[String], records: List[Record]) |
26 sealed case class File(name: String, header: List[String], records: List[Record]) |
27 { |
27 { |
28 override def toString: String = (Record(header:_*) :: records).mkString("\r\n") |
28 override def toString: String = (Record(header:_*) :: records).mkString("\r\n") |